Sciweavers

1353 search results - page 48 / 271
» Streamlined Constraint Reasoning
Sort
View
DLOG
2009
13 years 9 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
14 years 8 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
14 years 4 days 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
14 years 1 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
14 years 17 days 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...