Sciweavers

16 search results - page 2 / 4
» Answer Sets in a Fuzzy Equilibrium Logic
Sort
View
EUROCAST
2007
Springer
133views Hardware» more  EUROCAST 2007»
13 years 11 months ago
Temporal Equilibrium Logic: A First Approach
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
Pedro Cabalar, Gilberto Pérez Vega
EPIA
2005
Springer
14 years 1 months ago
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
Pedro Cabalar, David Pearce, Agustín Valver...
IAT
2008
IEEE
14 years 1 months ago
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
Nicolás Madrid, Manuel Ojeda-Aciego
WILF
2009
Springer
249views Fuzzy Logic» more  WILF 2009»
14 years 2 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