2573 search results - page 383 / 515 » Combinations of Modal Logics |
146
click to vote
AAAI
2004
15 years 6 months ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
154
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Taxonomic case-based reasoning is a conversational casebased reasoning methodology that employs feature subsumption taxonomies for incremental case retrieval. Although this approa...
120
click to vote
IADIS
2004
15 years 6 months ago
2004
The aim of this study is to present a contribution in the area of human decision modeling. A state of the art from this research area shows the lack of models combining perceptive...
153
click to vote
AAAI
1990
15 years 5 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
171
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...