Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
Conference Paper
Gary Berg-Cross, Isabel Cruz, Mike Dean, Timothy Finin, Pascal Hitzler, Hook Hua, Mark Gahegan, Krzysztof Janowicz, Naicong Li, Philip Murphy, Bryce Nordgren, Leo Obrst, Mark Schildhauer, Amit Sheth, Krishna Sinha, Anne Thessen, Nancy Wiegand, Ilya Zaslavsky. Semantics and Ontologies for EarthCube. In: Krzysztof Janowicz, Carsten Keßler, Tomi Kauppinen, Dave Kolas, Simon Scheider. Workshop on GIScience in the Big Data Age, in conjunction with the 7th International Conference on Geographic Information Science 2012 (GIScience 2012). Columbus, OH; 2012. p. 11-16.  (62.78 KB)
Anthony K. Seda, Pascal Hitzler. Strictly Level-Decreasing Logic Programs. In the Second Irish Workshop on Formal Methods; 1998.  (0 bytes)
Pascal Hitzler. Suggestions for OWL 3. In 5th International Workshop on OWL: Experiences and Directions (OWLED 2009); 2009.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 2008.  (0 bytes)
Pascal Hitzler. Towards a Systematic Account of Different Logic Programming Semantics. In 26th Annual German Conference on Artificial Intelligence, KI2003. Hamburg, Germany; 2003. p. 355-369.  (211.68 KB)
Pascal Hitzler. Towards Nonmonotonic Reasoning on Hierarchical Knowledge. In WLP: Workshop Logische Programmierung; 2002.  (0 bytes)
Pascal Hitzler. Towards Reasoning Pragmatics. In Third International Conference, GeoS. Mexico City, Mexico; 2009.  (170.66 KB)
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. Towards Tractable Local Closed World Reasoning for the Semantic Web. In 13th Portuguese Conference on Aritficial Intelligence, EPIA. Guimaraes, Portugal: 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007; 2007. p. 3-14.  (166.6 KB)
Anthony Seda, Pascal Hitzler. VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. In Fifth Irish Workshop on Formal Methods (IWFM'01); 2001.
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. A Well-founded Semantics for Hybrid MKNF Knowledge Bases. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (167.38 KB)
Matthias Wendt, Pascal Hitzler. The Well-Founded Semantics is a Stratified Fitting Semantics. In The Well-Founded Semantics is a Stratified Fitting Semantics. 2002.  (0 bytes)
F. Banti, Jose Julio Alferes, A. Brogi, Pascal Hitzler. The Well-Supported Semantics for Multidimensional Dynamic Logic Programs. In 8th International Conference, LPNMR 2005. Diamante, Italy; 2005. p. 356-368.  (218.65 KB)
York Sure, Markus Krotzsch, Marc Ehrig, Pascal Hitzler. What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts. In 20th National Conference on Artificial Intelligence, AAAI-05; 2005.  (0 bytes)
Pascal Hitzler. What's happening in Semantic Web .. and what FCA could have to do with it. In What's happening in Semantic Web .. and what FCA could have to do with it. Formal Concept Analysis, 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2011: Lecture Notes in Artificial Intelligence 6628, Springer, Heidelberg; 2011.
Pascal Hitzler. What's happening in Semantic Web .. and what FCA could have to do with it. In 2011.
Conference Proceedings
Amit Krishna, Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit Sheth, Mariana Damova. Alignment-based Querying of Linked Open Data. ODBASE 2012. Rome, Italy; 2012. p. 807-824.  (287.23 KB)
Prateek Jain, Peter Yeh, Kunal Verma, Reymonrod Vasquez, Mariana Damova, Pascal Hitzler, Amit Sheth. Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton. ESWC 2011. Heraklion, Greece: Springer; 2010. p. 80-92.
Yue Ma, Pascal Hitzler. Distance-based Measures of Inconsistency and Incoherency for Description Logics. Waterloo, Canada: 23rd International Workshop on Description Logics (DL2010); 2010.
Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti. Distributed OWL EL Reasoning: The Story So Far. Thomas Liebig, Achille Fokoue. 10th International Workshop on Scalable Semantic Web Knowledge Base Systems. Riva del Garda, Italy: CEUR; 2014. p. 61-76.  (437.93 KB)
Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit Sheth. Linked Data is Merely More Data. 2010 AAAI Spring Symposium. Menlo Park, California: AAAI Press; 2010. p. 82-86.  (151.34 KB)
Satya Sahoo, Olivier Bodenreider, Krishnaprasad Thirunarayan, Pascal Hitzler, Amit Sheth. Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data. Scientific and Statistical Database Management (SSDBM 2010). Heidelberg, Germany; 2010. p. 461-470.  (534.62 KB)
Journal Article
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin. Computational Complexity and Anytime Algorithm for Inconsistency Measurement. International Journal of Software and Informatics. 2010 ;:3-21.  (478.9 KB)
Yue Ma, Guilin Qi, Pascal Hitzler. Computing Inconsistency Measure based on Paraconsistent Semantics. 2011 ;.  (459.85 KB)
Jens Lehmann, Pascal Hitzler. Concept Learning in Description Logics Using Refinement Operators. Machine Learning. 2010 ;:203-250.  (1.05 MB)
Sebastian Bader, Steffen Holldobler, Pascal Hitzler. Connectionist Model Generation: A First-Order Approach. Neurocomputing. 2008 ;:2420-2432.  (581.02 KB)
Pascal Hitzler, Anthony K. Seda. A "Converse" of the Bananch Contraction Mapping Theorem. Journal of Electrical Engineering. 2001 ;:3-6.  (172.7 KB)
Pascal Hitzler, Anthony K. Seda. Dislocated Topologies. 2000 ;.  (170.64 KB)
Jens Lehmann, Sebastian Bader, Pascal Hitzler. Extracting Reduced Logic Programs from Artificial Neural Networks. 2010 ;.  (326.57 KB)
Kai-Uwe Kuhnberger, Pascal Hitzler. Facets of Artificial General Intelligence. Kunstliche Intelligenz. 2009 ;:58-59.  (149.36 KB)
Anthony K. Seda, Pascal Hitzler. Generalized Distance Functions in the Theory of Computation. The Computer Journal. 2010 ;:443-464.  (391.22 KB)
Anthony K. Seda, Pascal Hitzler. Generalized Metrics and Uniquely Determined Logic Programs. Theoretical Computer Science. 2003 ;:187-219.  (419.06 KB)
Miguel Gutierrez-Naranjo, Pascal Hitzler. ILP Operators for Propositional Connectionist Networks. Technische Berichte Technical Reports. WLP: Workshop Logische Programmierung; 2002 ;:103-106.  (179.84 KB)
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. Local Closed-World Reasoning with Description Logics under the Well-founded Semantics. 2011 ;.  (354.24 KB)
Sebastian Bader, Pascal Hitzler. Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks. Journal of Applied Logic. 2004 ;:273- 300.  (303.97 KB)
Marco Gori, Barbara Hammer, Pascal Hitzler, Guenther Palm. Perspectives and Challenges for Recurrent Neural Network Training. Logic Journal of the IGPL. 2010 ;:617-619.  (42.43 KB)
Frank Van Harmelen, Pascal Hitzler. A Reasonable Semantic Web. Semantic Web – Interoperability, Usability, Applicability. IOS Press; 2010 ;:39-44.
R. Studer, A. Ankolekar, Pascal Hitzler. A Semantic Future for AI. IEEE Intelligent Systems. 2006 ;:8-9.  (80.16 KB)
Stephan Grimm, Pascal Hitzler. Semantic Matchmaking of Web Resources with Local Closed-World Reasoning. International Journal of e-Commerce. 2008 ;:89-126.  (447.71 KB)
York Sure, Andreas Eberhart, Rudi Studer, Pascal Hitzler. The Semantic Web in One Day. IEEE Intelligent Systems. 2005 ;:85-87.  (133.79 KB)
Pascal Hitzler, Krzysztof Janowicz. Semantic Web - Interoperability, Usability, Applicability. Semantic Web. IOS Press; 2010 ;1:1-2.  (34.01 KB)
Krzysztof Janowicz, Pascal Hitzler. Semantic Web surveys and applications. 2011 ;:65-66.
Pascal Hitzler, Krzysztof Janowicz. Semantic Web Tools and Systems. Semantic Web – Interoperability, Usability, Applicability . IOS Press; 2011 ;:1-2.  (57.71 KB)
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)
Pascal Hitzler. Towards a Systematic Account of Different Semantics for Logic Programs. Journal of Logic and Computation. 2005 ;:391-404.  (224.54 KB)
Matthias Wendt, Pascal Hitzler. A uniform approach to logic programming semantics. Theory and Practice of Logic Programming. 2005 ;:123-159.  (326.6 KB)
Anthony K. Seda, Pascal Hitzler. Unique Supported-Model Classes of Logic Programs. Information. 2001 ;:295-302.  (177.12 KB)

Pages