4513 search results - page 336 / 903 » Logic programming with satisfiability |
125
Voted
CADE
2010
Springer
15 years 5 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
133
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We develop and analyze clause elimination procedures, a specific family of simplification techniques for conjunctive normal form (CNF) formulas. Extending known procedu...
120
Voted
FASE
2010
Springer
15 years 11 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
120
click to vote
IWINAC
2007
Springer
15 years 10 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
111
Voted
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname sc...