Measuring inconsistency in fuzzy answer set semantics

N Madrid, M Ojeda-Aciego - IEEE Transactions on Fuzzy …, 2011 - ieeexplore.ieee.org
Recent approaches have shown that the measurement of the amount of inconsistent
information contained in a logic theory can be useful to infer positive information. This paper …

[HTML][HTML] Weighted logics for artificial intelligence–an introductory discussion

D Dubois, L Godo, H Prade - International Journal of Approximate …, 2014 - Elsevier
Before presenting the contents of the special issue, we propose a structured introductory
overview of a landscape of the weighted logics (in a general sense) that can be found in the …

[HTML][HTML] Complexity of fuzzy answer set programming under Łukasiewicz semantics

M Blondeel, S Schockaert, D Vermeir… - International Journal of …, 2014 - Elsevier
Fuzzy answer set programming (FASP) is a generalization of answer set programming
(ASP) in which propositions are allowed to be graded. Little is known about the …

A finite-valued solver for disjunctive fuzzy answer set programs

M Mushthofa, S Schockaert, M De Cock - ECAI 2014, 2014 - ebooks.iospress.nl
Abstract Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm
which extends the flexibility and expressiveness of classical Answer Set Programming …

Fuzzy answer set programming: An introduction

M Blondeel, S Schockaert, D Vermeir… - … State of the Art Theory and …, 2013 - Springer
In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a
gentle introduction to its basic ideas and definitions. FASP is a combination of answer set …

A core language for fuzzy answer set programming

J Janssen, S Schockaert, D Vermeir… - International Journal of …, 2012 - Elsevier
A number of different Fuzzy Answer Set Programming (FASP) formalisms have been
proposed in the last years, which all differ in the language extensions they support. In this …

Fuzzy equilibrium logic: Declarative problem solving in continuous domains

S Schockaert, J Janssen, D Vermeir - ACM Transactions on …, 2012 - dl.acm.org
In this article, we introduce fuzzy equilibrium logic as a generalization of both Pearce
equilibrium logic and fuzzy answer set programming. The resulting framework combines the …

[PDF][PDF] REGIMvid at ImageCLEF2012: Improving Diversity in Personal Photo Ranking Using Fuzzy Logic.

G Feki, A Ksibi, AB Ammar, CB Amar - CLEF (Online Working Notes …, 2012 - ceur-ws.org
This paper handles with two main challenges: retrieving the best matching images to a given
query and improving diversity in ranking using fuzzy logic. The proposed scheme proceeds …

Answer sets in a fuzzy equilibrium logic

S Schockaert, J Janssen, D Vermeir… - Web Reasoning and Rule …, 2009 - Springer
Since its introduction, answer set programming has been generalized in many directions, to
cater to the needs of real-world applications. As one of the most general “classical” …

[PDF][PDF] On the classical content of monadic G∼ and its application to a fuzzy medical expert system

A Ciabattoni, P Rusnok - Proceedings of KR, 2010 - cdn.aaai.org
The satisfiability problem for monadic infinite-valued Gödel logic is known to be
undecidable. We identify a fragment of this logic extended with strong negation whose …