Buscar
Mostrando ítems 1-10 de 1976
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 ...
Integrating discrete and continuous change in a logical framework
(WILEY-BLACKWELL, 1998)
The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of ...
Emergence of extended-spectrum beta-lactamase producing Enterobacter spp. in patients with bacteremia in a tertiary hospital in southern Brazil
(Ediciones Doyma S ABarcelonaEspanha, 2014)
Subjetividad extendida, traspaso de cogniciones y comunidad de mentes: sobre la posibilidad de que las razones de uno se conviertan en las intuiciones de otro
(2024)
La condición holista e inferencial que, según Davidson, define imperativamente a los procesos cognitivos colisiona con la existencia de las creencias intuitivas, a saber, aquellas creencias que son el fundamento de sí ...
An algebraic approach for action based default reasoning
(Open Publishing Association, 2019-07)
Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., ...
Counfluent Rewriting Systems in Non-Monotonic Reasoning
(Computación y Sistemas, 2009)
Confluent Rewriting Systems in Non-Monotonic Reasoning
(Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3, 1998-12-15)
Abstract. We introduce the general notion 01 a Confluent LPSystem,
which is a rewriting system on the set 01 all
logic pmgrams over a signature L. Such a system is
based on certain translormation rules and induces a ...
Anderson localization and momentum-space entanglement
(Iop Publishing Ltd, 2014-07-01)
We consider Anderson localization and the associated metal-insulator transition for non-interacting fermions in D = 1, 2 space dimensions in the presence of spatially correlated on-site random potentials. To assess the ...
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 ...