ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...