Search the dblp DataBase
Pascal Hitzler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sebastian Bader , Pascal Hitzler Dimensions of Neural-symbolic Integration - A Structured Survey. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (1), 2005, pp:167-194 [Conf ] Pascal Hitzler , York Sure , Rudi Studer Description Logic Programs: A Practical Choice For the Modelling of Ontologies. [Citation Graph (0, 0)][DBLP ] Principles and Practices of Semantic Web Reasoning, 2005, pp:- [Conf ] Pascal Hitzler , Denny Vrandecic Faster OWL Using Split Programs. [Citation Graph (0, 0)][DBLP ] Principles and Practices of Semantic Web Reasoning, 2005, pp:- [Conf ] Saartje Brockmans , Peter Haase , Pascal Hitzler , Rudi Studer A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies. [Citation Graph (0, 0)][DBLP ] ESWC, 2006, pp:303-316 [Conf ] Sebastian Bader , Artur S. d'Avila Garcez , Pascal Hitzler Computing First-Order Logic Programs by Fibring Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2005, pp:314-319 [Conf ] Pascal Hitzler , Guo-Qiang Zhang A Cartesian Closed Category of Approximable Concept Structures. [Citation Graph (0, 0)][DBLP ] ICCS, 2004, pp:170-185 [Conf ] Markus Krötzsch , Pascal Hitzler , Guo-Qiang Zhang Morphisms in Context. [Citation Graph (0, 0)][DBLP ] ICCS, 2005, pp:223-237 [Conf ] Julien Tane , Philipp Cimiano , Pascal Hitzler Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation. [Citation Graph (0, 0)][DBLP ] ICCS, 2006, pp:413-426 [Conf ] Pascal Hitzler , Markus Krötzsch Querying Formal Contexts with Answer Set Programs. [Citation Graph (0, 0)][DBLP ] ICCS, 2006, pp:260-273 [Conf ] Pascal Hitzler , Anthony Karel Seda A Characterization of Acceptability. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:609- [Conf ] Pascal Hitzler A Resolution Theorem for Algebraic Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:1339-1340 [Conf ] Sebastian Bader , Pascal Hitzler , Steffen Hölldobler , Andreas Witzel A Fully Connectionist Model Generator for Covered First-Order Logic Programs. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:666-671 [Conf ] Pascal Hitzler , Anthony Karel Seda A Note on the Relationships Between Logic Programs and Neural Networks. [Citation Graph (0, 0)][DBLP ] IWFM, 2000, pp:- [Conf ] Pascal Hitzler , Anthony Karel Seda VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. [Citation Graph (0, 0)][DBLP ] IWFM, 2001, pp:- [Conf ] Pascal Hitzler , Anthony Karel Seda Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. [Citation Graph (0, 0)][DBLP ] IWFM, 1999, pp:- [Conf ] Anthony Karel Seda , Pascal Hitzler Strictly Level-Decreasing Logic Programs. [Citation Graph (0, 0)][DBLP ] IWFM, 1998, pp:- [Conf ] Pascal Hitzler Towards a Systematic Account of Different Logic Programming Semantics. [Citation Graph (0, 0)][DBLP ] KI, 2003, pp:105-119 [Conf ] Pascal Hitzler Default Reasoning over Domains and Concept Hierarchies. [Citation Graph (0, 0)][DBLP ] KI, 2004, pp:351-365 [Conf ] Pascal Hitzler , Anthony Karel Seda Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] KI, 2003, pp:355-369 [Conf ] Pascal Hitzler , Matthias Wendt The Well-Founded Semantics Is a Stratified Fitting Semantics. [Citation Graph (0, 0)][DBLP ] KI, 2002, pp:205-221 [Conf ] Federico Banti , José Júlio Alferes , Antonio Brogi , Pascal Hitzler The Well Supported Semantics for Multidimensional Dynamic Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:356-368 [Conf ] Pascal Hitzler , Anthony Karel Seda Characterizations of Classes of Programs by Three-Valued Operators. [Citation Graph (0, 0)][DBLP ] LPNMR, 1999, pp:357-371 [Conf ] Markus Krötzsch , Pascal Hitzler , Denny Vrandecic , Michael Sintek How to reason with OWL in a logic programming system. [Citation Graph (0, 0)][DBLP ] RuleML, 2006, pp:17-28 [Conf ] Pascal Hitzler , Denny Vrandecic Resolution-Based Approximate Reasoning for OWL DL. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2005, pp:383-397 [Conf ] Pascal Hitzler , Jürgen Angele , Boris Motik , Rudi Studer Bridging the Paradigm Gap with Rules for OWL. [Citation Graph (0, 0)][DBLP ] Rule Languages for Interoperability, 2005, pp:- [Conf ] Pascal Hitzler , Sibylle Schwarz Level Mapping Characterizations of Selector Generated Models for Logic Programs. [Citation Graph (0, 0)][DBLP ] W(C)LP, 2005, pp:65-75 [Conf ] Pascal Hitzler , Matthias Wendt A uniform approach to logic programming semantics [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Pascal Hitzler Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Sebastian Bader , Pascal Hitzler , Steffen Hölldobler The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Pascal Hitzler Default reasoning over domains and concept hierarchies [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Pascal Hitzler , Matthias Wendt Formal Concept Analysis and Resolution in Algebraic Domains [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Pascal Hitzler , Markus Krötzsch , Guo-Qiang Zhang A Categorical View on Algebraic Lattices in Formal Concept Analysis [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Pascal Hitzler , Anthony Karel Seda On the Coincidence of Semantics for Uniquely Determined Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] York Sure , Pascal Hitzler , Andreas Eberhart , Rudi Studer The Semantic Web in One Day. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2005, v:20, n:3, pp:85-87 [Journal ] Pascal Hitzler , Markus Krötzsch , Guo-Qiang Zhang A Categorical View on Algebraic Lattices in Formal Concept Analysis. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:74, n:2-3, pp:301-328 [Journal ] Sebastian Bader , Pascal Hitzler Logic programs, iterated function systems, and recurrent radial basis function networks. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:3, pp:273-300 [Journal ] Pascal Hitzler , Steffen Hölldobler , Anthony Karel Seda Logic programs and connectionist networks. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:3, pp:245-272 [Journal ] Pascal Hitzler Towards a Systematic Account of Different Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:3, pp:391-404 [Journal ] Pascal Hitzler , Anthony Karel Seda Generalized metrics and uniquely determined logic programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:305, n:1-3, pp:187-219 [Journal ] Pascal Hitzler , Anthony Karel Seda Acceptable Programs Revisited. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal ] Pascal Hitzler , Matthias Wendt A uniform approach to logic programming semantics. [Citation Graph (0, 0)][DBLP ] TPLP, 2005, v:5, n:1-2, pp:93-121 [Journal ] Markus Krötzsch , Sebastian Rudolph , Pascal Hitzler Complexity Boundaries for Horn Description Logics. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:452-457 [Conf ] Yue Ma , Guilin Qi , Pascal Hitzler , Zuoquan Lin Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2007, pp:30-41 [Conf ] Yue Ma , Guilin Qi , Pascal Hitzler , Zuoquan Lin An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2007, pp:91-102 [Conf ] Matthias Knorr , José Júlio Alferes , Pascal Hitzler Towards Tractable Local Closed World Reasoning for the Semantic Web. [Citation Graph (0, 0)][DBLP ] EPIA Workshops, 2007, pp:3-14 [Conf ] Yue Ma , Pascal Hitzler , Zuoquan Lin Algorithms for Paraconsistent Reasoning with OWL. [Citation Graph (0, 0)][DBLP ] ESWC, 2007, pp:399-413 [Conf ] Johanna Völker , Pascal Hitzler , Philipp Cimiano Acquisition of OWL DL Axioms from Lexical Resources. [Citation Graph (0, 0)][DBLP ] ESWC, 2007, pp:670-685 [Conf ] Sebastian Rudolph , Markus Krötzsch , Pascal Hitzler Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. [Citation Graph (0, 0)][DBLP ] ICCS, 2007, pp:464-467 [Conf ] Sebastian Rudolph , Johanna Völker , Pascal Hitzler Supporting Lexical Ontology Learning by Relational Exploration. [Citation Graph (0, 0)][DBLP ] ICCS, 2007, pp:488-491 [Conf ] Tobias Matzner , Pascal Hitzler Any-World Access to OWL from Prolog. [Citation Graph (0, 0)][DBLP ] KI, 2007, pp:84-98 [Conf ] Markus Krötzsch , Sebastian Rudolph , Pascal Hitzler Conjunctive Queries for a Tractable Fragment of OWL 1.1. [Citation Graph (0, 0)][DBLP ] ISWC/ASWC, 2007, pp:310-323 [Conf ] Natalia Cherchago , Pascal Hitzler , Steffen Hölldobler Decidability Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] RR, 2007, pp:269-278 [Conf ] Sebastian Rudolph , Markus Krötzsch , Pascal Hitzler , Michael Sintek , Denny Vrandecic Efficient OWL Reasoning with Logic Programs - Evaluations. [Citation Graph (0, 0)][DBLP ] RR, 2007, pp:370-373 [Conf ] Pascal Hitzler Towards a Systematic Account of Different Semantics for Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2005, v:0, n:, pp:- [Journal ] 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). [Citation Graph (0, 0)][DBLP ] J. Web Sem., 2007, v:5, n:3, pp:156-174 [Journal ] Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. [Citation Graph (, )][DBLP ] 08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications. [Citation Graph (, )][DBLP ] 08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications. [Citation Graph (, )][DBLP ] Approximate Instance Retrieval on Ontologies. [Citation Graph (, )][DBLP ] Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (, )][DBLP ] Paraconsistent Resolution for Four-valued Description Logics. [Citation Graph (, )][DBLP ] A Well-founded Semantics for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP ] All Elephants are Bigger than All Mice. [Citation Graph (, )][DBLP ] Paraconsistent Reasoning for Expressive and Tractable Description Logics. [Citation Graph (, )][DBLP ] A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP ] Description Logic Rules. [Citation Graph (, )][DBLP ] RaDON - Repair and Diagnosis in Ontology Networks. [Citation Graph (, )][DBLP ] Formalizing Ontology Alignment and its Operations with Category Theory. [Citation Graph (, )][DBLP ] Towards Reasoning Pragmatics. [Citation Graph (, )][DBLP ] Applications of Semantic Technologies - AST 2008, 3rd International Workshop. [Citation Graph (, )][DBLP ] Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP ] Editorial. [Citation Graph (, )][DBLP ] A Refinement Operator Based Learning Algorithm for the ALC Description Logic. [Citation Graph (, )][DBLP ] Foundations of Refinement Operators for Description Logics. [Citation Graph (, )][DBLP ] Cheap Boolean Role Constructors for Description Logics. [Citation Graph (, )][DBLP ] Description Logic Programs: Normal Forms. [Citation Graph (, )][DBLP ] A Comparison of Disjunctive Well-founded Semantics. [Citation Graph (, )][DBLP ] An Anytime Algorithm for Computing Inconsistency Measurement. [Citation Graph (, )][DBLP ] Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. [Citation Graph (, )][DBLP ] ELP: Tractable Rules for OWL 2. [Citation Graph (, )][DBLP ] Suggestions for OWL 3. [Citation Graph (, )][DBLP ] Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data. [Citation Graph (, )][DBLP ] A Preferential Tableaux Calculus for Circumscriptive A LCO {\mathcal ALCO}. [Citation Graph (, )][DBLP ] What Is Approximate Reasoning?. [Citation Graph (, )][DBLP ] Approximate OWL-Reasoning with Screech. [Citation Graph (, )][DBLP ] Paraconsistent Reasoning for OWL 2. [Citation Graph (, )][DBLP ] On the Complexity of Horn Description Logics. [Citation Graph (, )][DBLP ] DLP Is Not So Bad After All. [Citation Graph (, )][DBLP ] Modeling Fuzzy Rules with Description Logics. [Citation Graph (, )][DBLP ] Generalized Distance Functions in the Theory of Computation. [Citation Graph (, )][DBLP ] Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models [Citation Graph (, )][DBLP ] Dimensions of Neural-symbolic Integration - A Structured Survey [Citation Graph (, )][DBLP ] Search in 0.161secs, Finished in 0.165secs