120 search results - page 12 / 24 » Disjunctive Logic Programming and Autoepistemic Logic |
145
Voted
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
168
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
167
click to vote
NMELP
1994
15 years 9 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
175
click to vote
JAR
2007
15 years 5 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...