| 2008 |
|---|
| 73 | | 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 |
| 72 | EE | Luc De Raedt,
Barbara Hammer,
Pascal Hitzler,
Wolfgang Maass:
08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications.
Recurrent Neural Networks 2008 |
| 71 | EE | Luc De Raedt,
Barbara Hammer,
Pascal Hitzler,
Wolfgang Maass:
08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications.
Recurrent Neural Networks 2008 |
| 2007 |
|---|
| 70 | | 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 |
| 69 | | Pascal Hitzler,
Thomas Roth-Berghofer,
Sebastian Rudolph:
Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007
CEUR-WS.org 2007 |
| 68 | | Barbara Hammer,
Pascal Hitzler:
Perspectives of Neural-Symbolic Integration
Springer 2007 |
| 67 | | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
Complexity Boundaries for Horn Description Logics.
AAAI 2007: 452-457 |
| 66 | EE | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Description Logics 2007 |
| 65 | EE | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Description Logics 2007 |
| 64 | EE | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Paraconsistent Resolution for Four-valued Description Logics.
Description Logics 2007 |
| 63 | EE | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
ECSQARU 2007: 30-41 |
| 62 | EE | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
ECSQARU 2007: 91-102 |
| 61 | EE | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
Towards Tractable Local Closed World Reasoning for the Semantic Web.
EPIA Workshops 2007: 3-14 |
| 60 | EE | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Algorithms for Paraconsistent Reasoning with OWL.
ESWC 2007: 399-413 |
| 59 | EE | Johanna Völker,
Pascal Hitzler,
Philipp Cimiano:
Acquisition of OWL DL Axioms from Lexical Resources.
ESWC 2007: 670-685 |
| 58 | EE | Matthias Knorr,
Pascal Hitzler:
A Comparison of Disjunctive Well-founded Semantics.
FAInt 2007 |
| 57 | EE | Pascal Hitzler,
Andreas Eberhart:
Description Logic Programs: Normal Forms.
FAInt 2007 |
| 56 | EE | 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 |
| 55 | EE | Sebastian Rudolph,
Johanna Völker,
Pascal Hitzler:
Supporting Lexical Ontology Learning by Relational Exploration.
ICCS 2007: 488-491 |
| 54 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler,
Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
IJCAI 2007: 666-671 |
| 53 | EE | Jens Lehmann,
Pascal Hitzler:
A Refinement Operator Based Learning Algorithm for the ALC Description Logic.
ILP 2007: 147-160 |
| 52 | EE | Jens Lehmann,
Pascal Hitzler:
Foundations of Refinement Operators for Description Logics.
ILP 2007: 161-174 |
| 51 | EE | Markus Krötzsch,
Sebastian Rudolph,
Pascal Hitzler:
Conjunctive Queries for a Tractable Fragment of OWL 1.1.
ISWC/ASWC 2007: 310-323 |
| 50 | EE | Tobias Matzner,
Pascal Hitzler:
Any-World Access to OWL from Prolog.
KI 2007: 84-98 |
| 49 | EE | Artur S. d'Avila Garcez,
Pascal Hitzler,
Guglielmo Tamburrini:
Editorial.
NeSy 2007 |
| 48 | EE | Natalia Cherchago,
Pascal Hitzler,
Steffen Hölldobler:
Decidability Under the Well-Founded Semantics.
RR 2007: 269-278 |
| 47 | EE | Sebastian Rudolph,
Markus Krötzsch,
Pascal Hitzler,
Michael Sintek,
Denny Vrandecic:
Efficient OWL Reasoning with Logic Programs - Evaluations.
RR 2007: 370-373 |
| 46 | EE | 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 |
| 45 | EE | 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 |
|---|
| 44 | | 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 |
| 43 | EE | Saartje Brockmans,
Peter Haase,
Pascal Hitzler,
Rudi Studer:
A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies.
ESWC 2006: 303-316 |
| 42 | EE | Pascal Hitzler,
Markus Krötzsch:
Querying Formal Contexts with Answer Set Programs.
ICCS 2006: 260-273 |
| 41 | EE | Julien Tane,
Philipp Cimiano,
Pascal Hitzler:
Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.
ICCS 2006: 413-426 |
| 40 | EE | Markus Krötzsch,
Pascal Hitzler,
Denny Vrandecic,
Michael Sintek:
How to reason with OWL in a logic programming system.
RuleML 2006: 17-28 |
| 39 | EE | 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) |
| 2005 |
|---|
| 38 | | Sebastian Bader,
Artur S. d'Avila Garcez,
Pascal Hitzler:
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
FLAIRS Conference 2005: 314-319 |
| 37 | EE | Markus Krötzsch,
Pascal Hitzler,
Guo-Qiang Zhang:
Morphisms in Context.
ICCS 2005: 223-237 |
| 36 | EE | Pascal Hitzler,
Denny Vrandecic:
Resolution-Based Approximate Reasoning for OWL DL.
International Semantic Web Conference 2005: 383-397 |
| 35 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi,
Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
LPNMR 2005: 356-368 |
| 34 | EE | 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 | EE | Pascal Hitzler,
Denny Vrandecic:
Faster OWL Using Split Programs.
Principles and Practices of Semantic Web Reasoning 2005 |
| 32 | EE | 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 | EE | Pascal Hitzler:
Towards a Systematic Account of Different Semantics for Logic Programs
CoRR abs/cs/0502088: (2005) |
| 28 | EE | 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 | EE | Sebastian Bader,
Pascal Hitzler:
Dimensions of Neural-symbolic Integration - A Structured Survey
CoRR abs/cs/0511042: (2005) |
| 26 | EE | York Sure,
Pascal Hitzler,
Andreas Eberhart,
Rudi Studer:
The Semantic Web in One Day.
IEEE Intelligent Systems 20(3): 85-87 (2005) |
| 25 | EE | Pascal Hitzler:
Towards a Systematic Account of Different Semantics for Logic Programs.
J. Log. Comput. 15(3): 391-404 (2005) |
| 24 | EE | Pascal Hitzler,
Matthias Wendt:
A uniform approach to logic programming semantics.
TPLP 5(1-2): 93-121 (2005) |
| 2004 |
|---|
| 23 | EE | Pascal Hitzler,
Guo-Qiang Zhang:
A Cartesian Closed Category of Approximable Concept Structures.
ICCS 2004: 170-185 |
| 22 | EE | Pascal Hitzler:
Default Reasoning over Domains and Concept Hierarchies.
KI 2004: 351-365 |
| 21 | EE | Pascal Hitzler:
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
CoRR cs.AI/0402013: (2004) |
| 20 | EE | 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 | EE | Pascal Hitzler:
Default reasoning over domains and concept hierarchies
CoRR cs.AI/0409002: (2004) |
| 18 | EE | Pascal Hitzler,
Markus Krötzsch,
Guo-Qiang Zhang:
A Categorical View on Algebraic Lattices in Formal Concept Analysis
CoRR cs.OH/0410065: (2004) |
| 17 | EE | Pascal Hitzler,
Steffen Hölldobler,
Anthony Karel Seda:
Logic programs and connectionist networks.
J. Applied Logic 2(3): 245-272 (2004) |
| 16 | EE | 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 | EE | Pascal Hitzler:
Towards a Systematic Account of Different Logic Programming Semantics.
KI 2003: 105-119 |
| 13 | EE | Pascal Hitzler,
Anthony Karel Seda:
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.
KI 2003: 355-369 |
| 12 | EE | Pascal Hitzler,
Matthias Wendt:
Formal Concept Analysis and Resolution in Algebraic Domains
CoRR cs.LO/0301008: (2003) |
| 11 | EE | Pascal Hitzler,
Anthony Karel Seda:
Generalized metrics and uniquely determined logic programs.
Theor. Comput. Sci. 305(1-3): 187-219 (2003) |
| 2002 |
|---|
| 10 | EE | Pascal Hitzler,
Matthias Wendt:
The Well-Founded Semantics Is a Stratified Fitting Semantics.
KI 2002: 205-221 |
| 9 | EE | Pascal Hitzler,
Matthias Wendt:
A uniform approach to logic programming semantics
CoRR cs.AI/0210027: (2002) |
| 2001 |
|---|
| 8 | EE | Pascal Hitzler,
Anthony Karel Seda:
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.
IWFM 2001 |
| 2000 |
|---|
| 7 | EE | Pascal Hitzler,
Anthony Karel Seda:
A Note on the Relationships Between Logic Programs and Neural Networks.
IWFM 2000 |
| 6 | EE | 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 | EE | Pascal Hitzler,
Anthony Karel Seda:
Characterizations of Classes of Programs by Three-Valued Operators.
LPNMR 1999: 357-371 |
| 2 | EE | 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 |
