552 search results - page 16 / 111 » A Reasoning Framework for Ambient Intelligence |
86
Voted
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
84
Voted
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
106
Voted
DALT
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
137
Voted
AI
2005
Springer
15 years 14 days ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
106
Voted
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...