Pascal Hitzler

Shasha Huang, Qingguo Li, Pascal Hitzler: Reasoning with inconsistencies in hybrid MKNF knowledge bases. Logic Journal of the IGPL 21(2): 263-290 (2013)

Pascal Hitzler, Krzysztof Janowicz, Kunal Sengupta: The new manuscript review system for the Semantic Web journal. Semantic Web 4(2): 117 (2013)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Complexities of Horn Description Logics. ACM Trans. Comput. Log. 14(1): 2 (2013)

Vikas Agrawal, Jorge Baier, Kostas E. Bekris, Yiling Chen, Artur S. d'Avila Garcez, Pascal Hitzler, Patrik Haslum, Dietmar Jannach, Edith Law, Freddy Lécué, Luís C. Lamb, Cynthia Matuszek, Héctor Palacios, Biplav Srivastava, Lokendra Shastri, Nathan R. Sturtevant, Roni Stern, Stefanie Tellex, Stavros Vassos: Reports of the AAAI 2012 Conference Workshops. AI Magazine 33(4): 119- (2012)

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) (2012)

Krzysztof Janowicz, Pascal Hitzler: The Digital Earth as knowledge engine. Semantic Web 3(3): 213-221 (2012)

Cong Wang, Pascal Hitzler: A Resolution Procedure for Description Logics with Nominal Schemas. JIST 2012: 1-16

Matthias Knorr, Pascal Hitzler, Frederick Maier: Reconciling OWL and Non-monotonic Rules for the Semantic Web. ECAI 2012: 474-479

Zhangquan Zhou, Guilin Qi, Chang Liu, Pascal Hitzler, Raghava Mutharaju: Reasoning with Fuzzy-EL+ Ontologies Using MapReduce. ECAI 2012: 933-934

Krzysztof Janowicz, Pascal Hitzler: Key Ingredients for Your Next Semantics Elevator Talk. ER Workshops 2012: 213-220

David Carral Martínez, Pascal Hitzler: Extending Description Logic Rules. ESWC 2012: 345-359

David Carral Martínez, Krzysztof Janowicz, Pascal Hitzler: A logical geo-ontology design pattern for quantifying over types. SIGSPATIAL/GIS 2012: 239-248

Prateek Jain, Pascal Hitzler, Kunal Verma, Peter Z. Yeh, Amit P. Sheth: Moving beyond SameAs with PLATO: partonomy detection for linked data. HT 2012: 33-42

Amit Krishna Joshi, Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit P. Sheth, Mariana Damova: Alignment-Based Querying of Linked Open Data. OTM Conferences (2) 2012: 807-824

David Carral Martínez, Adila Alfa Krisnadhi, Pascal Hitzler: Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas. OWLED 2012

Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang: Recent Advances in Integrating OWL and Rules (Technical Communication). RR 2012: 225-228

Adila Krisnadhi, Pascal Hitzler: A Tableau Algorithm for Description Logics with Nominal Schema. RR 2012: 234-237

Dedre Gentner, Frank van Harmelen, Pascal Hitzler, Krzysztof Janowicz, Kai-Uwe Kühnberger: Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221). Dagstuhl Reports 2(5): 93-116 (2012)

Pascal Hitzler, Anthony Karel Seda: Mathematical Aspects of Logic Programming Semantics. Chapman and Hall / CRC studies in informatics series, CRC Press 2011, isbn 978-1-439-82961-5, pp. I-XXX, 1-274

Matthias Knorr, José Júlio Alferes, Pascal Hitzler: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9-10): 1528-1554 (2011)

Yue Ma, Guilin Qi, Pascal Hitzler: Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput. 21(6): 1257-1281 (2011)

Pascal Hitzler, Krzysztof Janowicz: Semantic Web tools and systems. Semantic Web 2(1): 1-2 (2011)

Pascal Hitzler, Krzysztof Janowicz: Semantic Web surveys and applications. Semantic Web 2(2): 65-66 (2011)

Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Keep it simple, stupid! Description Logics 2011

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler: Nominal Schemas for Integrating Rules and Description Logics. Description Logics 2011

Prateek Jain, Peter Z. Yeh, Kunal Verma, Reymonrod G. Vasquez, Mariana Damova, Pascal Hitzler, Amit P. Sheth: Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton. ESWC (1) 2011: 80-92

Pascal Hitzler: What's Happening in Semantic Web - ... and What FCA Could Have to Do with It. ICFCA 2011: 18-23

Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania: ODBASE 2011 PC Co-chairs' Message. OTM Workshops 2011: 26

Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania: ODBASE 2011 PC Co-chairs' Message. OTM Conferences (2) 2011: 643

Cory A. Henson, Krishnaprasad Thirunarayan, Amit P. Sheth, Pascal Hitzler: Representation of Parsimonious Covering Theory in OWL-DL. OWLED 2011

Shasha Huang, Qingguo Li, Pascal Hitzler: Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. RR 2011: 93-107

Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Grounded Circumscription for Description Logics. RR 2011: 263-268

Adila Krisnadhi, Frederick Maier, Pascal Hitzler: OWL and Rules. Reasoning Web 2011: 382-415

Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler: Local Closed World Semantics: Grounded Circumscription for OWL. International Semantic Web Conference (1) 2011: 617-632

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler: A better uncle for OWL: nominal schemas for integrating rules and ontologies. WWW 2011: 645-654

Robert Meersman, Tharam S. Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania (Eds.): On the Move to Meaningful Internet Systems: OTM 2011 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I. Lecture Notes in Computer Science 7044, Springer 2011, isbn 978-3-642-25108-5

Robert Meersman, Tharam S. Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania (Eds.): On the Move to Meaningful Internet Systems: OTM 2011 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II. Lecture Notes in Computer Science 7045, Springer 2011, isbn 978-3-642-25105-4

David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan: Reports of the AAAI 2010 Conference Workshops. AI Magazine 31(4): 95-108 (2010)

Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi: Preface - Special issue on commonsense reasoning for the semantic web. Ann. Math. Artif. Intell. 58(1-2): 1-2 (2010)

Jens Lehmann, Sebastian Bader, Pascal Hitzler: Extracting reduced logic programs from artificial neural networks. Appl. Intell. 32(3): 249-266 (2010)

Anthony Karel Seda, Pascal Hitzler: Generalized Distance Functions in the Theory of Computation. Comput. J. 53(4): 443-464 (2010)

Marco Gori, Barbara Hammer, Pascal Hitzler, Guenther Palm: Perspectives and challenges for recurrent neural network training. Logic Journal of the IGPL 18(5): 617-619 (2010)

Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: Computational Complexity and Anytime Algorithm for Inconsistency Measurement. Int. J. Software and Informatics 4(1): 3-21 (2010)

Jens Lehmann, Pascal Hitzler: Concept learning in description logics using refinement operators. Machine Learning 78(1-2): 203-250 (2010)

Pascal Hitzler, Krzysztof Janowicz: Semantic Web - Interoperability, Usability, Applicability. Semantic Web 1(1-2): 1-2 (2010)

Pascal Hitzler, Frank van Harmelen: A reasonable Semantic Web. Semantic Web 1(1-2): 39-44 (2010)

Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit P. Sheth: Linked Data Is Merely More Data. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010

Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler: Approximate Instance Retrieval on Ontologies. DEXA (1) 2010: 503-511

Yue Ma, Pascal Hitzler: Distance-based Measures of Inconsistency and Incoherency for Description Logics. Description Logics 2010

Raghava Mutharaju, Frederick Maier, Pascal Hitzler: A MapReduce Algorithm for EL+. Description Logics 2010

Prateek Jain, Pascal Hitzler, Amit P. Sheth: Flexible bootstrapping-based ontology alignment. OM 2010

Prateek Jain, Pascal Hitzler, Amit P. Sheth, Kunal Verma, Peter Z. Yeh: Ontology Alignment for Linked Open Data. International Semantic Web Conference (1) 2010: 402-417

Satya Sanket Sahoo, Olivier Bodenreider, Pascal Hitzler, Amit P. Sheth, Krishnaprasad Thirunarayan: Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data. SSDBM 2010: 461-470

Pascal Hitzler, Thomas Lukasiewicz (Eds.): Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings. Lecture Notes in Computer Science 6333, Springer 2010, isbn 978-3-642-15917-6

Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, isbn 978-3-642-17745-3

Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, isbn 978-3-642-17748-4

Kai-Uwe Kühnberger, Pascal Hitzler: Facets of Artificial General Intelligence. KI 23(2): 58-59 (2009)

Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller: RaDON - Repair and Diagnosis in Ontology Networks. ESWC 2009: 863-867

Pascal Hitzler: Towards Reasoning Pragmatics. GeoS 2009: 9-25

Stephan Grimm, Pascal Hitzler: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 383-386

Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: An Anytime Algorithm for Computing Inconsistency Measurement. KSEM 2009: 29-40

Stephan Grimm, Pascal Hitzler: A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. RR 2009: 40-54

Yue Ma, Pascal Hitzler: Paraconsistent Reasoning for OWL 2. RR 2009: 197-211

Pascal Hitzler: Suggestions for OWL 3. OWLED 2009

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008: 529-534

Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: 08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications. Recurrent Neural Networks 2008

Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: 08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications. Recurrent Neural Networks 2008

Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics 2008

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: All Elephants are Bigger than All Mice. Description Logics 2008

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Description Logic Rules. ECAI 2008: 80-84

Matthias Knorr, José Júlio Alferes, Pascal Hitzler: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103

Stephan Grimm, Pascal Hitzler: Applications of Semantic Technologies - AST 2008, 3rd International Workshop. GI Jahrestagung (2) 2008: 671-674

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Cheap Boolean Role Constructors for Description Logics. JELIA 2008: 362-374

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler: What Is Approximate Reasoning?. RR 2008: 150-164

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Approximate OWL-Reasoning with Screech. RR 2008: 165-180

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. International Semantic Web Conference 2008: 435-450

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: ELP: Tractable Rules for OWL 2. International Semantic Web Conference 2008: 649-664

Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler: A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies. WoMO 2008

Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass (Eds.): Recurrent Neural Networks - Models, Capacities, and Applications, 20.01. - 25.01.2008. Dagstuhl Seminar Proceedings 08041, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Christophe Guéret, Pascal Hitzler, Stefan Schlobach (Eds.): Proceedings of the First International Workshop on Nature Inspired Reasoning for the Semantic Web, Karlsruhe, Germany, October 27, 2008. CEUR Workshop Proceedings 419, CEUR-WS.org 2008

Barbara Hammer, Pascal Hitzler (Eds.): Perspectives of Neural-Symbolic Integration. Studies in Computational Intelligence 77, Springer 2007, isbn 978-3-540-73953-1

Daniel Oberle, Anupriya Ankolekar, Pascal Hitzler, Philipp Cimiano, Michael Sintek, Malte Kiesel, Babak Mougouie, Stephan Baumann, Shankar Vembu, Massimo Romanelli: DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO). J. Web Sem. 5(3): 156-174 (2007)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Complexity Boundaries for Horn Description Logics. AAAI 2007: 452-457

Matthias Knorr, José Júlio Alferes, Pascal Hitzler: A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007

Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Resolution for Four-valued Description Logics. Description Logics 2007

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics 2007

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU 2007: 30-41

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU 2007: 91-102

Matthias Knorr, José Júlio Alferes, Pascal Hitzler: Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14

Yue Ma, Pascal Hitzler, Zuoquan Lin: Algorithms for Paraconsistent Reasoning with OWL. ESWC 2007: 399-413

Johanna Völker, Pascal Hitzler, Philipp Cimiano: Acquisition of OWL DL Axioms from Lexical Resources. ESWC 2007: 670-685

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ICCS 2007: 464-467

Sebastian Rudolph, Johanna Völker, Pascal Hitzler: Supporting Lexical Ontology Learning by Relational Exploration. ICCS 2007: 488-491

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671

Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Editorial. NeSy 2007

Jens Lehmann, Pascal Hitzler: A Refinement Operator Based Learning Algorithm for the ALC Description Logic. ILP 2007: 147-160

Jens Lehmann, Pascal Hitzler: Foundations of Refinement Operators for Description Logics. ILP 2007: 161-174

Pascal Hitzler, Andreas Eberhart: Description Logic Programs: Normal Forms. FAInt 2007

Matthias Knorr, Pascal Hitzler: A Comparison of Disjunctive Well-founded Semantics. FAInt 2007

Tobias Matzner, Pascal Hitzler: Any-World Access to OWL from Prolog. KI 2007: 84-98

Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler: Decidability Under the Well-Founded Semantics. RR 2007: 269-278

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic: Efficient OWL Reasoning with Logic Programs - Evaluations. RR 2007: 370-373

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC 2007: 310-323

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: The Core Method: Connectionist Model Generation for First-Order Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 205-232

Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini (Eds.): Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January 8, 2007. CEUR Workshop Proceedings 230, CEUR-WS.org 2007

Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph (Eds.): Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007. CEUR Workshop Proceedings 277, CEUR-WS.org 2007

Rudi Studer, Anupriya Ankolekar, Pascal Hitzler, York Sure: A Semantic Future for AI. IEEE Intelligent Systems 21(4): 8-9 (2006)

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis. Fundam. Inform. 74(2-3): 301-328 (2006)

Saartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer: A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies. ESWC 2006: 303-316

Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler: Formalizing Ontology Alignment and its Operations with Category Theory. FOIS 2006: 277-288

Pascal Hitzler, Markus Krötzsch: Querying Formal Contexts with Answer Set Programs. ICCS 2006: 260-273

Julien Tane, Philipp Cimiano, Pascal Hitzler: Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation. ICCS 2006: 413-426

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: On the Complexity of Horn Description Logics. OWLED 2006

Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek: How to reason with OWL in a logic programming system. RuleML 2006: 17-28

Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm (Eds.): Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Lecture Notes in Computer Science 4068, Springer 2006, isbn 3-540-35893-5

Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace (Eds.): Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006. CEUR Workshop Proceedings 216, CEUR-WS.org 2006

York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer: The Semantic Web in One Day. IEEE Intelligent Systems 20(3): 85-87 (2005)

Pascal Hitzler: Towards a Systematic Account of Different Semantics for Logic Programs. J. Log. Comput. 15(3): 391-404 (2005)

Pascal Hitzler, Matthias Wendt: A uniform approach to logic programming semantics. TPLP 5(1-2): 93-121 (2005)

Sebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey. We Will Show Them! (1) 2005: 167-194

Pascal Hitzler, York Sure, Rudi Studer: Description Logic Programs: A Practical Choice For the Modelling of Ontologies. Principles and Practices of Semantic Web Reasoning 2005

Pascal Hitzler, Denny Vrandecic: Faster OWL Using Split Programs. Principles and Practices of Semantic Web Reasoning 2005

Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler: Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Conference 2005: 314-319

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang: Morphisms in Context. ICCS 2005: 223-237

Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368

Sudhir Agarwal, Pascal Hitzler: Modeling Fuzzy Rules with Description Logics. OWLED 2005

Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer: DLP Is Not So Bad After All. OWLED 2005

Pascal Hitzler, Denny Vrandecic: Resolution-Based Approximate Reasoning for OWL DL. International Semantic Web Conference 2005: 383-397

Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer: Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability 2005

Pascal Hitzler, Sibylle Schwarz: Level Mapping Characterizations of Selector Generated Models for Logic Programs. W(C)LP 2005: 65-75

Pascal Hitzler: Towards a Systematic Account of Different Semantics for Logic Programs. CoRR abs/cs/0502088 (2005)

Pascal Hitzler, Sibylle Schwarz: Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models. CoRR abs/cs/0511038 (2005)

Sebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey. CoRR abs/cs/0511042 (2005)

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)

Sebastian Bader, Pascal Hitzler: Logic programs, iterated function systems, and recurrent radial basis function networks. J. Applied Logic 2(3): 273-300 (2004)

Pascal Hitzler, Guo-Qiang Zhang: A Cartesian Closed Category of Approximable Concept Structures. ICCS 2004: 170-185

Pascal Hitzler: Default Reasoning over Domains and Concept Hierarchies. KI 2004: 351-365

Pascal Hitzler: Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion. CoRR cs.AI/0402013 (2004)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler: The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. CoRR cs.AI/0408069 (2004)

Pascal Hitzler: Default reasoning over domains and concept hierarchies. CoRR cs.AI/0409002 (2004)

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis. CoRR cs.OH/0410065 (2004)

Pascal Hitzler, Anthony Karel Seda: Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305(1-3): 187-219 (2003)

Pascal Hitzler: A Resolution Theorem for Algebraic Domains. IJCAI 2003: 1339-1340

Pascal Hitzler: Towards a Systematic Account of Different Logic Programming Semantics. KI 2003: 105-119

Pascal Hitzler, Anthony Karel Seda: Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. KI 2003: 355-369

Pascal Hitzler, Matthias Wendt: Formal Concept Analysis and Resolution in Algebraic Domains. CoRR cs.LO/0301008 (2003)

Pascal Hitzler, Matthias Wendt: The Well-Founded Semantics Is a Stratified Fitting Semantics. KI 2002: 205-221

Pascal Hitzler, Matthias Wendt: A uniform approach to logic programming semantics. CoRR cs.AI/0210027 (2002)

Pascal Hitzler, Anthony Karel Seda: VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. IWFM 2001

Pascal Hitzler, Anthony Karel Seda: On the Coincidence of Semantics for Uniquely Determined Programs. Electr. Notes Theor. Comput. Sci. 40: 189-205 (2000)

Pascal Hitzler, Anthony Karel Seda: A Note on the Relationships Between Logic Programs and Neural Networks. IWFM 2000

Pascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. Electr. Notes Theor. Comput. Sci. 30(1): 59-76 (1999)

Pascal Hitzler, Anthony Karel Seda: A Characterization of Acceptability. ICLP 1999: 609

Pascal Hitzler, Anthony Karel Seda: Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM 1999

Pascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. LPNMR 1999: 357-371

Anthony Karel Seda, Pascal Hitzler: Strictly Level-Decreasing Logic Programs. IWFM 1998