2253 search results - page 3 / 451 » The ComFoRT Reasoning Framework |
FLOPS
2006
Springer
13 years 9 months ago
2006
Springer
CL
2012
Springer
11 years 7 months ago
2012
Springer
COMMA
2010
13 years 9 days ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...
COSIT
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
FOSSACS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...