187 search results - page 11 / 38 » Extending Description Logics with Uncertainty Reasoning in P... |
APWEB
2006
Springer
13 years 11 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
LPAR
1999
Springer
14 years 1 days ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
JAIR
1998
13 years 7 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...