4595 search results - page 314 / 919 » Reasoning about Plans |
228
Voted
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
257
Voted
TPHOL
2006
IEEE
16 years 1 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
201
click to vote
RSFDGRC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We present a rough set approach to vague concept approximation within the adaptive learning framework. In particular, the role of extensions of approximation spaces in se...
172
click to vote
ICALT
2003
IEEE
16 years 23 days ago
2003
IEEE
In this contribution we present the dialogue generator module of a Dialogue-based Interactive Diagnostic and Learning System (DIDLS) for Historical Text Comprehension (HTC). The d...
177
click to vote
ESOP
2003
Springer
16 years 21 days ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...