The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pascal Hitzler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Pascal Hitzler, Denny Vrandecic
    Faster OWL Using Split Programs. [Citation Graph (0, 0)][DBLP]
    Principles and Practices of Semantic Web Reasoning, 2005, pp:- [Conf]
  4. 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]
  5. 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]
  6. Pascal Hitzler, Guo-Qiang Zhang
    A Cartesian Closed Category of Approximable Concept Structures. [Citation Graph (0, 0)][DBLP]
    ICCS, 2004, pp:170-185 [Conf]
  7. Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
    Morphisms in Context. [Citation Graph (0, 0)][DBLP]
    ICCS, 2005, pp:223-237 [Conf]
  8. 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]
  9. Pascal Hitzler, Markus Krötzsch
    Querying Formal Contexts with Answer Set Programs. [Citation Graph (0, 0)][DBLP]
    ICCS, 2006, pp:260-273 [Conf]
  10. Pascal Hitzler, Anthony Karel Seda
    A Characterization of Acceptability. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:609- [Conf]
  11. Pascal Hitzler
    A Resolution Theorem for Algebraic Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1339-1340 [Conf]
  12. 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]
  13. 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]
  14. Pascal Hitzler, Anthony Karel Seda
    VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. [Citation Graph (0, 0)][DBLP]
    IWFM, 2001, pp:- [Conf]
  15. Pascal Hitzler, Anthony Karel Seda
    Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. [Citation Graph (0, 0)][DBLP]
    IWFM, 1999, pp:- [Conf]
  16. Anthony Karel Seda, Pascal Hitzler
    Strictly Level-Decreasing Logic Programs. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
  17. Pascal Hitzler
    Towards a Systematic Account of Different Logic Programming Semantics. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:105-119 [Conf]
  18. Pascal Hitzler
    Default Reasoning over Domains and Concept Hierarchies. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:351-365 [Conf]
  19. 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]
  20. Pascal Hitzler, Matthias Wendt
    The Well-Founded Semantics Is a Stratified Fitting Semantics. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:205-221 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Pascal Hitzler, Matthias Wendt
    A uniform approach to logic programming semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  28. 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]
  29. 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]
  30. Pascal Hitzler
    Default reasoning over domains and concept hierarchies [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  31. Pascal Hitzler, Matthias Wendt
    Formal Concept Analysis and Resolution in Algebraic Domains [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
    Complexity Boundaries for Horn Description Logics. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:452-457 [Conf]
  43. 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]
  44. 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]
  45. 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]
  46. Yue Ma, Pascal Hitzler, Zuoquan Lin
    Algorithms for Paraconsistent Reasoning with OWL. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:399-413 [Conf]
  47. 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]
  48. 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]
  49. 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]
  50. Tobias Matzner, Pascal Hitzler
    Any-World Access to OWL from Prolog. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:84-98 [Conf]
  51. 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]
  52. Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler
    Decidability Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:269-278 [Conf]
  53. 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]
  54. Pascal Hitzler
    Towards a Systematic Account of Different Semantics for Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  55. 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]

  56. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. [Citation Graph (, )][DBLP]


  57. 08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications. [Citation Graph (, )][DBLP]


  58. 08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications. [Citation Graph (, )][DBLP]


  59. Approximate Instance Retrieval on Ontologies. [Citation Graph (, )][DBLP]


  60. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (, )][DBLP]


  61. Paraconsistent Resolution for Four-valued Description Logics. [Citation Graph (, )][DBLP]


  62. A Well-founded Semantics for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  63. All Elephants are Bigger than All Mice. [Citation Graph (, )][DBLP]


  64. Paraconsistent Reasoning for Expressive and Tractable Description Logics. [Citation Graph (, )][DBLP]


  65. A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  66. Description Logic Rules. [Citation Graph (, )][DBLP]


  67. RaDON - Repair and Diagnosis in Ontology Networks. [Citation Graph (, )][DBLP]


  68. Formalizing Ontology Alignment and its Operations with Category Theory. [Citation Graph (, )][DBLP]


  69. Towards Reasoning Pragmatics. [Citation Graph (, )][DBLP]


  70. Applications of Semantic Technologies - AST 2008, 3rd International Workshop. [Citation Graph (, )][DBLP]


  71. Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP]


  72. Editorial. [Citation Graph (, )][DBLP]


  73. A Refinement Operator Based Learning Algorithm for the ALC Description Logic. [Citation Graph (, )][DBLP]


  74. Foundations of Refinement Operators for Description Logics. [Citation Graph (, )][DBLP]


  75. Cheap Boolean Role Constructors for Description Logics. [Citation Graph (, )][DBLP]


  76. Description Logic Programs: Normal Forms. [Citation Graph (, )][DBLP]


  77. A Comparison of Disjunctive Well-founded Semantics. [Citation Graph (, )][DBLP]


  78. An Anytime Algorithm for Computing Inconsistency Measurement. [Citation Graph (, )][DBLP]


  79. Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. [Citation Graph (, )][DBLP]


  80. ELP: Tractable Rules for OWL 2. [Citation Graph (, )][DBLP]


  81. Suggestions for OWL 3. [Citation Graph (, )][DBLP]


  82. Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data. [Citation Graph (, )][DBLP]


  83. A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. [Citation Graph (, )][DBLP]


  84. What Is Approximate Reasoning?. [Citation Graph (, )][DBLP]


  85. Approximate OWL-Reasoning with Screech. [Citation Graph (, )][DBLP]


  86. Paraconsistent Reasoning for OWL 2. [Citation Graph (, )][DBLP]


  87. On the Complexity of Horn Description Logics. [Citation Graph (, )][DBLP]


  88. DLP Is Not So Bad After All. [Citation Graph (, )][DBLP]


  89. Modeling Fuzzy Rules with Description Logics. [Citation Graph (, )][DBLP]


  90. Generalized Distance Functions in the Theory of Computation. [Citation Graph (, )][DBLP]


  91. Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models [Citation Graph (, )][DBLP]


  92. Dimensions of Neural-symbolic Integration - A Structured Survey [Citation Graph (, )][DBLP]


Search in 0.161secs, Finished in 0.165secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002