 | 2009 |
|---|
| 98 |       | Qiu Ji,
Peter Haase,
Guilin Qi,
Pascal Hitzler,
Steffen Stadtmüller:
RaDON - Repair and Diagnosis in Ontology Networks.
ESWC 2009: 863-867 |
| 97 | | Pascal Hitzler:
Towards Reasoning Pragmatics.
GeoS 2009: 9-25 |
| 96 | | Yue Ma,
Guilin Qi,
Guohui Xiao,
Pascal Hitzler,
Zuoquan Lin:
An Anytime Algorithm for Computing Inconsistency Measurement.
KSEM 2009: 29-40 |
| 95 | | Pascal Hitzler:
Suggestions for OWL 3.
OWLED 2009 |
| 94 | | Yue Ma,
Pascal Hitzler:
Paraconsistent Reasoning for OWL 2.
RR 2009: 197-211 |
| 93 | | Stephan Grimm,
Pascal Hitzler:
A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}.
RR 2009: 40-54 |
| 92 | | Kai-Uwe Kühnberger,
Pascal Hitzler:
Facets of Artificial General Intelligence.
KI 23(2): 58-59 (2009) |
| 2008 |
|---|
| 91 |  | Christophe 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 |
| 90 | | Luc 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 |
| 89 | | Sebastian Rudolph,
Markus Krötzsch,
Pascal Hitzler:
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
AAAI 2008: 529-534 |
| 88 | | Sebastian Rudolph,
Markus Krötzsch,
Pascal Hitzler:
All Elephants are Bigger than All Mice.
Description Logics 2008 |
| 87 | | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Description Logics 2008 |
| 86 | | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
Description Logic Rules.
ECAI 2008: 80-84 |
| 85 | | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.
ECAI 2008: 99-103 |
| 84 | | Stephan Grimm,
Pascal Hitzler:
Applications of Semantic Technologies - AST 2008, 3rd International Workshop.
GI Jahrestagung (2) 2008: 671-674 |
| 83 | | 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 |
| 82 | | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
ELP: Tractable Rules for OWL 2.
International Semantic Web Conference 2008: 649-664 |
| 81 | | Sebastian Rudolph,
Markus Krötzsch,
Pascal Hitzler:
Cheap Boolean Role Constructors for Description Logics.
JELIA 2008: 362-374 |
| 80 | | Sebastian Rudolph,
Tuvshintur Tserendorj,
Pascal Hitzler:
What Is Approximate Reasoning?.
RR 2008: 150-164 |
| 79 | | Tuvshintur Tserendorj,
Sebastian Rudolph,
Markus Krötzsch,
Pascal Hitzler:
Approximate OWL-Reasoning with Screech.
RR 2008: 165-180 |
| 78 | | Luc De Raedt,
Barbara Hammer,
Pascal Hitzler,
Wolfgang Maass:
08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications.
Recurrent Neural Networks 2008 |
| 77 | | Luc De Raedt,
Barbara Hammer,
Pascal Hitzler,
Wolfgang Maass:
08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications.
Recurrent Neural Networks 2008 |
| 2007 |
|---|
| 76 | | Artur 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 |
| 75 | | Pascal Hitzler,
Thomas Roth-Berghofer,
Sebastian Rudolph:
Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007
CEUR-WS.org 2007 |
| 74 | | Barbara Hammer,
Pascal Hitzler:
Perspectives of Neural-Symbolic Integration
Springer 2007 |
| 73 | | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
Complexity Boundaries for Horn Description Logics.
AAAI 2007: 452-457 |
| 72 | | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Description Logics 2007 |
| 71 | | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Description Logics 2007 |
| 70 | | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Paraconsistent Resolution for Four-valued Description Logics.
Description Logics 2007 |
| 69 | | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
ECSQARU 2007: 30-41 |
| 68 | | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
ECSQARU 2007: 91-102 |
| 67 | | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
Towards Tractable Local Closed World Reasoning for the Semantic Web.
EPIA Workshops 2007: 3-14 |
| 66 | | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Algorithms for Paraconsistent Reasoning with OWL.
ESWC 2007: 399-413 |
| 65 | | Johanna Völker,
Pascal Hitzler,
Philipp Cimiano:
Acquisition of OWL DL Axioms from Lexical Resources.
ESWC 2007: 670-685 |
| 64 | | Matthias Knorr,
Pascal Hitzler:
A Comparison of Disjunctive Well-founded Semantics.
FAInt 2007 |
| 63 | | Pascal Hitzler,
Andreas Eberhart:
Description Logic Programs: Normal Forms.
FAInt 2007 |
| 62 | | 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 |
| 61 | | Sebastian Rudolph,
Johanna Völker,
Pascal Hitzler:
Supporting Lexical Ontology Learning by Relational Exploration.
ICCS 2007: 488-491 |
| 60 | | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler,
Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
IJCAI 2007: 666-671 |
| 59 | | Jens Lehmann,
Pascal Hitzler:
A Refinement Operator Based Learning Algorithm for the ALC Description Logic.
ILP 2007: 147-160 |
| 58 | | Jens Lehmann,
Pascal Hitzler:
Foundations of Refinement Operators for Description Logics.
ILP 2007: 161-174 |
| 57 | | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
Conjunctive Queries for a Tractable Fragment of OWL 1.1.
ISWC/ASWC 2007: 310-323 |
| 56 | | Tobias Matzner,
Pascal Hitzler:
Any-World Access to OWL from Prolog.
KI 2007: 84-98 |
| 55 | | Artur S. d'Avila Garcez,
Pascal Hitzler,
Guglielmo Tamburrini:
Editorial.
NeSy 2007 |
| 54 | | Natalia Cherchago,
Pascal Hitzler,
Steffen Hölldobler:
Decidability Under the Well-Founded Semantics.
RR 2007: 269-278 |
| 53 | | Sebastian Rudolph,
Markus Krötzsch,
Pascal Hitzler,
Michael Sintek,
Denny Vrandecic:
Efficient OWL Reasoning with Logic Programs - Evaluations.
RR 2007: 370-373 |
| 52 | | 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 |
| 51 | | 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) |
| 2006 |
|---|
| 50 | | Bernardo 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 |
| 49 | | Henrik 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 |
| 48 | | Saartje Brockmans,
Peter Haase,
Pascal Hitzler,
Rudi Studer:
A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies.
ESWC 2006: 303-316 |
| 47 | | Antoine Zimmermann,
Markus Krötzsch,
Jérôme Euzenat,
Pascal Hitzler:
Formalizing Ontology Alignment and its Operations with Category Theory.
FOIS 2006: 277-288 |
| 46 | | Pascal Hitzler,
Markus Krötzsch:
Querying Formal Contexts with Answer Set Programs.
ICCS 2006: 260-273 |
| 45 | | Julien Tane,
Philipp Cimiano,
Pascal Hitzler:
Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.
ICCS 2006: 413-426 |
| 44 | | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
On the Complexity of Horn Description Logics.
OWLED 2006 |
| 43 | | Markus Krötzsch,
Pascal Hitzler,
Denny Vrandecic,
Michael Sintek:
How to reason with OWL in a logic programming system.
RuleML 2006: 17-28 |
| 42 | | 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) |
| 41 | | Rudi Studer,
Anupriya Ankolekar,
Pascal Hitzler,
York Sure:
A Semantic Future for AI.
IEEE Intelligent Systems 21(4): 8-9 (2006) |
| 2005 |
|---|
| 40 | | Sebastian Bader,
Artur S. d'Avila Garcez,
Pascal Hitzler:
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
FLAIRS Conference 2005: 314-319 |
| 39 | | Markus Krötzsch,
Pascal Hitzler,
Guo-Qiang Zhang:
Morphisms in Context.
ICCS 2005: 223-237 |
| 38 | | Pascal Hitzler,
Denny Vrandecic:
Resolution-Based Approximate Reasoning for OWL DL.
International Semantic Web Conference 2005: 383-397 |
| 37 | | Federico Banti,
José Júlio Alferes,
Antonio Brogi,
Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
LPNMR 2005: 356-368 |
| 36 | | Pascal Hitzler,
Peter Haase,
Markus Krötzsch,
York Sure,
Rudi Studer:
DLP Is Not So Bad After All.
OWLED 2005 |
| 35 | | Sudhir Agarwal,
Pascal Hitzler:
Modeling Fuzzy Rules with Description Logics.
OWLED 2005 |
| 34 | | 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 |
| 33 | | Pascal Hitzler,
Denny Vrandecic:
Faster OWL Using Split Programs.
Principles and Practices of Semantic Web Reasoning 2005 |
| 32 | | Pascal Hitzler,
Jürgen Angele,
Boris Motik,
Rudi Studer:
Bridging the Paradigm Gap with Rules for OWL.
Rule Languages for Interoperability 2005 |
| 31 | | Pascal Hitzler,
Sibylle Schwarz:
Level Mapping Characterizations of Selector Generated Models for Logic Programs.
W(C)LP 2005: 65-75 |
| 30 | | Sebastian Bader,
Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey.
We Will Show Them! (1) 2005: 167-194 |
| 29 | | Pascal Hitzler:
Towards a Systematic Account of Different Semantics for Logic Programs
CoRR abs/cs/0502088: (2005) |
| 28 | | Pascal Hitzler,
Sibylle Schwarz:
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
CoRR abs/cs/0511038: (2005) |
| 27 | | Sebastian Bader,
Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey
CoRR abs/cs/0511042: (2005) |
| 26 | | York Sure,
Pascal Hitzler,
Andreas Eberhart,
Rudi Studer:
The Semantic Web in One Day.
IEEE Intelligent Systems 20(3): 85-87 (2005) |
| 25 | | Pascal Hitzler:
Towards a Systematic Account of Different Semantics for Logic Programs.
J. Log. Comput. 15(3): 391-404 (2005) |
| 24 | | Pascal Hitzler,
Matthias Wendt:
A uniform approach to logic programming semantics.
TPLP 5(1-2): 93-121 (2005) |
| 2004 |
|---|
| 23 | | Pascal Hitzler,
Guo-Qiang Zhang:
A Cartesian Closed Category of Approximable Concept Structures.
ICCS 2004: 170-185 |
| 22 | | Pascal Hitzler:
Default Reasoning over Domains and Concept Hierarchies.
KI 2004: 351-365 |
| 21 | | Pascal Hitzler:
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
CoRR cs.AI/0402013: (2004) |
| 20 | | 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) |
| 19 | | Pascal Hitzler:
Default reasoning over domains and concept hierarchies
CoRR cs.AI/0409002: (2004) |
| 18 | | Pascal Hitzler,
Markus Krötzsch,
Guo-Qiang Zhang:
A Categorical View on Algebraic Lattices in Formal Concept Analysis
CoRR cs.OH/0410065: (2004) |
| 17 | | Pascal Hitzler,
Steffen Hölldobler,
Anthony Karel Seda:
Logic programs and connectionist networks.
J. Applied Logic 2(3): 245-272 (2004) |
| 16 | | Sebastian Bader,
Pascal Hitzler:
Logic programs, iterated function systems, and recurrent radial basis function networks.
J. Applied Logic 2(3): 273-300 (2004) |
| 2003 |
|---|
| 15 | | Pascal Hitzler:
A Resolution Theorem for Algebraic Domains.
IJCAI 2003: 1339-1340 |
| 14 | | Pascal Hitzler:
Towards a Systematic Account of Different Logic Programming Semantics.
KI 2003: 105-119 |
| 13 | | Pascal Hitzler,
Anthony Karel Seda:
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.
KI 2003: 355-369 |
| 12 | | Pascal Hitzler,
Matthias Wendt:
Formal Concept Analysis and Resolution in Algebraic Domains
CoRR cs.LO/0301008: (2003) |
| 11 | | Pascal Hitzler,
Anthony Karel Seda:
Generalized metrics and uniquely determined logic programs.
Theor. Comput. Sci. 305(1-3): 187-219 (2003) |
| 2002 |
|---|
| 10 | | Pascal Hitzler,
Matthias Wendt:
The Well-Founded Semantics Is a Stratified Fitting Semantics.
KI 2002: 205-221 |
| 9 | | Pascal Hitzler,
Matthias Wendt:
A uniform approach to logic programming semantics
CoRR cs.AI/0210027: (2002) |
| 2001 |
|---|
| 8 | | Pascal Hitzler,
Anthony Karel Seda:
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.
IWFM 2001 |
| 2000 |
|---|
| 7 | | Pascal Hitzler,
Anthony Karel Seda:
A Note on the Relationships Between Logic Programs and Neural Networks.
IWFM 2000 |
| 6 | | Pascal Hitzler,
Anthony Karel Seda:
On the Coincidence of Semantics for Uniquely Determined Programs.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 5 | | Pascal Hitzler,
Anthony Karel Seda:
A Characterization of Acceptability.
ICLP 1999: 609 |
| 4 | | Pascal Hitzler,
Anthony Karel Seda:
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
IWFM 1999 |
| 3 | | Pascal Hitzler,
Anthony Karel Seda:
Characterizations of Classes of Programs by Three-Valued Operators.
LPNMR 1999: 357-371 |
| 2 | | Pascal Hitzler,
Anthony Karel Seda:
Acceptable Programs Revisited.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 1998 |
|---|
| 1 | | Anthony Karel Seda,
Pascal Hitzler:
Strictly Level-Decreasing Logic Programs.
IWFM 1998 |
