Sciweavers

1353 search results - page 48 / 271
» Streamlined Constraint Reasoning
Sort
View
80
Voted
DLOG
2009
14 years 11 months ago
Tractable Query Answering over Ontologies with Datalog+/-
Abstract. We present a family of expressive extensions of Datalog, called Datalog
Andrea Calì, Georg Gottlob, Thomas Lukasiew...
CHI
2004
ACM
15 years 10 months ago
A constraint satisfaction approach to predicting skilled interactive cognition
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
Alonso H. Vera, Andrew Howes, Michael McCurdy, Ric...
CL
2000
Springer
15 years 2 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
ATAL
2004
Springer
15 years 3 months ago
Towards a Formalization of Teamwork with Resource Constraints
Despite the recent advances in distributed MDP frameworks for reasoning about multiagent teams, these frameworks mostly do not reason about resource constraints, a crucial issue i...
Praveen Paruchuri, Milind Tambe, Fernando Ord&oacu...
KR
2010
Springer
15 years 2 months ago
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...
Ronen I. Brafman, Francesca Rossi, Domenico Salvag...