Cumulativity Tailored for Non-Monotonic Reasoning

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

AlkuperäiskieliEnglanti
OtsikkoAdvances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015
ToimittajatThomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
JulkaisupaikkaSwitzerland
KustantajaSpringer
Sivut96-111
ISBN (elektroninen)978-3-319-14726-0
ISBN (painettu)978-3-319-14725-3
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer
Vuosikerta9060
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Tutkimusalat

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

Siteeraa tätä