Results 11 to 20 of about 697,506 (186)
Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system.
Mihaiela Lupea
doaj +1 more source
, 2012 This thesis addresses two problems of trust: 1. Knowledge on Trust: If we are provided with information by a variety of individuals, whom we trust to different degrees, what is the best overall theory we can form from the information we are given ...
Harwood, William
core +6 more sources
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +7 more
core +4 more sources
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this article we present an implementation of non-monotonic reasoning in an embedded system. As a part of an autonomous motor-glider, it simulates piloting decisions of an airplane.
José Luis Vilchis Medina +3 more
doaj +1 more source
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
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 +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
Standard Logics Are Valuation-Nonmonotonic [PDF]
Journal of Logic and Computation, 2008 35 pages, 3 ...
Mladen Pavicic, Norman D. Megill
openaire +3 more sources
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