1151 search results - page 47 / 231 » Collaborative Programming: Applications of Logic and Automat... |
199
click to vote
POPL
2005
ACM
16 years 1 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
ECAI
1992
Springer
15 years 3 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
113
click to vote
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
114
click to vote
LICS
1992
IEEE
15 years 3 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
221
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...