Buscar
Mostrando ítems 1-10 de 1461
First-order swap structures semantics for some logics of formal inconsistency
(Oxford Univ Press, 2020-09-01)
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (i.e. logics containing contradictory but nontrivial theories) having a consistency connective which allows to recover the ex falso quodlibet ...
Semi-stable semantics
(Oxford Univ PressOxfordInglaterra, 2012)
On AGM for Non-Classical Logics
(SPRINGER, 2011)
The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations ...
ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
(Elsevier, 2013-04)
Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms ...
Promoting Social Innovation Through Participatory Approaches In Knowledge Management
(Univ La SalleBogota, 2016)
Institutions, paradoxes, and compensation logics: evidence from corporate values of the largest Chinese and US companies
This study introduces the concept of Institutional Compensation Logics, which suggests that organizations can dynamically balance coexisting local and global logics, through a process known as the ‘paradox of embedded ...
An approach for temporal argumentation using labeled defeasible logic programming (l-DeLP)
(Universidad Nacional de La Plata. Facultad de Informática, 2012-08-01)
In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung´s seminal work characterizing ...
An approach for side scan sonar acoustic images segmentation using programmable logic
(Institute of Electrical and Electronics Engineers, 2015-05)
In applications related to maintenance of underwater infrastructure in harbour installations, cables and pipelines, it is necessary to separate the relevant objects of study from the rest of the acoustic image obtained by ...