1353 search results - page 22 / 271 » Streamlined Constraint Reasoning |
WSC
2007
13 years 10 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
JIIS
2002
13 years 7 months ago
2002
In this paper we integrate a history
DALT
2008
Springer
13 years 9 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 ...
CL
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
DLOG
2011
12 years 11 months ago
2011
Abstract. We consider the problem of characterising relational constraints under which TBox reasoning in EL is tractable. We obtain P vs. coNP-hardness dichotomies for tabular cons...