Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Künstliche Intelligenz/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

Künstliche Intelligenz/en



Active Projects

STI2

External Link: http://www.sti2.org


Publications Belonging to the Area of Research

Article
Daniel Oberle, Anupriya Ankolekar, Pascal Hitzler, Philipp Cimiano, Michael Sintek, Malte Kiesel, B. Mougouie, S. Vembu, S. Baumann, Massimo Romanelli, Paul Buitelaar, R. Engel, D. Sonntag, N. Reithinger, Berenike Loos, R. Porzel, H.-P. Zorn, V. Micelli, C Schmidt, Moritz Weiten, F. Burkhardt, J. Zhou
DOLCE ergo SUMO: On Foundational and Domain Models in SWIntO (SmartWeb Integrated Ontology))
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 5, (3), pages 156-174, 2007
(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)

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)

Steffen Staab, Hannes Werthner, Francesco Ricci, Alexander Zipf, Ulrike Gretzel, Daniel Fesenmaier, Cécile Paris, Craig Knoblock
Intelligent Systems for Tourism
IEEE Intelligent Systems, 17, (6), pages 53-66, November, 2002
(Details)

↑ top

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

Philipp Sorg, Philipp Cimiano
Enriching the crosslingual link structure of Wikipedia - A classification-based approach
Proceedings of the AAAI 2008 Workshop on Wikipedia and Artifical IntelligenceJuni, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox and Carla P. Gomes, Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), pages: 529-534, AAAI Press, Chicago, Illinois, USA, Juli, 2008
(Details)

Philipp Sorg
Learning Methods in Multi-Grained Query Answering
Proceedings of the ISWC 08 Doctoral Consortium
(Details)

Sebastian Blohm, Philipp Cimiano, Egon Stemle
Harvesting Relations from the Web -Quantifiying the Impact of Filtering Functions
Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07), pages: 1316--1323Juli, 2007
(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, pages: 3-14, Springer, Berlin, Lecture Notes in Computer Science, 4874
(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)

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, pages: 413-426, Springer, Lecture Notes in Artificial Intelligence, 4068, Juli, 2006
(Details)

Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
Formalizing Ontology Alignment and its Operations with Category Theory
In Brandon Bennett and Christiane Fellbaum, Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), pages: 277--288, IOS Press, Frontiers in Artificial Intelligence and Applications, 150, November, 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, pages: 84-98, Springer, Berlin, Lecture Notes in Computer Science, 4667, Dezember, 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)

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, Sebastian Bader, Artur Garcez
Ontology leaning as a use case for neural-symbolic integration
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, 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)

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, pages: 383-397, Springer, Berlin, Lecture Notes in Computer Science, 3729, November, 2005
(Details)

H. Sofia Pinto, Christoph Tempich, Steffen Staab
DILIGENT: Towards a fine-grained methodology for DIstributed, Loosely-controlled and evolvInG Engingeering of oNTologies
In Ramon Lopez de Mantaras and Lorenza Saitta, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), August 22nd - 27th, pages: 393--397, IOS Press, Valencia, Spain, August, 2004
(Details)

Noah Friedland, Paul Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, David Israel, Vinay Chaudhri, Bruce Porter, Ken Barker, Peter Clark
Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems
Proceedings of the Conference on Knowledge Representation and Reasoning - KR-2004, pages: 507-515, AAAI Press, Juni, 2004
(Details)

Marc Ehrig, Peter Haase, Nenad Stojanovic, Mark Hefke
Similarity for Ontologies - a Comprehensive Framework
Workshop Enterprise Modelling and Ontology: Ingredients for Interoperability, at PAKM 2004, Springer, Dezember, 2004
(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, pages: 351-365, Springer, Lecture Notes in Artificial Intelligence, 3238, September, 2004
(Details)

Marc Ehrig, York Sure
Ontology Mapping - An Integrated Approach
In Christoph Bussler, John Davis, Dieter Fensel, Rudi Studer, Proceedings of the First European Semantic Web Symposium, pages: 76-91, Springer Verlag, Lecture Notes in Computer Science, 3053, Heraklion, Greece, Mai, 2004
(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
In L. Li and K.K. Yen, Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, pages: 22-33, International Information Institute, November, 2004
(Details)

↑ top

book
Ingo Paenke
Dynamics of Evolution and Learning
Universitätsverlag Karlsruhe, Juni, 2008
(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, pages 51-106, Springer, Berlin, 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, pages 167-194, International Federation for Computational Logic, College Publications, Vol. 1, Juli, 2005
(Details)

↑ top

proceedings
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Springer, LNCS, Vol. 5662, Juli, 2009
(Details)

Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007
CEUR Workshop Proceedings, Vol. 277, September, 2007
(Details)

Artur Garcez, Jeff Elman, Pascal Hitzler
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005
August, 2005
(Details)

Martin Frank, N. Noy, Steffen Staab
Proceedings of the WWW2002 International Workshop on the Semantic Web. Honululu, Hawaii, May 7, 2002
CEUR Workshop Proceedings, Vol. 55
(Details)

↑ top

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

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
AIFB, University of Karlsruhe, archiv number: 1148, Februar, 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 number: 1052, November, 2005
(Details)

↑ top

deliverable
Stefania Ghita-Costache, Peter Dolog, Pascal Hitzler, Luciano Serafini, Wolf Siberski, Heiner Stuckenschmidt, Andrei Tamilin, Denny Vrandecic, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, (D2.1.2.1v1), KnowledgeWeb Deliverable, Januar, 2006
(Details)

↑ top

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

↑ top



-->