Results 11 to 20 of about 772 (194)
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic [PDF]
Princípios, 2010 This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj +2 more sources
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic
Princípios, 2011 This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj +1 more source
Promoting Modular Nonmonotonic Logic Programs [PDF]
, 2011 Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity. In this paper, we present our current work on Modular Nonmonotonic Logic Programs (MLPs)
Krennwallner, Thomas
core +2 more sources
Standard Logics Are Valuation-Nonmonotonic [PDF]
Journal of Logic and Computation, 2008 35 pages, 3 ...
Mladen Pavicic, Norman D. Megill
openaire +3 more sources
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source
Tunneling current and noise of entangled electrons in correlated double quantum dot
Scientific Reports, 2021 We developed general approach for the analysis of tunneling current and its zero frequency noise for a wide class of systems where electron transport occurs through the intermediate structure with localized electrons.
N. S. Maslova +2 more
doaj +1 more source
Universe of Discourse and Existence
Mathematics, 2018 There is a fairly widespread belief that the problem of existence is not an essential issue for logic. Logic, though formal, must deal with the problem of existence.
José Luis Usó-Doménech +2 more
doaj +1 more source
Modular nonmonotonic logic programming revisited [PDF]
, 2009 . Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program.
Krennwallner, Thomas +7 more
core +1 more source
Temporal Context-Based Delegation
Applied Artificial Intelligence, 2019 In this paper, we put forward a dynamic delegation model based on a temporal context. Delegation is the process of granting a specific authorization from a user to another user of the same system to carry out some functions on his behalf.
Ouarda Bettaz +2 more
doaj +1 more source
Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?
The Baltic International Yearbook of Cognition, Logic and Communication, 2013 Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the ...
John Woods
doaj +1 more source