Showing 81 - 100 of 137

81

David Christensen, Putting Logic in its Place. Formal Constraints on Rational Belief
Eleonora Cresto
Crítica, Vol 40, Iss 120 (2019)

9. Industry and infrastr... Philosophy. Psychology.... 4. Education Social Sciences Experimental and Cogniti... Epistemology
Academic journal
Save to List
82

Solving power and trust conflicts through argumentation in agent-mediated knowledge distribution
Carlos Iván Chesñevar ; Ramón Brena ; José Luis López Aguirre
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Knowledge management 0211 other engineering a... Argumentation theory Epistemology 02 engineering and techn... Knowledge Representation
Academic journal
Save to List
83

Letter from the guest editors
Jaime Simão Sichman ; Virginia Dignum ; Cristiano Castelfranchi
Journal of the Brazilian Computer Society. 11(1):3-8

Knowledge management Social Sciences Management Science and O... Mechanism Design in Auct... Social psychology Multi-Agent Systems
Save to List
84

Resolution Calculi for Non-normal Modal Logics
Dirk Pattinson ; Nicola Olivetti ; Cláudia Nalon

Predicate (mathematical... Artificial intelligence Economics Epistemology 7. Clean energy Mathematical analysis
Save to List
85

Credibility-limited Functions for Belief Bases: Credibility-limited functions for belief bases
Eduardo Fermé ; J. Mikalef ; J. J. Taboada ; et al.
Journal of Logic and Computation. 13:99-110

Learning and Inference i... Credibility nonprioritized belief fu... Epistemology Belief bases Library science
Academic journal
Save to List
86

Generalized join‐hemimorphisms on Boolean algebras: Generalized join-hemimorphisms on Boolean algebras
Sergio A. Celani
International Journal of Mathematics and Mathematical Sciences, Vol 2003, Iss 11, Pp 681-693 (2003)

Relation (database) Equivalence (formal lang... Free Boolean algebra Boolean algebra with ope... Relation algebra Join (topology)
Academic journal
Save to List
87

Una propuesta de la lógica terminológica: El lenguaje de conceptos
Lizcano Bueno, Luis Ignacio ; Ojeda Ch., Luis Roberto
Ingeniería e Investigación, Vol 0, Iss 49, Pp 65-68 (2002)

Artificial intelligence Rough Sets Theory and Ap... Logic terminology Conceptos definidos Mathematical analysis 01 natural sciences
Academic journal
Save to List
88

Irrevocable belief revision and epistemic entrenchment
Fermé, E. ; DigitUMa
Logic Journal of IGPL. 8:645-652

Relation (database) Learning and Inference i... Artificial Intelligence... Irrevocable belief revis... Epistemology 0102 computer and inform...
Academic journal
Save to List
89

A brief note about Rott contraction
Fermé, Eduardo L. ; Rodriguez, Ricardo O. ; DigitUMa
Logic Journal of IGPL. 6:835-842

theory change Artificial Intelligence... Rott contraction belief change Geometry 0102 computer and inform...
Academic journal
Save to List
90

Implicative algebras and Heyting algebras can be residuated lattices
Basim Samir ; Huda Hamdan Merdach

Rough Sets Theory and Ap... Algebra over a field Residuated lattice implicative algebra Heyting algebra Residuated Lattices
Save to List
91

Comparing exhaustivity operators
Spector, Benjamin ; Institut Jean Nicod, Admin
Semantics and Pragmatics. 9

Artificial intelligence Computer Networks and Co... innocent exclusion FOS: Political science Distributed Constraint O... Set (abstract data type)
Academic journal
Save to List
92

A Conflict Resolution Strategy Selection Method (ConfRSSM) in Multi-Agent Systems
Ghusoon Salim Basheer ; Alicia Y. C. Tang
International Journal of Advanced Computer Science and Applications. 8

Artificial intelligence Conflict analysis Economics FOS: Political science FOS: Law 02 engineering and techn...
Academic journal
Save to List
93

A Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems
Ammar Mohammed ; Manzoor Ahmed
International Journal of Advanced Computer Science and Applications. 8

Automaton Hybrid automaton Artificial intelligence Epistemic modal logic Multimodal logic 0102 computer and inform...
Academic journal
Save to List
94

A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Claudia Frydman ; Gianfranco Rossi

Artificial intelligence Set (abstract data type) Decidability Quantifier (linguistics) Mathematical analysis Artificial Intelligence
Save to List
95

REFERÊNCIA DINÂMICA PARA A INTERPRETAÇÃO DOS NOMES PRÓPRIOS
PAGANI, Luiz Arthur
Revista da ABRALIN; V. 15, N. 1 (2016)
Revista da ABRALIN
Universidade Federal do Paraná (UFPR)
instacron:UFPR

constante individual Social Sciences nome próprio Experimental and Cogniti... FOS: Humanities 06 humanities and the ar...
Academic journal
Save to List
96

Resolution Method in Linguistic Propositional Logic
Trong-Ha Nguyen ; Duc-Khanh Tran
International Journal of Advanced Computer Science and Applications. 7

Intermediate logic Rough Sets Theory and Ap... Well-formed formula Artificial intelligence Zeroth-order logic Multimodal logic
Academic journal
Save to List
97

Stable Beneficial Group Activity Formation
Noor Sami Al-Anbaki ; Azzam Sleit ; Ahmad Sharieh
International Journal of Advanced Computer Science and Applications. 7

Simulations Social Sciences Organic chemistry Network Formation 02 engineering and techn... Management Science and O...
Academic journal
Save to List
98

Proof-Relevant Logical Relations for Name Generation
Nick Benton ; Martin Hofmann ; Vivek Nigam
Lecture Notes in Computer Science ISBN: 9783642389450
Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)

FOS: Computer and inform... Computer Science - Logic... Equivalence (formal lang... Logical consequence Artificial intelligence Logical equivalence
Book
Save to List
99

Designing Experiments to Discriminate Families of Logic Models
Santiago eVidela ; Irina eKonokotina ; Leonidas eAlexopoulos ; et al.
Front Bioeng Biotechnol
Frontiers in Bioengineering and Biotechnology, Vol 3 (2015)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Frontiers in Bioengineering and Biotechnology 3, 131 (2015). doi:10.3389/fbioe.2015.00131

0301 basic medicine Artificial intelligence Fitness function signaling networks 02 engineering and techn... Genetic programming
Academic journal
Save to List
100

Case Based Reasoning: Case Representation Methodologies
Hamid Reza Shaker ; Mohammed Elmogy
International Journal of Advanced Computer Science and Applications. 6

Artificial intelligence Artificial Intelligence... FOS: Political science Set (abstract data type) FOS: Law Epistemology
Academic journal
Save to List

Filter