159 search results - page 19 / 32 » Abductive Logic Programming with CIFF: System Description |
CIE
2007
Springer
15 years 5 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
104
click to vote
ECOOP
1995
Springer
15 years 3 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
CADE
2010
Springer
15 years 25 days ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
102
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
107
click to vote
CONTEXT
2007
Springer
15 years 5 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...