Sciweavers

125
Voted
AMAI
1999
Springer
14 years 10 months 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 10 months ago
Nested Expressions in Logic Programs
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
109
Voted
AMAI
1999
Springer
14 years 10 months 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 10 months 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 10 months ago
Building a Knowledge Base: An Example
Michael Gelfond, Alfredo Gabaldon
AMAI
1999
Springer
14 years 10 months 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 10 months 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