5378 search results - page 259 / 1076 » Base Logics in Argumentation |
199
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
182
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
141
click to vote
CADE
1994
Springer
15 years 11 months ago
1994
Springer
We present a completion-based method for handling a new version of E-unification, called "mixed" E-unification, that is a combination of the classical "universal&quo...
180
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
There has been considerable research on quantum dots cellular automata as a new computing scheme in the nano-scale regimes. The basic logic element of this technology is a majorit...
205
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...