2303 search results - page 203 / 461 » On the logic of argumentation theory |
180
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
176
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
197
click to vote
AIPS
2006
15 years 8 months ago
2006
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
195
click to vote
GLVLSI
2005
IEEE
16 years 26 days ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
210
click to vote
CCIA
2008
Springer
15 years 9 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...