Results 21 to 30 of about 719,711 (199)
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
Belief Change in Nonmonotonic Multi-Context Systems [PDF]
, 2013 Brewka and Eiter's nonmonotonic multi-context system is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge representation and reasoning.
Yisong Wang +5 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
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
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
Cobalt‐Catalyzed C─N Bond Formation via Metal‐Hydride Hydrogen Atom Transfer (MHAT)
Angewandte Chemie, EarlyView.Cobalt‐catalyzed metal‐hydride hydrogen atom transfer (Co‐MHAT) converts simple alkenes into C─N bonds under mild, near‐neutral conditions. A shared Co─H‐initiated radical/organocobalt intermediate is channeled into radical trapping, radical‐polar crossover, or radical ligand transfer, unifying hydroamination, hydroazidation, hydroamidation, and remote
Arman Khosravi, Ming‐Yu Ngai
wiley +2 more sources
A logic of nonmonotone inductive definitions [PDF]
ACM Transactions on Computational Logic, 2008 Well-known principles of induction include monotone induction and different sorts of nonmonotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing induction over well-founded sets and monotone and iterated induction.
Denecker, Marc, Ternovska, Eugenia
openaire +2 more sources
Relevance-driven evaluation of modular nonmonotonic logic programs [PDF]
, 2009 . Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowing (mutually) recursive module calls.
Krennwallner, Thomas +7 more
core +1 more source
Ideal reasoners don’t believe in zombies
Principia: An International Journal of Epistemology, 2017 The negative zombie argument states that p&~q is ideally negatively conceivable and, therefore, possible, what would entail that physicalism is false (Chalmers, 2002, 2010}.
Danilo Fraga Dantas
doaj +1 more source
Nonmonotonic Logics and Semantics
Journal of Logic and Computation, 2001 Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may be deduced from a set A of formulas iff a holds in all of the "preferred" models in which all the elements of A ...
openaire +4 more sources