2253 search results - page 262 / 451 » The ComFoRT Reasoning Framework |
SIGCSE
2000
ACM
15 years 3 months ago
2000
ACM
We look at the essential thinking skills students need to learn in the introductory computer science course based on object-oriented programming. We create a framework for such a ...
112
click to vote
TARK
2009
Springer
15 years 5 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
DEON
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
167
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...