Sciweavers

2438 search results - page 5 / 488
» Consistent Gradient Operators
Sort
View
IJAR
2007
86views more  IJAR 2007»
13 years 9 months ago
Non-deterministic semantics for logics with a consistency operator
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
Arnon Avron
CPAIOR
2010
Springer
14 years 2 months ago
Consistency Check for the Bin Packing Constraint Revisited
Julien Dupuis, Pierre Schaus, Yves Deville