AMAI 1999 - PDF Preprint Papers

AMAI 1999 International Symposium on Artificial Intelligence and Mathematics

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AMAI-1999 Paper

click to vote

AMAI
1999
Springer

194views Artificial Intelligence» more AMAI 1999»

Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

14 years 3 days ago

Download folli.loria.fr

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ä

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	194	Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm	claim
2	152	STCSP - Structured Temporal Constraint satisfaction Problems	claim
3	138	From Logic Programming Towards Multi-Agent Systems	claim
4	103	The Local Minima of the Error Surface of the 2-2-1 XOR Network	claim
5	97	Lemma and cut strategies for propositional model elimination	claim
6	96	Parallel cooperative propositional theorem proving	claim
7	92	Nested Expressions in Logic Programs	claim
8	85	Maintenance scheduling problems as benchmarks for constraint algorithms	claim
9	81	Building a Knowledge Base: An Example	claim
10	77	A propositional theorem prover to solve planning and other problems	claim
11	70	Pattern recognition by an optical thin-film multilayer model	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers