Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Nichtmonotones Schließen

Aus Aifbportal

Wechseln zu: Navigation, Suche

Nichtmonotones Schließen





Veröffentlichungen zum Forschungsgebiet

Article
Pascal Hitzler, Matthias Wendt
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming, 5, (1-2), Seiten 123-159, 2005
(Details)

Pascal Hitzler
Towards a Systematic Account of Different Semantics for Logic Programs
Journal of Logic and Computation, 15, (3), Seiten 391-404, Mai, 2005
(Details)

↑ top

inproceedings
Stephan Grimm, Pascal Hitzler
Defeasible Inference with Circumscriptive OWL Ontologies
In Frank van Harmelen, Andreas herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi, Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008, CEUR Workshop Proceedings, 350, Juni, 2008
(Details)

Matthias Knorr, Jose Alferes, Pascal Hitzler
Towards Tractable Local Closed World Reasoning for the Semantic Web
In Jose Neves, Manuel Filipe Santos, Jose Machado, Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3-7, 2007, Proceedings, Seiten: 3-14, Springer, Berlin, Lecture Notes in Computer Science, 4874
(Details)

Tobias Matzner, Pascal Hitzler
Any-World Access to OWL from Prolog
In Joachim Hertzberg, Michael Beetz, Roman Englert, KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 2007, Proceedings, Seiten: 84-98, Springer, Berlin, Lecture Notes in Computer Science, 4667, Dezember, 2006
(Details)

Matthias Knorr, Pascal Hitzler
A Comparison of Disjunctive Well-founded Semantics
In Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, 277, Dezember, 2006
(Details)

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler and Peter Ohrstrom, Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, Seiten: 413-426, Springer, Lecture Notes in Artificial Intelligence, 4068, Juli, 2006
(Details)

Pascal Hitzler, Denny Vrandecic
Resolution-Based Approximate Reasoning for OWL DL
In Y. Gil et al., Proceedings of the 4th International Semantic Web Conference, Galway, Ireland, November 2005, Seiten: 383-397, Springer, Berlin, Lecture Notes in Computer Science, 3729, November, 2005
(Details)

Federico Banti, Jose Alferes, Antonio Brogi, Pascal Hitzler
The well-supported semantics for multidimensional dynamic logic programs
In Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, Seiten: 356-368, Springer, Lecture Notes in Computer Science, 3662, September, 2005
(Details)

Pascal Hitzler, Sibylle Schwarz
Level mapping characterizations of selector-generated models for logic programs
In Armin Wolf, Thom W. Frühwirth, Marc Meister, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 2005, Seiten: 65-75, Universität Ulm, Ulmer Informatik-Berichte, 2005-01, Februar, 2005
(Details)

Pascal Hitzler
Default Reasoning over Domains and Concept Hierarchies
In Susanne Biundo and Thom Frühwirth and Günther Palm, KI2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on AI, KI2004, Ulm, Germany, Seiten: 351-365, Springer, Lecture Notes in Artificial Intelligence, 3238, September, 2004
(Details)

↑ top

techreport
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner
AIFB, University of Karlsruhe, Archiv Nummer 1390, Dezember, 2006
(Details)

Pascal Hitzler, Sibylle Schwarz
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
AIFB, Universität Karlsruhe, Archiv Nummer 1052, November, 2005
(Details)

↑ top

misc
Pascal Hitzler
Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung
Habilitationsschrift (kumulativ), Dezember, 2004
(Details)

↑ top