10568 search results - page 320 / 2114 » Computer Intelligence and Formalization |
112
click to vote
EPIA
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
124
click to vote
AAAI
2008
15 years 6 months ago
2008
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional ...
117
Voted
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a computing approach, called Palpable Computing, complementing and extending Ambient Computing notions and techniques. The main contribution of this paper lies ...
103
click to vote
ICARIS
2005
Springer
15 years 9 months ago
2005
Springer
We propose to develop a theoretical basis and experimental simulator of the first Immune-Computer (IC) as a new kind of biomolecular computer. This IC will be able to control a fra...
117
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...