Title :
Nonmonotonic logic programming
Author :
Subrahmanian, V.S.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
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;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on