Sciweavers

966 search results - page 17 / 194
» Communicating Answer Set Programs
Sort
View
82
Voted
ENC
2005
IEEE
15 years 7 months ago
Inferring acceptable arguments with Answer Set Programming
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieve...
114
Voted
ICLP
2010
Springer
15 years 5 months ago
Efficient Solving of Time-dependent Answer Set Programs
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...
KSEM
2010
Springer
14 years 11 months ago
A Formalism for Causal Explanations with an Answer Set Programming Translation
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
Yves Moinard
112
Voted
WILF
2009
Springer
249views Fuzzy Logic» more  WILF 2009»
15 years 8 months ago
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relati...
Nicolás Madrid, Manuel Ojeda-Aciego
117
Voted
FOIKS
2004
Springer
15 years 7 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos