740 search results - page 8 / 148 » Open Answer Set Programming with Guarded Programs |
ASP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
LPNMR
2009
Springer
14 years 13 days ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
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...
EXACT
2008
13 years 10 months ago
2008
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 ...