dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pascal Hitzler Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Carral Martínez, Pascal Hitzler: Extending Description Logic Rules. ESWC 2012: 345-359
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Carral Martínez, Adila Alfa Krisnadhi, Pascal Hitzler: Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas. OWLED 2012
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
2011
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Mathematical Aspects of Logic Programming Semantics. CRC Press 2011: I-XXX, 1-274
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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: 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 Springer 2011
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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: 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 Springer 2011
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Keep it simple, stupid! Description Logics 2011
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler: Nominal Schemas for Integrating Rules and Description Logics. Description Logics 2011
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrateek 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
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: What's Happening in Semantic Web - ... and What FCA Could Have to Do with It. ICFCA 2011: 18-23
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler: Local Closed World Semantics: Grounded Circumscription for OWL. International Semantic Web Conference (1) 2011: 617-632
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania: ODBASE 2011 PC Co-chairs' Message. OTM Conferences (2) 2011: 643
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania: ODBASE 2011 PC Co-chairs' Message. OTM Workshops 2011: 26
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCory A. Henson, Krishnaprasad Thirunarayan, Amit P. Sheth, Pascal Hitzler: Representation of Parsimonious Covering Theory in OWL-DL. OWLED 2011
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Grounded Circumscription for Description Logics. RR 2011: 263-268
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShasha Huang, Qingguo Li, Pascal Hitzler: Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. RR 2011: 93-107
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdila Krisnadhi, Frederick Maier, Pascal Hitzler: OWL and Rules. Reasoning Web 2011: 382-415
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler: A better uncle for OWL: nominal schemas for integrating rules and ontologies. WWW 2011: 645-654
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Guilin Qi, Pascal Hitzler: Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput. 21(6): 1257-1281 (2011)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Krzysztof Janowicz: Semantic Web tools and systems. Semantic Web 2(1): 1-2 (2011)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Krzysztof Janowicz: Semantic Web surveys and applications. Semantic Web 2(2): 65-66 (2011)
2010
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Thomas Lukasiewicz: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings Springer 2010
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm: The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I Springer 2010
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm: The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II Springer 2010
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrateek 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
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler: Approximate Instance Retrieval on Ontologies. DEXA (1) 2010: 503-511
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghava Mutharaju, Frederick Maier, Pascal Hitzler: A MapReduce Algorithm for EL+. Description Logics 2010
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Pascal Hitzler: Distance-based Measures of Inconsistency and Incoherency for Description Logics. Description Logics 2010
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrateek 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
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrateek Jain, Pascal Hitzler, Amit P. Sheth: Flexible bootstrapping-based ontology alignment. OM 2010
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatya 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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Lehmann, Sebastian Bader, Pascal Hitzler: Extracting reduced logic programs from artificial neural networks. Appl. Intell. 32(3): 249-266 (2010)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Pascal Hitzler: Generalized Distance Functions in the Theory of Computation. Comput. J. 53(4): 443-464 (2010)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue 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)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Lehmann, Pascal Hitzler: Concept learning in description logics using refinement operators. Machine Learning 78(1-2): 203-250 (2010)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Krzysztof Janowicz: Semantic Web - Interoperability, Usability, Applicability. Semantic Web 1(1-2): 1-2 (2010)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Frank van Harmelen: A reasonable Semantic Web. Semantic Web 1(1-2): 39-44 (2010)
2009
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller: RaDON - Repair and Diagnosis in Ontology Networks. ESWC 2009: 863-867
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Grimm, Pascal Hitzler: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 383-386
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Towards Reasoning Pragmatics. GeoS 2009: 9-25
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: An Anytime Algorithm for Computing Inconsistency Measurement. KSEM 2009: 29-40
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Suggestions for OWL 3. OWLED 2009
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Pascal Hitzler: Paraconsistent Reasoning for OWL 2. RR 2009: 197-211
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Grimm, Pascal Hitzler: A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. RR 2009: 40-54
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Uwe Kühnberger, Pascal Hitzler: Facets of Artificial General Intelligence. KI 23(2): 58-59 (2009)
2008
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Guéret, Pascal Hitzler, Stefan Schlobach: Proceedings of the First International Workshop on Nature Inspired Reasoning for the Semantic Web, Karlsruhe, Germany, October 27, 2008 CEUR-WS.org 2008
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: Recurrent Neural Networks - Models, Capacities, and Applications, 20.01. - 25.01.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008: 529-534
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Markus Krötzsch, Pascal Hitzler: All Elephants are Bigger than All Mice. Description Logics 2008
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics 2008
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Description Logic Rules. ECAI 2008: 80-84
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Grimm, Pascal Hitzler: Applications of Semantic Technologies - AST 2008, 3rd International Workshop. GI Jahrestagung (2) 2008: 671-674
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. International Semantic Web Conference 2008: 435-450
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Sebastian Rudolph, Pascal Hitzler: ELP: Tractable Rules for OWL 2. International Semantic Web Conference 2008: 649-664
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Cheap Boolean Role Constructors for Description Logics. JELIA 2008: 362-374
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler: What Is Approximate Reasoning?. RR 2008: 150-164
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Approximate OWL-Reasoning with Screech. RR 2008: 165-180
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: 08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications. Recurrent Neural Networks 2008
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass: 08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications. Recurrent Neural Networks 2008
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler: A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies. WoMO 2008
2007
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January 8, 2007 CEUR-WS.org 2007
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph: Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007 CEUR-WS.org 2007
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Hammer, Pascal Hitzler: Perspectives of Neural-Symbolic Integration Springer 2007
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Complexity Boundaries for Horn Description Logics. AAAI 2007: 452-457
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics 2007
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Resolution for Four-valued Description Logics. Description Logics 2007
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU 2007: 30-41
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU 2007: 91-102
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYue Ma, Pascal Hitzler, Zuoquan Lin: Algorithms for Paraconsistent Reasoning with OWL. ESWC 2007: 399-413
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohanna Völker, Pascal Hitzler, Philipp Cimiano: Acquisition of OWL DL Axioms from Lexical Resources. ESWC 2007: 670-685
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, Pascal Hitzler: A Comparison of Disjunctive Well-founded Semantics. FAInt 2007
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Andreas Eberhart: Description Logic Programs: Normal Forms. FAInt 2007
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ICCS 2007: 464-467
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Johanna Völker, Pascal Hitzler: Supporting Lexical Ontology Learning by Relational Exploration. ICCS 2007: 488-491
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Lehmann, Pascal Hitzler: A Refinement Operator Based Learning Algorithm for the ALC Description Logic. ILP 2007: 147-160
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Lehmann, Pascal Hitzler: Foundations of Refinement Operators for Description Logics. ILP 2007: 161-174
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC 2007: 310-323
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Matzner, Pascal Hitzler: Any-World Access to OWL from Prolog. KI 2007: 84-98
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Editorial. NeSy 2007
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatalia Cherchago, Pascal Hitzler, Steffen Hölldobler: Decidability Under the Well-Founded Semantics. RR 2007: 269-278
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic: Efficient OWL Reasoning with Logic Programs - Evaluations. RR 2007: 370-373
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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)
2006
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace: Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006 CEUR-WS.org 2006
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Schärfe, Pascal Hitzler, Peter Øhrstrøm: Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings Springer 2006
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer: A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies. ESWC 2006: 303-316
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler: Formalizing Ontology Alignment and its Operations with Category Theory. FOIS 2006: 277-288
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Markus Krötzsch: Querying Formal Contexts with Answer Set Programs. ICCS 2006: 260-273
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Tane, Philipp Cimiano, Pascal Hitzler: Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation. ICCS 2006: 413-426
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Sebastian Rudolph, Pascal Hitzler: On the Complexity of Horn Description Logics. OWLED 2006
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek: How to reason with OWL in a logic programming system. RuleML 2006: 17-28
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal 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)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudi Studer, Anupriya Ankolekar, Pascal Hitzler, York Sure: A Semantic Future for AI. IEEE Intelligent Systems 21(4): 8-9 (2006)
2005
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler: Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Conference 2005: 314-319
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang: Morphisms in Context. ICCS 2005: 223-237
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Denny Vrandecic: Resolution-Based Approximate Reasoning for OWL DL. International Semantic Web Conference 2005: 383-397
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer: DLP Is Not So Bad After All. OWLED 2005
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudhir Agarwal, Pascal Hitzler: Modeling Fuzzy Rules with Description Logics. OWLED 2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, York Sure, Rudi Studer: Description Logic Programs: A Practical Choice For the Modelling of Ontologies. Principles and Practices of Semantic Web Reasoning 2005
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Denny Vrandecic: Faster OWL Using Split Programs. Principles and Practices of Semantic Web Reasoning 2005
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer: Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability 2005
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Sibylle Schwarz: Level Mapping Characterizations of Selector Generated Models for Logic Programs. W(C)LP 2005: 65-75
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey. We Will Show Them! (1) 2005: 167-194
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Towards a Systematic Account of Different Semantics for Logic Programs CoRR abs/cs/0502088: (2005)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Sibylle Schwarz: Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models CoRR abs/cs/0511038: (2005)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey CoRR abs/cs/0511042: (2005)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYork Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer: The Semantic Web in One Day. IEEE Intelligent Systems 20(3): 85-87 (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Towards a Systematic Account of Different Semantics for Logic Programs. J. Log. Comput. 15(3): 391-404 (2005)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Matthias Wendt: A uniform approach to logic programming semantics. TPLP 5(1-2): 93-121 (2005)
2004
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Guo-Qiang Zhang: A Cartesian Closed Category of Approximable Concept Structures. ICCS 2004: 170-185
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Default Reasoning over Domains and Concept Hierarchies. KI 2004: 351-365
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion CoRR cs.AI/0402013: (2004)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Default reasoning over domains and concept hierarchies CoRR cs.AI/0409002: (2004)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis CoRR cs.OH/0410065: (2004)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bader, Pascal Hitzler: Logic programs, iterated function systems, and recurrent radial basis function networks. J. Applied Logic 2(3): 273-300 (2004)
2003
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: A Resolution Theorem for Algebraic Domains. IJCAI 2003: 1339-1340
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler: Towards a Systematic Account of Different Logic Programming Semantics. KI 2003: 105-119
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. KI 2003: 355-369
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Matthias Wendt: Formal Concept Analysis and Resolution in Algebraic Domains CoRR cs.LO/0301008: (2003)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305(1-3): 187-219 (2003)
2002
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Matthias Wendt: The Well-Founded Semantics Is a Stratified Fitting Semantics. KI 2002: 205-221
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Matthias Wendt: A uniform approach to logic programming semantics CoRR cs.AI/0210027: (2002)
2001
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. IWFM 2001
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: A Note on the Relationships Between Logic Programs and Neural Networks. IWFM 2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: On the Coincidence of Semantics for Uniquely Determined Programs. Electr. Notes Theor. Comput. Sci. 40: 189-205 (2000)
1999
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: A Characterization of Acceptability. ICLP 1999: 609
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM 1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. LPNMR 1999: 357-371
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. Electr. Notes Theor. Comput. Sci. 30(1): 59-76 (1999)
1998
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Pascal Hitzler: Strictly Level-Decreasing Logic Programs. IWFM 1998

Coauthor Index

1Sudhir Agarwal [35]
2David W. Aha [109]
3José Júlio Alferes [37] [67] [72] [86] [123]
4Jürgen Angele [32]
5Anupriya Ankolekar [41] [51]
6Sebastian Bader [16] [20] [27] [30] [40] [52] [60] [107]
7Federico Banti [37]
8Stephan Baumann [51]
9Mark S. Boddy [109]
10Olivier Bodenreider [110]
11Saartje Brockmans [48]
12Antonio Brogi [37]
13Vadim Bulitko [109]
14Natalia Cherchago [54]
15Philipp Cimiano [45] [51] [65]
16Ernesto Damiani [136] [137]
17Mariana Damova [133]
18Tharam S. Dillon [136] [137]
19Prashant Doshi [109]
20Andreas Eberhart [26] [63]
21Stefan Edelkamp [109]
22Jérôme Euzenat [47]
23Artur S. d'Avila Garcez [40] [55] [76] [109]
24Christopher W. Geib [109]
25Birte Glimm [117] [118]
26Piotr J. Gmytrasiewicz [109]
27Robert P. Goldman [109]
28Marco Gori [104]
29Bernardo Cuenca Grau [50]
30Stephan Grimm [85] [94] [99] [115]
31Christophe Guéret [92]
32Peter Haase [36] [48] [77] [100]
33Alon Y. Halevy (Alon Y. Levy) [109]
34Barbara Hammer [74] [78] [79] [91] [104]
35Frank van Harmelen [101] [108]
36Manfred Hauswirth [129] [130] [136] [137]
37Cory A. Henson [128]
38Pilar Herrero [136] [137]
39Andreas Herzig [108]
40Steffen Hölldobler [17] [20] [52] [54] [60]
41Ian Horrocks [117] [118]
42Shasha Huang [126]
43Charles Lee Isbell Jr. (Charles L. Isbell) [109]
44Prateek Jain [111] [112] [116] [133]
45Krzysztof Janowicz [102] [120] [121]
46Qiu Ji [100]
47Darsana P. Josyula [109]
48Leslie Pack Kaelbling [109]
49Kristian Kersting [109]
50Malte Kiesel [51]
51Matthias Knorr [64] [67] [72] [86] [123]
52Adila Krisnadhi (Adila Alfa Krisnadhi) [124] [125] [127] [131] [134] [135] [140]
53Markus Krötzsch (Markus Kroetzsch) [18] [36] [39] [42] [43] [44] [46] [47] [53] [57] [62] [73] [80] [82] [83] [84] [87] [89] [90] [124] [134] [139]
54Kai-Uwe Kühnberger [93]
55Akhil Kumar [136] [137]
56Maithilee Kunda [109]
57Luís C. Lamb (Luís da Cunha Lamb) [109]
58Jens Lehmann [58] [59] [103] [107]
59Qingguo Li [126]
60Zuoquan Lin [66] [68] [69] [70] [71] [88] [97] [105]
61Thomas Lukasiewicz [119]
62Yue Ma [66] [68] [69] [70] [71] [88] [95] [97] [105] [113] [122]
63Wolfgang Maass [78] [79] [91]
64Frederick Maier [114] [124] [125] [134]
65Bhaskara Marthi [109]
66David Carral Martínez [140] [141]
67Tobias Matzner [56]
68Keith McGreggor [109]
69Robert Meersman [136] [137]
70Ron van der Meyden [109]
71Lilyana Mihalkova [109]
72Peter Mika [117] [118]
73Mukesh K. Mohania [129] [130] [136] [137]
74Boris Motik [32]
75Babak Mougouie [51]
76Raghava Mutharaju [114]
77Vivi Nastase [109]
78Sriraam Natarajan [109]
79Daniel Oberle [51]
80Peter Øhrstrøm [49]
81Beng Chin Ooi [136] [137]
82Guenther Palm [104]
83Jeff Z. Pan [117] [118]
84Yue Pan [117] [118]
85Peter F. Patel-Schneider [117] [118]
86Gregory Provan [109]
87Guilin Qi [68] [69] [71] [77] [97] [100] [105] [108] [122]
88Li Qing [136] [137]
89Luc De Raedt [78] [79] [91]
90Anita Raja [109]
91Ashwin Ram [109]
92Manfred Reichert [136] [137]
93Mark O. Riedl (Mark Riedl) [109]
94Massimo Romanelli [51]
95Thomas Roth-Berghofer [75]
96Sebastian Rudolph [44] [53] [57] [61] [62] [73] [75] [80] [81] [82] [83] [84] [87] [89] [90] [139]
97Stuart J. Russell [109]
98Ashish Sabharwal [109]
99Satya Sanket Sahoo [110]
100Henrik Schärfe [49]
101Stefan Schlobach [92]
102Douglas C. Schmidt [136] [137]
103Sibylle Schwarz [28] [31]
104Anthony Karel Seda [1] [2] [3] [4] [5] [6] [7] [8] [11] [13] [17] [106] [138]
105Kunal Sengupta [127] [131] [135]
106Conor Shankey [50]
107Amit P. Sheth [110] [111] [112] [116] [128] [133]
108Michael Sintek [43] [51] [53]
109Jan-Georg Smaus [109]
110Steffen Stadtmüller [100]
111Rudi Studer [26] [32] [34] [36] [41] [48]
112Gita Reese Sukthankar (Gita Sukthankar) [109]
113York Sure-Vetter (York Sure) [26] [34] [36] [41]
114Guglielmo Tamburrini [55] [76]
115Julien Tane [45]
116Krishnaprasad Thirunarayan [110] [128]
117Tuvshintur Tserendorj [80] [81] [115]
118Karl Tuyls [109]
119Reymonrod G. Vasquez [133]
120Shankar Vembu [51]
121Kunal Verma [112] [116] [133]
122Johanna Völker [61] [65]
123Denny Vrandecic [33] [38] [43] [53]
124Evan Wallace [50]
125Yimin Wang [77]
126Matthias Wendt [9] [10] [12] [24]
127Jules White [136] [137]
128Andreas Witzel [52] [60]
129Guohui Xiao [97] [105]
130Peter Z. Yeh [112] [116] [133]
131Guo-Qiang Zhang [18] [23] [39] [42]
132Lei Zhang [117] [118]
133Antoine Zimmermann [47]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page