Sciweavers

ECAI
1992
Springer
14 years 2 months ago
Arc-Consistency for Non-Binary Dynamic CSPs
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...
Christian Bessière
ECAI
1992
Springer
14 years 3 months ago
Computing the Temporal Structure of Events in Natural Language
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...
Mona Singh, Munindar P. Singh
ECAI
1992
Springer
14 years 3 months ago
A Specialisation Calculus to Improve Expert Systems Communication
Josep Puyol-Gruart, Lluis Godo, Carles Sierra
ECAI
1992
Springer
14 years 3 months ago
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
Ilkka Niemelä, Jussi Rintanen
ECAI
1992
Springer
14 years 3 months ago
Planning as Satisfiability
Henry A. Kautz, Bart Selman
ECAI
1992
Springer
14 years 3 months ago
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
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...
Nicholas R. Jennings
ECAI
1992
Springer
14 years 3 months ago
Phenomenology, Representations and Complexity
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...
Achim G. Hoffmann