Buscar
Mostrando ítems 1-10 de 3787
Temporal Reasoning and MAS
(2011)
Semi-stable semantics
(Oxford Univ PressOxfordInglaterra, 2012)
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers
(Taylor & Francis, 2014-02)
Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning ...
Observation, logic and reasoningObservación, lógica y razonamiento
(Zona clic, 2016)
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
Local logics, non-monotonicity and defeasible argumentation
(Springer, 2004-12)
In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...
Observación, lógica y razonamientoObservation, logic and reasoning
(Zona clic, 2011)
G’3-Stable Semantics and Inconsistency
(Revista Computación y Sistemas; Vol. 13 No.1, 2009-08-15)
Abstract. We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which ...
A conjectura lógica de Jacques Lacan: a lógica como ciência do real
(Universidade Federal de Minas GeraisBrasilFAFICH - FACULDADE DE FILOSOFIA E CIENCIAS HUMANASPrograma de Pós-Graduação em PsicologiaUFMG, 2019-08-30)
This thesis proposes as an investigation about Lacan's relation with logic. To do so, it is based on the logical reading that Lacan undertakes on the Freudian hypothesis of the existence of the unconscious, in which the ...
An epistemic interpretation of paraconsistent weak Kleene logic
(Nicolaus Copernicus University, 2019-06)
This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading ...