299 search results - page 8 / 60 » A General Framework for Reasoning about Inconsistency |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
AAAI
1996
13 years 8 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
TIME
1994
IEEE
13 years 11 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...