223 search results - page 28 / 45 » Temporal Constraint Reasoning With Preferences |
ICCBR
2003
Springer
14 years 2 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
ICTAI
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
IVC
2008
13 years 9 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
ENTCS
2006
13 years 9 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
AAAI
2012
12 years 1 days ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...