1017 search results - page 23 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
KI
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
118
click to vote
RR
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
104
Voted
ICFP
2012
ACM
13 years 17 hour 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...