9 search results - page 1 / 2 » Expressing and Verifying Business Contracts with Abductive L... |
DAGSTUHL
2007
14 years 7 months ago
2007
ICLP
2010
Springer
14 years 4 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
LICS
1989
IEEE
14 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
ECOOP
2010
Springer
14 years 9 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
CORR
2008
Springer
14 years 5 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...