Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Pascal Hitzler, York Sure, Rudi Studer, Markus Krotzsch, Peter Haase. DLP Isn't So Bad After All. In DLP Isn't So Bad After All. 2005.
York Sure, Rudi Studer, Markus Krotzsch, Peter Haase, Pascal Hitzler. DLP Isn't So Bad After All. In 2005.  (88.28 KB)
Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti. Distributed OWL EL Reasoning: The Story So Far. Thomas Liebig, Achille Fokoue. 10th International Workshop on Scalable Semantic Web Knowledge Base Systems. Riva del Garda, Italy: CEUR; 2014. p. 61-76.  (437.93 KB)
Yue Ma, Pascal Hitzler. Distance-based Measures of Inconsistency and Incoherency for Description Logics. Waterloo, Canada: 23rd International Workshop on Description Logics (DL2010); 2010.
Pascal Hitzler, Anthony Seda, Anthony K. Seda. Dislocated Topologies. 2000.
Pascal Hitzler, Anthony K. Seda. Dislocated Topologies. 2000 ;.  (170.64 KB)
Sebastian Bader, Pascal Hitzler. Dimensions of Neural-Symbolic Integration - A Structured Survey. In 2005.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Rules. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece; 2008. p. 80-84.  (179.06 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. In The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008. Karlsruhe, Germany: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference; 2008. p. 435-450.  (150.02 KB)
Andreas Eberhart, Pascal Hitzler. Description Logic Programs: Normal Forms. In FAInt-07; 2007.  (0 bytes)
York Sure, Rudi Studer, Pascal Hitzler. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05; 2005.  (0 bytes)
Pascal Hitzler. Der Kontraktionssatz auf metrischen Raumen. In 1997.  (0 bytes)
Frithjof Lutscher, Pascal Hitzler. Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelof. In 2000.  (0 bytes)
Stephan Grimm, Pascal Hitzler. Defeasible Inference with Circumscriptive OWL Ontologies. In 5th European Semantic Web Conference, ESWC08; 2008.  (0 bytes)
Pascal Hitzler. Default Reasoning over Domains and Concept Hierarchies. In Default Reasoning over Domains and Concept Hierarchies. 2004.  (190.54 KB)
Pascal Hitzler, Natalia Cherchago, Steffen Holldobler. Decidability Under the Well-Founded Semantics. In First International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007.  (70 KB)
C
Sebastian Bader, Steffen Holldobler, Andreas Witzel, Pascal Hitzler. The Core Method: Connectionist Model Generation for First-Order Logic Programs. In 2007.  (0 bytes)
Pascal Hitzler, Anthony K. Seda. A "Converse" of the Bananch Contraction Mapping Theorem. Journal of Electrical Engineering. 2001 ;:3-6.  (172.7 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)
Prateek Jain, Peter 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. ESWC 2011. Heraklion, Greece: Springer; 2010. p. 80-92.
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)
Pascal Hitzler. Contexts, Concepts, and Logic of Domains. 2002.
Sebastian Bader, Steffen Holldobler, Pascal Hitzler. Connectionist Model Generation: A First-Order Approach. Neurocomputing. 2008 ;:2420-2432.  (581.02 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)
Jens Lehmann, Pascal Hitzler. Concept Learning in Description Logics Using Refinement Operators. Machine Learning. 2010 ;:203-250.  (1.05 MB)
Yue Ma, Guilin Qi, Pascal Hitzler. Computing Inconsistency Measure based on Paraconsistent Semantics. 2011 ;.  (459.85 KB)
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)
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin. Computational Complexity and Anytime Algorithm for Inconsistency Measurement. International Journal of Software and Informatics. 2010 ;:3-21.  (478.9 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Complexity of Horn Description Logics. 2007.  (0 bytes)
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 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)
Matthias Knorr, Pascal Hitzler. A Comparison of Disjunctive Well-founded Semantics. In Foundations of Artificial Intelligence (FAInt-07); 2007.  (0 bytes)
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, 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. Classes of Logic Programs which Possess Unique Supported Models. In Classes of Logic Programs which Possess Unique Supported Models. 2000.  (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)
Matthias Wendt, Pascal Hitzler. Characterizing Logic Programming Semantics with Level Mappings. In WLP: Workshop Logische Programmierung; 2002.  (0 bytes)
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)
Anthony K. Seda, Pascal Hitzler. A Characterization of Acceptability. In A Characterization of Acceptability. 1999.
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)
B
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)
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)

Pages