2490 search results - page 141 / 498 » Complexity of Contextual Reasoning |
155
click to vote
CADE
1999
Springer
15 years 9 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
123
click to vote
IEAAIE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes the use of cases as a process representation technique and shows how case base reasoning can be used to navigate through, or execute a complex control process....
122
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
115
Voted
IJCAI
2003
15 years 6 months ago
2003
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
145
Voted
ICCBR
2010
Springer
2010
Springer
Experience-Based Critiquing: Reusing Critiquing Experiences to Improve Conversational Recommendation
15 years 3 months ago
Product recommendation systems are now a key part of many e-commerce services and have proven to be a successful way to help users navigate complex product spaces. In this paper, w...