13 search results - page 1 / 3 » Query Restricted Bottom-Up Evaluation of Normal Logic Progra... |
ICLP
1992
Springer
13 years 8 months ago
1992
Springer
LPKR
1997
Springer
13 years 9 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
HIS
2009
13 years 2 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
PEPM
2007
ACM
13 years 11 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
ICLP
1994
Springer
13 years 8 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...