ICLP
2007
Springer
14 years 5 months ago
2007
Springer
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...