Computing Stable Models for Nonmonotonic Existential Rules.

PublikationenPublications

• Nach AutorBy Author
  • Markus KrötzschMarkus Krötzsch
• Nach ForschungsgruppeBy Research Group
  • Information SystemsKnowledge-Based Systems

Toggle side column

Computing Stable Models for Nonmonotonic Existential Rules.

Despoina MagkaDespoina Magka,  Markus KrötzschMarkus Krötzsch,  Ian HorrocksIan Horrocks

Computing Stable Models for Nonmonotonic Existential Rules.

• Download

Despoina Magka, Markus Krötzsch, Ian Horrocks
Computing Stable Models for Nonmonotonic Existential Rules.
IJCAI, 2013

• Details
• Bibtex

• Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

@inproceedings{MKH2013,
  author    = {Despoina Magka and Markus Kr{\"{o}}tzsch and Ian Horrocks},
  title     = {Computing Stable Models for Nonmonotonic Existential Rules.},
  booktitle = {IJCAI},
  year      = {2013}
}