• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1494140