Sciweavers

3891 search results - page 61 / 779
» A logic for strategic reasoning
Sort
View
CADE
2008
Springer
14 years 8 months ago
Evaluation of Systems for Higher-order Logic (ESHOL)
Christoph Benzmüller, Florian Rabe, Carsten S...
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é...