191 search results - page 4 / 39 » Temporal Extensions to Defeasible Logic |
DEXAW
2002
IEEE
14 years 11 days ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
AMAI
2000
Springer
13 years 7 months ago
2000
Springer
principled ones
DLOG
2003
13 years 8 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
AGI
2008
13 years 8 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...