Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Logikprogrammierung

Aus Aifbportal

Wechseln zu: Navigation, Suche

Logikprogrammierung




Veröffentlichungen zum Forschungsgebiet

Article
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning – A Logic Programming Approach
Applied Artificial Intelligence, 21, (1-2), Seiten 1-57, Februar, 2012
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-Elimination-Based Reasoning for the Description Logic SHIQbs Using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8, (1:12), Seiten 1-38, Februar, 2012
(Details)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Information, 9, (1), Januar, 2006
(Details)

Daniel Oberle, Steffen Staab, Raphael Volz
Three Dimensions of Knowledge Representation in WonderWeb
Künstliche Intelligenz, 05, (1), Seiten 31-35, 2005
(Details)

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)

Noah Friedland, Paul Allen, Gavin Matthews, Michael Witbrock, David Baxter, Jon Curtis, Blake Shepard, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, Eddie Mönch, Henrik Oppermann, Dirk Wenke, Bruce Porter, Ken Barker, James Fan, Shaw Yi Chaw, Peter Yeh, Dan Tecuci, Peter Clark
Project Halo: Towards a Digital Aristotle
AI Magazine, 2004
(Details)

↑ top

inproceedings
Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 963-968, IJCAI/AAAI, Juli, 2011
(Details)

Jean-Francois Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michael Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 712-717, IJCAI/AAAI, Juli, 2011
(Details)

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, Web Reasoning and Rule Systems - Fourth International Conference, Seiten: 88-102, Springer, LNCS, 6333, September, 2010
(Details)

Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, Web Reasoning and Rule Systems - Fourth International Conference, Seiten: 42-57, Springer, LNCS, 6333, September, 2010
(Details)

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), Seiten: 269-279, AAAI Press, Mai, 2010
(Details)

Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), CEUR-WS.org, CEUR Workshop Proceedings, 477, Juli, 2009
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, Proceedings of the 7th International Semantic Web Conference (ISWC 2008), Seiten: 649-664, Springer, LNCS, 5318, Oktober, 2008
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, Logic and Probability for Scene Interpretation, Dagstuhl Seminar Proceedings, 08091, Februar, 2008
(Details)

Jianfeng Du, Guilin Qi, Yi-dong Shen
Lexicographical Inference over Inconsistent DL-Based Ontologies
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems (RR'08), Springer, LNCS 5341, Karlsruhe, Germany, November, 2008
(Details)

Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
Intensional Question Answering using ILP: What does an answer mean?
In Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou, Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, Seiten: 151-162, Springer, LNCS, 5039, London, UK, Juni, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), Seiten: 370-373, Springer, Springer Lecture Notes in Computer Science, 4524, Juni, 2007
(Details)

Pascal Hitzler, Andreas Eberhart
Description Logic Programs: Normal Forms
In Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, AInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, 277, September, 2007
(Details)

Jianfeng Du, Guilin Qi, Yi-dong Shen
Lexicographical Inference over Inconsistent DL-Based Ontologies
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems (RR'08), Springer, LNCS 5341, Karlsruhe, Germany, November, 2007
(Details)

Jianfeng Du, Guilin Qi, Yi-dong Shen
Lexicographical Inference over Inconsistent DL-Based Ontologies
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems, Springer, LNCS 5341, Karlsruhe, Germany, November, 2007
(Details)

Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, CEUR Workshop Proceedings, 230, Hyderabad, India, Januar, 2007
(Details)

Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, Seiten: 17--26, IEEE Computer Society, Athens, Georgia, November, 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)

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)

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)

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer
DLP isn't so bad after all
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter Patel-Schneider, Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, CEUR Workshop Proceedings, 188, November, 2005
(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)

Denny Vrandecic
Deep Integration of Scripting Languages and Semantic Web Technologies
In Sören Auer, Chris Bizer, Libby Miller, 1st International Workshop on Scripting for the Semantic Web SFSW 2005, CEUR-WS.org, CEUR Workshop Proceedings, 135, Herakleion, Greece, Mai, 2005
(Details)

Pascal Hitzler, Denny Vrandecic
Faster OWL Using Split Programs
In F. Bry, F. Fages, M. Marchiori, H.-J. Ohlbach, Principles and Practices of Semantic Web Reasoning, Dagstuhl Seminar Proceedings, Dagstuhl, Germany, September, 2005
(Details)

Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer
Bridging the Paradigm Gap with Rules for OWL
Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USAApril, 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)

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, Rudi Studer, York Sure
Description Logic Programs: A Practical Choice For the Modelling of Ontologies
1st Workshop on Formal Ontologies Meet Industry, FOMI'05, Verona, Italy, June 2005März, 2005
(Details)

Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Pascal Hitzler, Denny Vrandecic
Faster OWL Using Split Programs
Proceedings of the 12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005Juli, 2005
(Details)

↑ top

incollection
Stephan Grimm, Pascal Hitzler, Andreas Abecker
Knowledge Representation and Ontologies
In Rudi Studer, Stephan Grimm, Andreas Abecker, Semantic Web Services: Concepts, Technology and Applications, Seiten 51-106, Springer, Berlin, September, 2007
(Details)

Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration - a structured survey
In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, J. Woods, We Will Show Them: Essays in Honour of Dov Gabbay, Seiten 167-194, International Federation for Computational Logic, College Publications, Vol.1, Juli, 2005
(Details)

↑ top

phdthesis
Markus Krötzsch
Description Logic Rules
Rudi Studer, Peter H. Schmitt, Pascal Hitzler, 2010/09/11, KIT
(Details)

↑ top

techreport
Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Institute AIFB, KIT, Archiv Nummer: 3002, (3002), November, 2009
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Universität Karlsruhe (TH), Archiv Nummer 1724, Februar, 2008
(Details)

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Institute AIFB, University of Karlsruhe, Archiv Nummer 1729, März, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Institut AIFB, Universität Karlsruhe (TH), Archiv Nummer 1752, April, 2008
(Details)

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
AIFB, University of Karlsruhe, Archiv Nummer 1148, Februar, 2006
(Details)

Denny Vrandecic, Peter Haase, Pascal Hitzler, York Sure, Rudi Studer
DLP - An introduction
AIFB, Universität Karlsruhe, Archiv Nummer 888, Februar, 2005
(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

deliverable
Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache
Methods for Approximate Reasoning
University of Karlsruhe, (2.1.2), Knowledge Web Deliverable, Dezember, 2004
(Details)

↑ top

misc
Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, Rudi Studer
dlpconvert - Converting OWL DLP statements to logic programs
Poster at the ESWC2005, Mai, 2005
(Details)

Pascal Hitzler, Michael Sintek, Moritz Weiten
Zur Wahl der Inferenzmaschine in SmartWeb
SmartWeb internal report, Juni, 2005
(Details)

Harold Boley, Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, Rudi Studer
Web Rule Language (WRL)
W3C Member Submission, 09 September 2005, September, 2005
(Details)

Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Axel Polleres
Relationship of WRL to relevant other technologies
W3C Member Submission, 09 September 2005, September, 2005
(Details)

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

↑ top
-->