1083 search results - page 82 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
137
click to vote
PADL
2005
Springer
15 years 8 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
104
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
127
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
116
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
128
click to vote
ILP
2005
Springer
15 years 8 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...