Sciweavers

11 search results - page 2 / 3
» An introduction to fuzzy answer set programming
Sort
View
WILF
2009
Springer
249views Fuzzy Logic» more  WILF 2009»
13 years 12 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
CSL
2007
Springer
13 years 11 months ago
Proofs, Programs and Abstract Complexity
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
Arnold Beckmann
WWW
2004
ACM
14 years 6 months ago
An agent system reasoning about the web and the user
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
Giovambattista Ianni, Francesco Ricca, Francesco C...
JUCS
2006
135views more  JUCS 2006»
13 years 5 months ago
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
Pascual Julián, Ginés Moreno, Jaime ...