158 search results - page 4 / 32 » Coinductive Logic Programming with Negation |
FUIN
2006
13 years 9 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
PODS
1990
ACM
14 years 1 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
ICAIL
1989
ACM
14 years 1 months ago
1989
ACM
ICLP
1990
Springer
14 years 1 months ago
1990
Springer
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...