Results 261 to 270 of about 150,993 (319)
Some of the next articles are maybe not open access.
1993
Since the time of Aristotle, logic has developed as a formalism for modelling the correct construction of arguments which demonstrate that a conclusion necessarily follows from a set of premises. It was perhaps in keeping with the Greek obsession with absolutes that there was to be no uncertainty or doubt associated with these arguments.
Paul Krause, Dominic Clark
openaire +2 more sources
Since the time of Aristotle, logic has developed as a formalism for modelling the correct construction of arguments which demonstrate that a conclusion necessarily follows from a set of premises. It was perhaps in keeping with the Greek obsession with absolutes that there was to be no uncertainty or doubt associated with these arguments.
Paul Krause, Dominic Clark
openaire +2 more sources
Non-Monotonic Logic: Preferential Versus Algebraic Semantics
2013Preferential logic can be seen as the result of manipulation with an abstract notion of size. This intermediate level between relation-based semantics and proof theory is free from the details of the latter two. It gives an unobstructed view of the central mechanism of preferential logic, and opens ways to generalizations and modifications.
K. Schlechta
openaire +2 more sources
First-order Non-monotonic Modal Logics
Fundamenta Informaticae, 2000In this paper we introduce first-order non-monotonic modal logic and study its properties. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order non-monotonic modal logic well complies with that of first-order default logic and ...
Kaminski, Michael, Rey, Guy
openaire +2 more sources
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae, 2008We study the extension of propositional ground non-monotonic modal logic to the firstorder case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczyński like translation and present a minimal model semantics of first-order ground non ...
Grimberg, Benjamin, Kaminski, Michael
openaire +2 more sources
NoMoRe: Non-monotonic Reasoning with Logic Programs
2002The non-monotonic reasoning system noMoRe [2] implements answer set semantics for normal logic programs. It realizes a novel, rule-based paradigm to compute answer sets by computing non-standard graph colorings of the block graph associated with a given logic program (see [8],[9],[6] for details).
Anger, Christian +2 more
openaire +2 more sources
On the intertranslatability of non‐monotonic logics
Annals of Mathematics and Artificial Intelligence, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2018
A relation of inference is ‘monotonic’ if the addition of premises does not undermine previously reached conclusions; otherwise the relation is non-monotonic. Deductive inference, at least according to the canons of classical logic, is monotonic: if a conclusion is reached on the basis of a certain set of premises, then that conclusion still holds if ...
openaire +1 more source
A relation of inference is ‘monotonic’ if the addition of premises does not undermine previously reached conclusions; otherwise the relation is non-monotonic. Deductive inference, at least according to the canons of classical logic, is monotonic: if a conclusion is reached on the basis of a certain set of premises, then that conclusion still holds if ...
openaire +1 more source
Some Results in Non-monotonic Proof-Theoretic Semantics
Studia Logica: An International Journal for Symbolic LogicI explore the relationships between Prawitz’s approach to non-monotonic proof-theoretic validity, which I call reducibility semantics, and a later proof-theoretic approach, that I call standard base semantics.
Antonio Piccolomini d’Aragona
semanticscholar +1 more source
Monotonic and Non-Monotonic Logics of Knowledge1
Fundamenta Informaticae, 1991We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.
openaire +1 more source
Logic Programming and Non-Monotonic Reasoning
1993This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.
openaire +1 more source