344 search results - page 48 / 69 » Mathematical Programming Embeddings of Logic |
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the speciļ¬cation of autonomous agents capable of anticipating and reasoning about hypothetical futur...
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
CSL
2007
Springer
14 years 4 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
KR
1998
Springer
14 years 2 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
MEMBRANE
2004
Springer
14 years 3 months ago
2004
Springer
LMNtal (pronounced āelementalā) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...