Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Künstliche Intelligenz/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

Artificial Intelligence


Involved People
Prof. Dr. York Sure-Vetter


Teaching
Type Term Name Link
Praktikum SS Knowledge Discovery and Data Mining Lehre/Praktikum Knowledge Discovery and Data Mining
Praktikum WS Cooperation seminar for Innovative Applications Lehre/Praktikum Kooperationsseminar für innovative Anwendungen
Praktikum WS Linked Open Data basierte Web 3.0 Anwendungen und Services Lehre/Praktikum LOD
Seminar SS Technologiegestütztes Lernen Lehre/Seminar Technologiegestütztes Lernen
Vorlesung WS Applications of AI Lehre/Vorlesung Anwendungen der Künstlichen Intelligenz
Vorlesung WS Knowledge Discovery Lehre/Vorlesung Knowledge Discovery
Vorlesung SS Semantic Web Technologies Lehre/Vorlesung Semantic Web Technologies


Active Projects

STI2

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


Publications Belonging to the Area of Research

Article
Maria Maleshkova, Patrick Philipp, York Sure-Vetter, Rudi Studer
Smart Web Services (SmartWS) – The Future of Services on the Web
IPSI BgD Transactions on Advanced Research (TAR), 12, (1), pages 15-26, Januar, 2016
(Details)

Rudi Studer, Anupriya Ankolekar, Pascal Hitzler, York Sure
A Semantic Future for AI
IEEE Intelligent Systems, 21, (4), pages 8-9, Juli, 2006
(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)

York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer
The Semantic Web in One Day
IEEE Intelligent Systems, 20, (3), pages 85-87, 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)

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
Aditya Mogadala, Bhargav Kanuparthi, Achim Rettinger, York Sure-Vetter
Discovering Connotations as Labels for Weakly Supervised Image-Sentence Data
WWW'18: Proceedings of The Web Conference 2018, Lyon, France, April 2018, pages: 379-386, ACM, April, 2018
(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)

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
Learning Methods in Multi-Grained Query Answering
Proceedings of the ISWC 08 Doctoral Consortium
(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)

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)

Stephan Bloehdorn, York Sure
Kernel Methods for Mining Instance Data in Ontologies
In Karl Aberer and Key-Sun Choi and Natasha Fridman Noy and Dean Allemang and Kyung-Il Lee and Lyndon J. B. Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudre-Mauroux, The Semantic Web - Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC 2007 + ASWC 2007), November 11-15, 2007, Busan, Korea, pages: 58--71, Springer, Lecture Notes in Computer Science, November, 2007
(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)

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)

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)

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)

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)

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)

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

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)

Marc Ehrig, York Sure, Steffen Staab
Supervised Learning of an Ontology Alignment Process
In Klaus-Dieter Althoff and Andreas Dengel and Ralph Bergmann and Markus Nick and Thomas Roth-Berghofer, Professional Knowledge Management: Third Biennial Conference, WM 2005, pages: 508 - 517, Springer, LNAI, 3782, Kaiserslautern, Germany, April, 2005
(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)

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)

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)

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)

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)

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)

↑ 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



-->