Results 1 to 10 of about 783,609 (145)
Modal nonmonotonic logics: ranges, characterization, computation [PDF]
Journal of the ACM, 1991 Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated.
V. Marek, G. F. Shvarts, M. Truszczynski
semanticscholar +3 more sources
Nonmonotonic Logics and Semantics [PDF]
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
D. Lehmann
semanticscholar +4 more sources
Complexity Results for Nonmonotonic Logics
Journal of Logic and Computation, 1992 The paper provides complexity results for three problems of several nonmonotonic logics. Testing of existence of a fixed point and deciding whether a formula belongs to at least one fixed point are \(\Sigma^ P_ 2\)-complete. Deciding whether a formula belongs to all fixed points is \(\Pi^ P_ 2\)-complete.
G. Gottlob
semanticscholar +4 more sources
Querying Disjunctive Database Through Nonmonotonic Logics
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
P. Bonatti, Thomas Eiter
semanticscholar +5 more sources
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [PDF]
ICLP Technical Communications, 2020 Paraconsistent logics constitute an important class of formalisms dealing with non-trivial reasoning from inconsistent premisses. In this paper, we introduce uniform axiomatisations for a family of nonmonotonic paraconsistent logics based on minimal ...
Tobias Geibinger, H. Tompits
semanticscholar +1 more source
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
Annals of Mathematics and Artificial Intelligence, 2021 The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts.
Jesse Heyninck +3 more
semanticscholar +1 more source
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 We present the logic of Hebbian learning, a dynamic logicwhose semantics1 are expressed in terms of a layered neuralnetwork learning via Hebb’s associative learning rule.
Caleb Kisby, Saúl Blanco, Lawrence Moss
doaj +1 more source
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +1 more source
Ground Nonmonotonic Modal Logics [PDF]
Journal of Logic and Computation, 1997 The authors develop a theory of ground logics which are nonmonotonic formalisms in the spirit of the McDermott--Doyle nonmonotonic modal logics. The ground logics are intended to formalise reasoning of rational agents who are allowed to make nonmonotonic assumptions only on information concerning the real world and expressed by nonmodal formulas ...
DONINI F. M. +2 more
openaire +2 more sources
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