ICLP
2010
Springer
14 years 3 months ago
2010
Springer
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
ICCBR
2010
Springer
14 years 3 months ago
2010
Springer
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
ASP
2001
Springer
14 years 3 months ago
2001
Springer
ASP
2001
Springer
14 years 3 months ago
2001
Springer
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...
ASP
2001
Springer
14 years 3 months ago
2001
Springer
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...
ASP
2001
Springer
14 years 3 months ago
2001
Springer
ASP
2001
Springer
14 years 3 months ago
2001
Springer
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...
FLOPS
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
FLOPS
2006
Springer
14 years 3 months ago
2006
Springer
