Search Sciweavers | Sciweavers

16

IJCAI
2003

106views Artificial Intelligence» more IJCAI 2003»

Incremental Tractable Reasoning about Qualitative Temporal Constraints

13 years 7 months ago

In many applications of temporal reasoning we are in terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...

Alfonso Gerevini

claim paper

Read More »

19

click to vote

JAIR
2012

205views Hardware» more JAIR 2012»

COLIN: Planning with Continuous Linear Numeric Change

11 years 8 months ago

Download www.jair.org

In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...

Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...

claim paper

Read More »

16

click to vote

ATAL
2010
Springer

180views Intelligent Agents» more ATAL 2010»

Cooperative problem solving against adversary: quantified distributed constraint satisfaction problem

13 years 7 months ago

Download www-scf.usc.edu

In this paper, we extend the traditional formalization of a Distributed Constraint Satisfaction Problems (DisCSP) to a Quantified DisCSP. A Quantified DisCSP includes several unive...

Satomi Baba, Atsushi Iwasaki, Makoto Yokoo, Marius...

claim paper

Read More »

22

click to vote

CSCLP
2004
Springer

118views Artificial Intelligence» more CSCLP 2004»

A System Prototype for Solving Multi-granularity Temporal CSP

13 years 11 months ago

Download liawww.epfl.ch

Abstract. Time granularity constraint reasoning is likely to have a relevant role in emerging applications like GIS, time management in the Web and Personal Information Management ...

Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo

claim paper

Read More »

13

click to vote

AIPS
2000

79views Artificial Intelligence» more AIPS 2000»

Solving Planning-Graph by Compiling It into CSP

13 years 7 months ago