Library
Export 5 results:
Filters: Author is Jose Julio Alferes [Clear All Filters]
. Local Closed-World Reasoning with Description Logics under the Well-founded Semantics. 2011 ;. 
(354.24 KB)
(354.24 KB). A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece: 18th European Conference on Artificial Intelligence, ECAI 2008; 2008. p. 99-103. (163.1 KB)
(163.1 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 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-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)