Library
Export 162 results:
Filters: Author is Pascal Hitzler [Clear All Filters]
. Towards Reasoning Pragmatics. In Third International Conference, GeoS. Mexico City, Mexico; 2009. 
(170.66 KB)
(170.66 KB). 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)
(166.6 KB). A uniform approach to logic programming semantics. Theory and Practice of Logic Programming. 2005 ;:123-159. (326.6 KB)
(326.6 KB). Unique Supported-Model Classes of Logic Programs. Information. 2001 ;:295-302. (177.12 KB)
(177.12 KB). VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. In Fifth Irish Workshop on Formal Methods (IWFM'01); 2001.
. Visual Ontology Modeling for Electronic Markets. In 2006. (2.98 MB)
(2.98 MB). A Well-founded Semantics for Hybrid MKNF Knowledge Bases. In the 2007 International Workshop on Description Logics (DL-2007); 2007. (167.38 KB)
(167.38 KB). The Well-Founded Semantics is a Stratified Fitting Semantics. In The Well-Founded Semantics is a Stratified Fitting Semantics. 2002. 
(0 bytes)
(0 bytes). The Well-Supported Semantics for Multidimensional Dynamic Logic Programs. In 8th International Conference, LPNMR 2005. Diamante, Italy; 2005. p. 356-368. (218.65 KB)
(218.65 KB). What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts. In 20th National Conference on Artificial Intelligence, AAAI-05; 2005. (0 bytes)
(0 bytes). 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.
Pages
- « first
- ‹ previous
- 1
- 2
- 3
- 4