461 search results - page 17 / 93 » Component-Based Answer Set Programming |
ASP
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
AAAI
2008
13 years 9 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
JAPLL
2007
13 years 7 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
AMAI
2004
Springer
13 years 7 months ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...