Buscar
Mostrando ítems 21-30 de 4246
Intellectualism against empiricism
(Brill - Rudopi, 2014)
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 ...
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 ...
The abstraction effect on logic rules application
(Georgian Technical University, 2013-06)
The aim of this study is to analyze the relationship between training on abstraction and the comprehension of logic rules. In order to evaluate the possibility of improvement on logic performance we have selected the ...
A Fuzzy Reasoning Model for Recognition of Facial Expressions
(Revista Computación y Sistemas; Vol. 15 No. 2, 2011-12-13)
Abstract. In this paper we present a fuzzy reasoning model and a designed system for Recognition of Facial Expressions, which can measure and recognize the intensity of basic or non-prototypical emotions. The proposed model ...
The rules of the rationality of practical discourse in the light of ethics of discourse: An analysis of Robert Alexy's proposal
(Sciendo, 2019-06)
The author discusses the rational argumentation of the values from a proposal defended by the legal philosopher Robert Alexy. The paper shows that discourse for Alexy is essentially a regulated activity. A model of certain ...
Game theory and the law: rule interactive interpretation
(Pontificia Universidad Católica del PerúPE, 2014)
Reasoning tradeoffs in languages with enhanced modularity features
(Modularity 2016: Proceedings of the 15th International Conference on Modularity 13-24 2016, 2016-03)
The continuous need for more ambitious, more complex, and more dependable software systems demands mechanisms to modularize such systems and reason about their correctness. The reasoning process is affected by the programming ...