Strong and explicit negation in non-monotonic reasoning and logic programming

José Júlio Alves Alferes, L.M. Pereira, Teodor C. Przymusinski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)
Original languageEnglish
Title of host publicationLecture Notes in Artificial Intelligence
Pages143-163
Number of pages21
Volume1126
DOIs
Publication statusPublished - 1 Jan 1996
EventLogics in Artificial Intelligence -
Duration: 1 Jan 1996 → …

Conference

ConferenceLogics in Artificial Intelligence
Period1/01/96 → …

Keywords

  • Logic programming
  • stable models
  • Semantics

Cite this