850 search results - page 69 / 170 » A Logic Programming Language Based on Binding Algebras |
120
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
121
click to vote
ENTCS
2008
15 years 1 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
103
click to vote
AIIA
2007
Springer
15 years 7 months ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
124
click to vote
FUIN
2002
15 years 1 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
144
click to vote
CADE
1992
Springer
15 years 5 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...