3481 search results - page 23 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
114
click to vote
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
86
Voted
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
ICLP
2007
Springer
15 years 3 months ago
2007
Springer