Sciweavers

581 search results - page 8 / 117
» Coordination in answer set programming
Sort
View
ICLP
2007
Springer
15 years 3 months ago
Advanced Techniques for Answer Set Programming
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
Martin Gebser
103
Voted
CADE
2001
Springer
15 years 10 months ago
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke
80
Voted
ATAL
2005
Springer
15 years 3 months ago
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
Owen Cliffe, Marina De Vos, Julian A. Padget
EXACT
2008
14 years 12 months ago
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
Martin Brain, Marina De Vos
ICLP
2010
Springer
15 years 1 months ago
Communicating Answer Set Programs
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...
Kim Bauters, Jeroen Janssen, Steven Schockaert, Di...