Sciweavers

2438 search results - page 5 / 488
» Consistent Gradient Operators
Sort
View
IJAR
2007
86views more  IJAR 2007»
15 years 5 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
15 years 10 months ago
Consistency Check for the Bin Packing Constraint Revisited
Julien Dupuis, Pierre Schaus, Yves Deville