Results 271 to 280 of about 150,993 (319)

Modeling generalized implicatures using non-monotonic logics

Journal of Logic, Language and Information, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

LogAG: An algebraic non-monotonic logic for reasoning with graded propositions

Annals of Mathematics and Artificial Intelligence, 2020
Nourhan Ehab, Haythem O. Ismail
semanticscholar   +1 more source

Non-Monotonic Logics: A Valuations-Based Approach

1992
Abstract We explore the lattice of valuations introduced by E. Sandewall as a means to capture non-monotonic logics. We investigate a systematic correspondence linking logics to inference relations over valuations. We prove two theorems establishing that both monotonicity and non-monotonicity are preserved by that correspondence.
Philippe Besnard, Robert E. Mercer
openaire   +1 more source

Non-monotonic Logic and the Compatibility of Science and Religion

Logica Universalis, 2019
Marcin Trepczyński
semanticscholar   +1 more source

A functional approach to non‐monotonic logic 1

International Joint Conference on Artificial Intelligence, 1985
E. Sandewall
semanticscholar   +1 more source

Hybrid Probabilistic Logic Programs with Non-monotonic Negation

2005
In [22], a new Hybrid Probabilistic Logic Programs framework has been proposed, and a new semantics has been developed to enable encoding and reasoning about real-world applications. In this paper, the language of Hybrid Probabilistic Logic Programs framework of [22] is extended to allow non-monotonic negation, and two alternative semantics are defined:
Emad Saad, Enrico Pontelli
openaire   +1 more source

ASP+POMDP: Integrating non-monotonic logic programming and probabilistic planning on robots

International Conference on Development and Learning, 2012
Shiqi Zhang, M. Sridharan, F. S. Bao
semanticscholar   +1 more source

A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision

Non-Monotonic Reasoning, 1989
D. Appelt, K. Konolige
semanticscholar   +1 more source

On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle

Annual Conference for Computer Science Logic, 1990
R. Stärk
semanticscholar   +1 more source

Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic

International Conference on Information Technology: New Generations, 2008
M. Das, V. Narasimhan
semanticscholar   +1 more source