Sciweavers

AMAI
1999
Springer
14 years 4 days ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
AMAI
1999
Springer
14 years 4 days ago
Nested Expressions in Logic Programs
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
AMAI
1999
Springer
14 years 4 days ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri
AMAI
1999
Springer
14 years 4 days ago
The Local Minima of the Error Surface of the 2-2-1 XOR Network
Ida G. Sprinkhuizen-Kuyper, Egbert J. W. Boers
AMAI
1999
Springer
14 years 4 days ago
Building a Knowledge Base: An Example
Michael Gelfond, Alfredo Gabaldon
AMAI
1999
Springer
14 years 4 days ago
Maintenance scheduling problems as benchmarks for constraint algorithms
The paper focuses on evaluating constraint satisfaction search algorithms on application based random problem instances. The application we use is a well-studied problem in the el...
Daniel Frost, Rina Dechter
AMAI
1999
Springer
14 years 4 days ago
Pattern recognition by an optical thin-film multilayer model
This paper describes a computational learning model inspired by the technology of optical thin-film multilayers from the field of optics. With the thicknesses of thin-film layers ...
Xiaodong Li, Martin K. Purvis