Cumulativity Tailored for Non-Monotonic Reasoning

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

Researchers

Research units

Details

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
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

    Research areas

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

ID: 1950797