Cumulativity Tailored for Non-Monotonic Reasoning

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationAdvances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015
EditorsThomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
Place of PublicationSwitzerland
Pages96-111
ISBN (Electronic)978-3-319-14726-0
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9060
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • autoepistemic logic
  • cautious reasoning
  • cumulativity
  • cut rule
  • default logic
  • logic programming
  • non-monotonic reasoning
  • rule entailment
  • stable models

Cite this