research
∙
11/07/2011
Embedding Description Logic Programs into Default Logic
Description logic programs (dl-programs) under the answer set semantics ...
share
research
∙
04/30/2009
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
This paper studies the stable model semantics of logic programs with (ab...
research
∙
06/21/2000
Verifying Termination of General Logic Programs with Concrete Queries
We introduce a method of verifying termination of logic programs with re...
research
∙
03/09/2000
Linear Tabulated Resolution Based on Prolog Control Strategy
Infinite loops and redundant computations are long recognized open probl...
research
∙
02/27/2000