Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
1998
Anthony K. Seda, Pascal Hitzler. Strictly Level-Decreasing Logic Programs. In the Second Irish Workshop on Formal Methods; 1998.  (0 bytes)
1999
Anthony K. Seda, Pascal Hitzler. Acceptable Programs Revisited. In Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),; 1999.  (1.1 MB)
Anthony K. Seda, Pascal Hitzler. A Characterization of Acceptability. In A Characterization of Acceptability. 1999.
Anthony K. Seda, Pascal Hitzler. Characterizations of Classes of Programs by Three-valued Operators. In Characterizations of Classes of Programs by Three-valued Operators. 1999.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. In Electronic Workshops in Computing, British Computer Society; 1999.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem. Topology Proceedings. 1999 ;:223-250.  (251.14 KB)
2005
Pascal Hitzler. Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen. In 2005.  (0 bytes)
Pascal Hitzler. Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen. In 2005.
Rudi Studer, Jurgen Angele, Boris Motik, Pascal Hitzler. Bridging the Paradigm Gap with Rules for OWL. In W3C Workshop on Rule Languages for Interoperability; 2005.  (0 bytes)
Sebastian Bader, Artur S. D'A. Garcez, Pascal Hitzler. Computing First-Order Logic Programs by Fibring Artificial Neural Networks. In Eighteenth International Florida Artificial Intelligence Research Symposium Conference. Clearwater Beach, Florida, USA; 2005.  (93.97 KB)
York Sure, Rudi Studer, Pascal Hitzler. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05; 2005.  (0 bytes)
Sebastian Bader, Pascal Hitzler. Dimensions of Neural-Symbolic Integration - A Structured Survey. In 2005.  (0 bytes)
York Sure, Rudi Studer, Markus Krotzsch, Peter Haase, Pascal Hitzler. DLP Isn't So Bad After All. In 2005.  (88.28 KB)
Pascal Hitzler, York Sure, Rudi Studer, Markus Krotzsch, Peter Haase. DLP Isn't So Bad After All. In DLP Isn't So Bad After All. 2005.
Denny Vrandecic, Pascal Hitzler. Faster OWL Using Split Programs. In 2005.  (0 bytes)
Sibylle Schwarz, Pascal Hitzler. Level Mapping Characterizations of Selector-Generated Models for Logic Programs. In 19th Workshop on (Constraint) Logic Programming; 2005.  (0 bytes)
Sudhir Agarwal, Pascal Hitzler. Modeling Fuzzy Rules with Description Logics. In 2005.  (186.61 KB)

Pages