Sciweavers

LFCS
1994
Springer
13 years 12 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen
OGAI
1993
13 years 12 months ago
A Comparative Fuzzy Modal Logic
Petr Hájek, Dagmar Harmancová
OGAI
1993
13 years 12 months ago
Combining Neural Networks and Fuzzy Controllers
Fuzzy controllers are designed to work with knowledge in the form of linguistic control rules. But the translation of these linguistic rules into the framework of fuzzy set theory ...
Detlef Nauck, Frank Klawonn, Rudolf Kruse
ECAI
1992
Springer
13 years 12 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
13 years 12 months ago
A Specialisation Calculus to Improve Expert Systems Communication
Josep Puyol-Gruart, Lluis Godo, Carles Sierra
ECAI
1992
Springer
13 years 12 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
13 years 12 months ago
Planning as Satisfiability
Henry A. Kautz, Bart Selman
ECAI
1992
Springer
13 years 12 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