4513 search results - page 245 / 903 » Logic programming with satisfiability |
200
Voted
FLAIRS
2009
15 years 1 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
151
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
134
click to vote
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
132
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...