Sciweavers

3970 search results - page 71 / 794
» A Logic For Causal Reasoning
Sort
View
AAAI
2004
13 years 9 months ago
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
Vincent Vidal, Hector Geffner
IJAR
2008
108views more  IJAR 2008»
13 years 7 months ago
Extending uncertainty formalisms to linear constraints and other complex formalisms
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
Nic Wilson
LICS
2010
IEEE
13 years 6 months ago
On Strong Maximality of Paraconsistent Finite-Valued Logics
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
Arnon Avron, Ofer Arieli, Anna Zamansky
CADE
2008
Springer
14 years 8 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...
CADE
2007
Springer
14 years 8 months ago
Efficient E-Matching for SMT Solvers
Leonardo Mendonça de Moura, Nikolaj Bj&osla...