[PDF][PDF] Semi-stable semantics

M Caminada - COMMA, 2006 - mysite.cs.cf.ac.uk
In this paper, we examine an argument-based semantics called semi-stable semantics.
Semi-stable semantics is quite close to traditional stable semantics in the sense that every …

Semi-stable semantics

MWA Caminada, WA Carnielli… - Journal of Logic and …, 2012 - ieeexplore.ieee.org
In this article, we examine an argument-based semantics called semi-stable semantics.
Semi-stable semantics is quite close to traditional stable semantics in the sense that every …

Preferences in artificial intelligence

G Pigozzi, A Tsoukias, P Viappiani - Annals of Mathematics and Artificial …, 2016 - Springer
The paper presents a focused survey about the presence and the use of the concept of
“preferences” in Artificial Intelligence. Preferences are a central concept for decision making …

Classical negation and expansions of Belnap–Dunn logic

M De, H Omori - Studia Logica, 2015 - Springer
We investigate the notion of classical negation from a non-classical perspective. In
particular, one aim is to determine what classical negation amounts to in a paracomplete …

Four-valued paradefinite logics

O Arieli, A Avron - Studia Logica, 2017 - Springer
Abstract Paradefinite ('beyond the definite') logics are logics that can be used for handling
contradictory or partial information. As such, paradefinite logics should be both …

On contra-classical variants of Nelson logic N4 and its classical extension

H Omori, H Wansing - The Review of Symbolic Logic, 2018 - cambridge.org
In two recent articles, Norihiro Kamide introduces unusual variants of Nelson's
paraconsistent logic and its classical extension. Kamide's systems, IP and CP, are unusual …

Three-valued paraconsistent propositional logics

O Arieli, A Avron - New Directions in Paraconsistent Logic: 5th WCP …, 2016 - Springer
Three-valued matrices provide the simplest semantic framework for introducing
paraconsistent logics. This paper is a comprehensive study of the main properties of …

On the methodology of paraconsistent logic

H Wansing, SP Odintsov - Logical studies of paraconsistent reasoning in …, 2016 - Springer
The present note contains a critical discussion of the methodology of paraconsistent logic in
general and “the central optimisation problem of paraconsistent logics” in particular. It is …

Preference modelling

S Moretti, M Öztürk, A Tsoukiàs - … criteria decision analysis: State of the art …, 2016 - Springer
This chapter provides the reader with a presentation of preference modelling fundamental
notions as well as some recent results in this field. Preference modelling is an inevitable …

Paraconsistency properties in degree-preserving fuzzy logics

R Ertola, F Esteva, T Flaminio, L Godo, C Noguera - Soft Computing, 2015 - Springer
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics
primarily deal with graded truth and vagueness. Aiming to find logics that can handle …