Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pascal Hitzler
2010 – today
- 2013
[j33]Shasha Huang, Qingguo Li, Pascal Hitzler: Reasoning with inconsistencies in hybrid MKNF knowledge bases. Logic Journal of the IGPL 21(2): 263-290 (2013)- [j32]Pascal Hitzler, Krzysztof Janowicz, Kunal Sengupta: The new manuscript review system for the Semantic Web journal. Semantic Web 4(2): 117 (2013)
- [j31]Pascal Hitzler, Krzysztof Janowicz: Linked Data, Big Data, and the 4th Paradigm. Semantic Web 4(3): 233-235 (2013)
- [j30]Frederick Maier, Yue Ma, Pascal Hitzler: Paraconsistent OWL and related logics. Semantic Web 4(4): 395-427 (2013)
- [j29]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Complexities of Horn Description Logics. ACM Trans. Comput. Log. 14(1): 2 (2013)
- [c112]Yingjie Hu, Krzysztof Janowicz, David Carral Martínez, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas: A Geo-ontology Design Pattern for Semantic Trajectories. COSIT 2013: 438-456
- [c111]Cong Wang, David Carral Martínez, Pascal Hitzler: SROIQ Syntax Approximation by Using Nominal Schemas. Description Logics 2013: 988-999
- [c110]David Carral Martínez, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Alfa Krisnadhi, Pascal Hitzler: An Ontology Design Pattern for Cartographic Map Scaling. ESWC 2013: 76-93
- [c109]Amit Krishna Joshi, Pascal Hitzler, Guozhu Dong: Logical Linked Data Compression. ESWC 2013: 170-184
- [c108]David Carral Martínez, Cong Wang, Pascal Hitzler: Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. RR 2013: 65-79
- [c107]Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti: DistEL: A Distributed EL+ Ontology Classifier. SSWS@ISWC 2013: 17-32
- [c106]Grant McKenzie, Krzysztof Janowicz, Yingjie Hu, Kunal Sengupta, Pascal Hitzler: Linked Scientometrics: Designing Interactive Scientometrics with Linked Data and Semantic Web Reasoning. International Semantic Web Conference (Posters & Demos) 2013: 53-56
- [c105]Kunal Sengupta, Peter Haase, Michael Schmidt, Pascal Hitzler: Editing R2RML Mappings Made Easy. International Semantic Web Conference (Posters & Demos) 2013: 101-104
- [c104]Yingjie Hu, Krzysztof Janowicz, Grant McKenzie, Kunal Sengupta, Pascal Hitzler: A Linked-Data-Driven and Semantically-Enabled Journal Portal for Scientometrics. International Semantic Web Conference (2) 2013: 114-129
- [c103]Raghava Mutharaju, Sherif Sakr, Alessandra Sala, Pascal Hitzler: D-SPARQ: Distributed, Scalable and Efficient RDF Query Engine. International Semantic Web Conference (Posters & Demos) 2013: 261-264
- [c102]Michelle Cheatham, Pascal Hitzler: String Similarity Metrics for Ontology Alignment. International Semantic Web Conference (2) 2013: 294-309
- 2012
- [j28]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)
- [j27]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)
- [j26]Krzysztof Janowicz, Pascal Hitzler: The Digital Earth as knowledge engine. Semantic Web 3(3): 213-221 (2012)
- [c101]
- [c100]Matthias Knorr, Pascal Hitzler, Frederick Maier: Reconciling OWL and Non-monotonic Rules for the Semantic Web. ECAI 2012: 474-479
- [c99]Zhangquan Zhou, Guilin Qi, Chang Liu, Pascal Hitzler, Raghava Mutharaju: Reasoning with Fuzzy-EL+ Ontologies Using MapReduce. ECAI 2012: 933-934
- [c98]Krzysztof Janowicz, Pascal Hitzler: Key Ingredients for Your Next Semantics Elevator Talk. ER Workshops 2012: 213-220
- [c97]
- [c96]David Carral Martínez, Krzysztof Janowicz, Pascal Hitzler: A logical geo-ontology design pattern for quantifying over types. SIGSPATIAL/GIS 2012: 239-248
- [c95]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
- [c94]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
- [c93]David Carral Martínez, Adila Alfa Krisnadhi, Pascal Hitzler: Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas. OWLED 2012
- [c92]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
- [c91]Adila Krisnadhi, Pascal Hitzler: A Tableau Algorithm for Description Logics with Nominal Schema. RR 2012: 234-237
- [i10]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)
- 2011
- [b1]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
- [j25]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)
- [j24]Yue Ma, Guilin Qi, Pascal Hitzler: Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput. 21(6): 1257-1281 (2011)
- [j23]
- [j22]Pascal Hitzler, Krzysztof Janowicz: Semantic Web surveys and applications. Semantic Web 2(2): 65-66 (2011)
- [c90]Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Keep it simple, stupid! Description Logics 2011
- [c89]Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler: Nominal Schemas for Integrating Rules and Description Logics. Description Logics 2011
- [c88]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
- [c87]Pascal Hitzler: What's Happening in Semantic Web - ... and What FCA Could Have to Do with It. ICFCA 2011: 18-23
- [c86]Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania: ODBASE 2011 PC Co-chairs' Message. OTM Workshops 2011: 26
- [c85]Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania: ODBASE 2011 PC Co-chairs' Message. OTM Conferences (2) 2011: 643
- [c84]Cory A. Henson, Krishnaprasad Thirunarayan, Amit P. Sheth, Pascal Hitzler: Representation of Parsimonious Covering Theory in OWL-DL. OWLED 2011
- [c83]Shasha Huang, Qingguo Li, Pascal Hitzler: Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. RR 2011: 93-107
- [c82]Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Grounded Circumscription for Description Logics. RR 2011: 263-268
- [c81]
- [c80]Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler: Local Closed World Semantics: Grounded Circumscription for OWL. International Semantic Web Conference (1) 2011: 617-632
- [c79]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
- [e12]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
- [e11]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
- 2010
- [j21]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)
- [j20]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)
- [j19]Jens Lehmann, Sebastian Bader, Pascal Hitzler: Extracting reduced logic programs from artificial neural networks. Appl. Intell. 32(3): 249-266 (2010)
- [j18]Anthony Karel Seda, Pascal Hitzler: Generalized Distance Functions in the Theory of Computation. Comput. J. 53(4): 443-464 (2010)
- [j17]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)
- [j16]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)
- [j15]Jens Lehmann, Pascal Hitzler: Concept learning in description logics using refinement operators. Machine Learning 78(1-2): 203-250 (2010)
- [j14]Pascal Hitzler, Krzysztof Janowicz: Semantic Web - Interoperability, Usability, Applicability. Semantic Web 1(1-2): 1-2 (2010)
- [j13]
- [c78]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
- [c77]Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler: Approximate Instance Retrieval on Ontologies. DEXA (1) 2010: 503-511
- [c76]Yue Ma, Pascal Hitzler: Distance-based Measures of Inconsistency and Incoherency for Description Logics. Description Logics 2010
- [c75]Raghava Mutharaju, Frederick Maier, Pascal Hitzler: A MapReduce Algorithm for EL+. Description Logics 2010
- [c74]Prateek Jain, Pascal Hitzler, Amit P. Sheth: Flexible bootstrapping-based ontology alignment. OM 2010
- [c73]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
- [c72]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
- [e10]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
- [e9]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
- [e8]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
2000 – 2009
- 2009
- [j12]Kai-Uwe Kühnberger, Pascal Hitzler: Facets of Artificial General Intelligence. KI 23(2): 58-59 (2009)
- [c71]Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller: RaDON - Repair and Diagnosis in Ontology Networks. ESWC 2009: 863-867
- [c70]
- [c69]
- [c68]Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: An Anytime Algorithm for Computing Inconsistency Measurement. KSEM 2009: 29-40
- [c67]Stephan Grimm, Pascal Hitzler: A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. RR 2009: 40-54
- [c66]
- [c65]
- 2008
- [c64]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008: 529-534
- [c63]Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: 08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications. Recurrent Neural Networks 2008
- [c62]Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: 08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications. Recurrent Neural Networks 2008
- [c61]Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics 2008
- [c60]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: All Elephants are Bigger than All Mice. Description Logics 2008
- [c59]
- [c58]Matthias Knorr, José Júlio Alferes, Pascal Hitzler: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103
- [c57]Stephan Grimm, Pascal Hitzler: Applications of Semantic Technologies - AST 2008, 3rd International Workshop. GI Jahrestagung (2) 2008: 671-674
- [c56]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Cheap Boolean Role Constructors for Description Logics. JELIA 2008: 362-374
- [c55]Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler: What Is Approximate Reasoning?. RR 2008: 150-164
- [c54]Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Approximate OWL-Reasoning with Screech. RR 2008: 165-180
- [c53]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
- [c52]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: ELP: Tractable Rules for OWL 2. International Semantic Web Conference 2008: 649-664
- [c51]Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler: A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies. WoMO 2008
- [e7]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
- [e6]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
- 2007
- [j11]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)
- [c50]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Complexity Boundaries for Horn Description Logics. AAAI 2007: 452-457
- [c49]Matthias Knorr, José Júlio Alferes, Pascal Hitzler: A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007
- [c48]Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Resolution for Four-valued Description Logics. Description Logics 2007
- [c47]Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics 2007
- [c46]Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU 2007: 30-41
- [c45]Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU 2007: 91-102
- [c44]Matthias Knorr, José Júlio Alferes, Pascal Hitzler: Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14
- [c43]Yue Ma, Pascal Hitzler, Zuoquan Lin: Algorithms for Paraconsistent Reasoning with OWL. ESWC 2007: 399-413
- [c42]Johanna Völker, Pascal Hitzler, Philipp Cimiano: Acquisition of OWL DL Axioms from Lexical Resources. ESWC 2007: 670-685
- [c41]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
- [c40]Sebastian Rudolph, Johanna Völker, Pascal Hitzler: Supporting Lexical Ontology Learning by Relational Exploration. ICCS 2007: 488-491
- [c39]Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671
- [c38]
- [c37]Jens Lehmann, Pascal Hitzler: A Refinement Operator Based Learning Algorithm for the ALC Description Logic. ILP 2007: 147-160
- [c36]Jens Lehmann, Pascal Hitzler: Foundations of Refinement Operators for Description Logics. ILP 2007: 161-174
- [c35]
- [c34]
- [c33]
- [c32]Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler: Decidability Under the Well-Founded Semantics. RR 2007: 269-278
- [c31]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic: Efficient OWL Reasoning with Logic Programs - Evaluations. RR 2007: 370-373
- [c30]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC 2007: 310-323
- [p1]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
- [e5]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
- [e4]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
- [e3]Barbara Hammer, Pascal Hitzler (Eds.): Perspectives of Neural-Symbolic Integration. Studies in Computational Intelligence 77, Springer 2007, ISBN 978-3-540-73953-1
- 2006
- [j10]Rudi Studer, Anupriya Ankolekar, Pascal Hitzler, York Sure: A Semantic Future for AI. IEEE Intelligent Systems 21(4): 8-9 (2006)
- [j9]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)
- [c29]Saartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer: A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies. ESWC 2006: 303-316
- [c28]Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler: Formalizing Ontology Alignment and its Operations with Category Theory. FOIS 2006: 277-288
- [c27]Pascal Hitzler, Markus Krötzsch: Querying Formal Contexts with Answer Set Programs. ICCS 2006: 260-273
- [c26]Julien Tane, Philipp Cimiano, Pascal Hitzler: Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation. ICCS 2006: 413-426
- [c25]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: On the Complexity of Horn Description Logics. OWLED 2006
- [c24]Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek: How to reason with OWL in a logic programming system. RuleML 2006: 17-28
- [e2]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
- [e1]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
- 2005
- [j8]York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer: The Semantic Web in One Day. IEEE Intelligent Systems 20(3): 85-87 (2005)
- [j7]Pascal Hitzler: Towards a Systematic Account of Different Semantics for Logic Programs. J. Log. Comput. 15(3): 391-404 (2005)
- [j6]Pascal Hitzler, Matthias Wendt: A uniform approach to logic programming semantics. TPLP 5(1-2): 93-121 (2005)
- [c23]Sebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey. We Will Show Them! (1) 2005: 167-194
- [c22]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
- [c21]Pascal Hitzler, Denny Vrandecic: Faster OWL Using Split Programs. Principles and Practices of Semantic Web Reasoning 2005
- [c20]Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler: Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Conference 2005: 314-319
- [c19]
- [c18]Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
- [c17]
- [c16]Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer: DLP Is Not So Bad After All. OWLED 2005
- [c15]Pascal Hitzler, Denny Vrandecic: Resolution-Based Approximate Reasoning for OWL DL. International Semantic Web Conference 2005: 383-397
- [c14]Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer: Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability 2005
- [c13]Pascal Hitzler, Sibylle Schwarz: Level Mapping Characterizations of Selector Generated Models for Logic Programs. W(C)LP 2005: 65-75
- [i9]Pascal Hitzler: Towards a Systematic Account of Different Semantics for Logic Programs. CoRR abs/cs/0502088 (2005)
- [i8]Pascal Hitzler, Sibylle Schwarz: Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models. CoRR abs/cs/0511038 (2005)
- [i7]Sebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey. CoRR abs/cs/0511042 (2005)
- 2004
- [j5]Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)
- [j4]Sebastian Bader, Pascal Hitzler: Logic programs, iterated function systems, and recurrent radial basis function networks. J. Applied Logic 2(3): 273-300 (2004)
- [c12]Pascal Hitzler, Guo-Qiang Zhang: A Cartesian Closed Category of Approximable Concept Structures. ICCS 2004: 170-185
- [c11]
- [i6]Pascal Hitzler: Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion. CoRR cs.AI/0402013 (2004)
- [i5]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)
- [i4]
- [i3]Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis. CoRR cs.OH/0410065 (2004)
- 2003
- [j3]Pascal Hitzler, Anthony Karel Seda: Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305(1-3): 187-219 (2003)
- [c10]
- [c9]Pascal Hitzler: Towards a Systematic Account of Different Logic Programming Semantics. KI 2003: 105-119
- [c8]Pascal Hitzler, Anthony Karel Seda: Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. KI 2003: 355-369
- [i2]Pascal Hitzler, Matthias Wendt: Formal Concept Analysis and Resolution in Algebraic Domains. CoRR cs.LO/0301008 (2003)
- 2002
- [c7]Pascal Hitzler, Matthias Wendt: The Well-Founded Semantics Is a Stratified Fitting Semantics. KI 2002: 205-221
- [i1]Pascal Hitzler, Matthias Wendt: A uniform approach to logic programming semantics. CoRR cs.AI/0210027 (2002)
- 2001
- [c6]Pascal Hitzler, Anthony Karel Seda: VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. IWFM 2001
- 2000
- [j2]Pascal Hitzler, Anthony Karel Seda: On the Coincidence of Semantics for Uniquely Determined Programs. Electr. Notes Theor. Comput. Sci. 40: 189-205 (2000)
- [c5]Pascal Hitzler, Anthony Karel Seda: A Note on the Relationships Between Logic Programs and Neural Networks. IWFM 2000
1990 – 1999
- 1999
- [j1]Pascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. Electr. Notes Theor. Comput. Sci. 30(1): 59-76 (1999)
- [c4]
- [c3]Pascal Hitzler, Anthony Karel Seda: Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM 1999
- [c2]Pascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. LPNMR 1999: 357-371
- 1998
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:25 CEST by the dblp team