DocumentCode :
1494140
Title :
Nonmonotonic logic programming
Author :
Subrahmanian, V.S.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Volume :
11
Issue :
1
fYear :
1999
Firstpage :
143
Lastpage :
152
Abstract :
This paper provides a survey of the state of the art in nonmonotonic logic programming. In particular, it surveys advances in the declarative semantics of logic programs, in query processing procedures for nonmonotonic logic programs, and in recent extensions of the nonmonotonic logic programming paradigm
Keywords :
deductive databases; logic programming; nonmonotonic reasoning; programming language semantics; query processing; declarative semantics; deductive database; nonmonotonic logic programming; nonmonotonic reasoning; query processing; state of the art; Computer Society; Computer languages; Deductive databases; Helium; Knowledge representation; Logic programming; Physical layer; Query processing;
fLanguage :
English
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
1041-4347
Type :
jour
DOI :
10.1109/69.755623
Filename :
755623
Link To Document :
بازگشت