3562 search results - page 15 / 713 » Introduction to Logic Programming |
60
Voted
ACMSE
2010
ACM
14 years 7 months ago
2010
ACM
SIAMREV
2010
14 years 4 months ago
2010
104
Voted
ICFP
2012
ACM
13 years 1 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...