Sciweavers

Share
ASP
2001
Springer
9 years 9 months ago
Representing Configuration Knowledge With Weight Constraint Rules
Timo Soininen, Ilkka Niemelä, Juha Tiihonen, ...
ASP
2001
Springer
9 years 9 months ago
Learning by Answer Sets
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
Chiaki Sakama
ASP
2001
Springer
9 years 9 months ago
Additive Fluents
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
Joohyung Lee, Vladimir Lifschitz
ASP
2001
Springer
9 years 9 months ago
Effect of knowledge representation on model based planning: experiments using logic programming encodings
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
Le-Chi Tuan, Chitta Baral
ASP
2001
Springer
9 years 10 months ago
A Declarative Implementation of Planning with Control
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
Aarati Parmar
ASP
2001
Springer
9 years 10 months ago
Genes and Ants for Default Logic
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
Pascal Nicolas, Frédéric Saubion, Ig...
ASP
2001
Springer
9 years 10 months ago
On the Foundations of Answer Set Programming
Victor W. Marek, Jeffrey B. Remmel
ASP
2001
Springer
9 years 10 months ago
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
Keijo Heljanko, Ilkka Niemelä
ASP
2001
Springer
9 years 10 months ago
Tabular Constraint-Satisfaction Problems and Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Miroslaw Trusz...
books