Buscar
Mostrando ítems 1-10 de 56
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
Reducing the gap between mobile and intelligent software agents
(Int Inst Informatics & Systemics, 2001-01-01)
This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
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 ...
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
(2012)
Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...
Reducing the gap between mobile and intelligent software agents
(Int Inst Informatics & Systemics, 2001-01-01)
This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Reducing the gap between mobile and intelligent software agents
(Int Inst Informatics & Systemics, 2014)
An alternative approach for quasi-truth
(Oxford University Press, 2014)