Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
Book Chapter
Pascal Hitzler. Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen. In 2005.  (0 bytes)
Pascal Hitzler. Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen. In 2005.
Sebastian Bader, Steffen Holldobler, Andreas Witzel, Pascal Hitzler. The Core Method: Connectionist Model Generation for First-Order Logic Programs. In 2007.  (0 bytes)
Frithjof Lutscher, Pascal Hitzler. Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelof. In 2000.  (0 bytes)
Pascal Hitzler. Der Kontraktionssatz auf metrischen Raumen. In 1997.  (0 bytes)
Sebastian Bader, Pascal Hitzler. Dimensions of Neural-Symbolic Integration - A Structured Survey. In 2005.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming. In 2002.  (0 bytes)
M. Grimm, G. Kalmbach, Pascal Hitzler. Fixpunktsemantik. In 1997.  (0 bytes)
Pascal Hitzler. Kontraktionssatze auf verallgemeinerten metrischen Raumen. In 2001.  (0 bytes)
Gudrun Kalmbach, Pascal Hitzler. Kursarbeit mit Schulern - die Intensivkurse Mathematik. In 2007.
Johanna Volker, Peter Haase, Pascal Hitzler. Learning Expressive Ontologies. In 2008.  (0 bytes)
Bijan Parsia, Pascal Hitzler. Ontologies and Rules. In 2009.  (0 bytes)
Pascal Hitzler, Pascal Hitzler, Alexander Chocholaty, Gudrun Kalmbach. Spieltheorie. In MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18. 2008. p. 117-125.
Pascal Hitzler, Pascal Hitzler, Alexander Chocholaty, Gudrun Kalmbach. Spieltheorie. In MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18. 2008. p. 117-125.
Alexander Chocholaty, Pascal Hitzler. Spieltheorie. In 1996.  (0 bytes)
Rudi Studer, Saartje Brockmans, Andreas Geyer-Schulz, Pascal Hitzler. Visual Ontology Modeling for Electronic Markets. In 2006.  (2.98 MB)
Conference Paper
Anthony K. Seda, Pascal Hitzler. Acceptable Programs Revisited. In Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),; 1999.  (1.1 MB)
Johanna Volker, Philipp Cimiano, Pascal Hitzler. Acquisition of OWL DL Axioms from Lexical Resources. In 4th European Semantic Web Conference. Innsbruck, Austria; 2007.  (153.34 KB)
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. In Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet,Tunisia; 2007. p. 91-102.  (494.11 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Algorithms for Paraconsistent Reasoning with OWL. In 4th European Semantic Web Conference, ESWC2007. Innsbruck, Austria; 2007.
Yue Ma, Guilin Qi, Guohui Xiao, Zuoquan Lin, Pascal Hitzler. An Anytime Algorithm for Computing Inconsistency Measurement. In Third International Conference, KSEM 2009. 2009.  (238.94 KB)
Tobias Matzner, Pascal Hitzler. Any-World Access to OWL from Prolog. In 30th Annual German Conference on AI. KI, Osnabruck, Germany: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007; 2007. p. 84-98.  (197.72 KB)
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler. Approximate Instance Retrieval on Ontologies. In 21st International Conference, DEXA 2010. Bilbao, Spain; 2010.  (477.48 KB)
Sebastian Rudolph, Markus Krotzsch, Tuvshintur Tserendorj, Pascal Hitzler. Approximate OWL Instance Retrieval with Screech. In Approximate OWL Instance Retrieval with Screech. 2008.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Tuvshintur Tserendorj, Pascal Hitzler. Approximate OWL-Reasoning with Screech. In International Conference, RR 2008. Karlsruhe, Germany: Second International Conference, RR 2008; 2008. p. 165-180.  (200.54 KB)
Sarasi Lalithsena, Prateek Jain, Pascal Hitzler, Amit Sheth. Automatic Domain Identification for Linked Open Data. In 2013 IEEE/WIC/ACM International Conference on Web Intelligence. Atlanta, GA: ACM; 2013.  (1.16 MB)
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
Rudi Studer, Jurgen Angele, Boris Motik, Pascal Hitzler. Bridging the Paradigm Gap with Rules for OWL. In W3C Workshop on Rule Languages for Interoperability; 2005.  (0 bytes)
Guo-Qiang Zhang, Pascal Hitzler. A cartesian closed category of approximable concept structures. In A cartesian closed category of approximable concept structures. 2004.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. A Characterization of Acceptability. In A Characterization of Acceptability. 1999.
Anthony K. Seda, Pascal Hitzler. Characterizations of Classes of Programs by Three-valued Operators. In Characterizations of Classes of Programs by Three-valued Operators. 1999.  (0 bytes)
Matthias Wendt, Pascal Hitzler. Characterizing Logic Programming Semantics with Level Mappings. In WLP: Workshop Logische Programmierung; 2002.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In 11th European Conference on Logics in Artificial Intelligence (JELIA). Dresden, Germany; 2008. p. 362-374.  (160.41 KB)
Anthony K. Seda, Pascal Hitzler. Classes of Logic Programs which Possess Unique Supported Models. In Classes of Logic Programs which Possess Unique Supported Models. 2000.  (0 bytes)
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece: 18th European Conference on Artificial Intelligence, ECAI 2008; 2008. p. 99-103.  (163.1 KB)
Anthony K. Seda, Pascal Hitzler. On the Coincidence of Semantics for Uniquely Determined Programs. In On the Coincidence of Semantics for Uniquely Determined Programs. 2000.
Matthias Knorr, Pascal Hitzler. A Comparison of Disjunctive Well-founded Semantics. In Foundations of Artificial Intelligence (FAInt-07); 2007.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Complexity Boundaries for Horn Description Logics. In The 22nd AAAI Conference on Artficial Intelligence. Vancouver, British Columbia, Canada; 2007.  (198.68 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. On the Complexity of Horn Description Logics. In Second Workshop OWL - Experiences and Directions, OWLED2006; 2006.  (0 bytes)
Sebastian Bader, Artur S. D'A. Garcez, Pascal Hitzler. Computing First-Order Logic Programs by Fibring Artificial Neural Networks. In Eighteenth International Florida Artificial Intelligence Research Symposium Conference. Clearwater Beach, Florida, USA; 2005.  (93.97 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Conjunctive Queries for a Tractable Fragment of OWL 1.1. In 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC. Busan, Korea: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC; 2007. p. 310-323.  (133.64 KB)
Prateek Jain, Peter Z. Yeh, Kunal Verma, Reymonrod Vasquez, Mariana Damova, Pascal Hitzler, Amit Sheth. Contextual Ontology Alignment of LOD With an Upper Ontology: A Case Study With Proton. In 8th Extended Semantic Web Conference, ESWC 2011. Greece: Proceedings of 8th Extended Semantic Web Conference, ESWC 2011; 2011.  (366.02 KB)
Anthony K. Seda, Pascal Hitzler. Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks. In the 26th Annual German Conference on Artificial Intelligence, KI2003. Hamburg, Germany; 2003. p. 105-119.  (247.39 KB)
Natalia Cherchago, Pascal Hitzler, Steffen Holldobler. Decidability Under the Well-Founded Semantics. In First International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007.  (70 KB)
Pascal Hitzler. Default Reasoning over Domains and Concept Hierarchies. In Default Reasoning over Domains and Concept Hierarchies. 2004.  (190.54 KB)
Stephan Grimm, Pascal Hitzler. Defeasible Inference with Circumscriptive OWL Ontologies. In 5th European Semantic Web Conference, ESWC08; 2008.  (0 bytes)

Pages