• No results found

[PDF] Top 20 The complexity of reasoning for fragments of default logic

Has 10000 "The complexity of reasoning for fragments of default logic" found on our website. Below are the top 20 most common "The complexity of reasoning for fragments of default logic".

The complexity of reasoning for fragments of default logic

The complexity of reasoning for fragments of default logic

... ter’s default logic is one of the best known and most successful formalisms for modeling common-sense ...reasoning. Default logic extends the usual logical (first-order or ... See full document

20

Proof complexity of propositional default logic

Proof complexity of propositional default logic

... Abstract. Default logic is one of the most popular and successful formalisms for non-monotonic ...skeptical reasoning in propositional default ...credulous reasoning obeys almost the ... See full document

17

The complexity of clausal fragments of LTL

The complexity of clausal fragments of LTL

... sub-Boolean fragments of LTL comes from description logic, where the DL-Lite family [9, 3] of logics has been designed and investigated with the aim of finding formalisms suitable for ontology-based data ... See full document

18

PP 2018 12: 
  A Parameterized Complexity View on Description Logic Reasoning

PP 2018 12: A Parameterized Complexity View on Description Logic Reasoning

... the complexity study of description logic problems can benefit from using the framework of parameter- ized complexity and all the tools and methods that it ...for fragments of ALC that are ... See full document

10

A Logic Framework for Non-Conscious Reasoning

A Logic Framework for Non-Conscious Reasoning

... In this paper, a framework for non-conscious ways of reasoning has been presented based on fuzzy 305. multivalued logic, fuzzy semantics and frame oriented knowledge representation[r] ... See full document

9

Reasoning about Dynamic Epistemic Logic

Reasoning about Dynamic Epistemic Logic

... Epistemic Logic (DEL) is a PDL-style logic [14] to reason about epistemic actions and updates in a multi-agent ...and reasoning about information- flow and information exchange between ... See full document

10

A logic for reasoning about knowledge of unawareness

A logic for reasoning about knowledge of unawareness

... our logic presented in ( ˚ Agotnes and Alechina, 2007) can be modified so that it does not have this prob- lem and is still decidable, but they have not checked this ... See full document

22

Making Sense of “Informal Logic”

Making Sense of “Informal Logic”

... “informal logic” comes to the ...informal logic is associated in some way with philosophical analysis (Ryle, Strawson, ...informal logic is contrasted with formal logic for the purpose of ... See full document

28

Emotion, Argumentation and Informal Logic

Emotion, Argumentation and Informal Logic

... There are two important caveats to my claim that Informal Logic holds a prejudice against emotional reasoning, i.e., reasoning with and by emotional arguments. The[r] ... See full document

20

MoL 2017 25: 
  The Good, the Bad, and the Difficult
Complexity in a Monotonicity Grounded Natural Logic for Reasoning with Generalized Quantifiers

MoL 2017 25: The Good, the Bad, and the Difficult Complexity in a Monotonicity Grounded Natural Logic for Reasoning with Generalized Quantifiers

... natural logic – an extension of the model proposed by Geurts (2003) – that captures the essential inferential properties of single and iterated quantifier ...this logic is the notion of monotonicity: we can ... See full document

77

Errors of Reasoning, Naturalizing the Logic of Inference

Errors of Reasoning, Naturalizing the Logic of Inference

... Obviously, although we do accept much of what we are told, we should not accept all of it. As Woods points out, in a situation when we are told something, there may be a trigger which indicates that before acceptance ... See full document

32

MoL 2008 04: 
  A Konolige bridge between default logic and autoepistemic logic

MoL 2008 04: A Konolige bridge between default logic and autoepistemic logic

... tized default logic and prioritized autoepistemic ...of default logic and autoepistemic and it would be interesting to investigate this connection in the prioritized ver- ...of default ... See full document

66

Reasoning About Prescription and Description Using Prioritized Default Rules

Reasoning About Prescription and Description Using Prioritized Default Rules

... rules. Default logics are among the best-known non-monotonic ...on default logics started with Reiter’s seminal paper ‘A Logic for Default Reasoning’ [43] and continued with many ... See full document

18

The moderating effect of logic in the learning of C++ computer programming using screencasting

The moderating effect of logic in the learning of C++ computer programming using screencasting

... low logic groups. Based on the participants’ logic levels, they were then randomly assigned to either the SN or STN mode so that each mode contained both high and low logic ... See full document

9

The Use of Fuzzy-Logic Control to Improve the Ride Comfort of Vehicles

The Use of Fuzzy-Logic Control to Improve the Ride Comfort of Vehicles

... The aim o f this study is to improve the ride comfort for passengers without causing any degra­ dation in the suspension’s working limits. Thus, a fuzzy-logic controller with three inputs and a single output is ... See full document

8

Counting Complexity for Reasoning in Abstract Argumentation

Counting Complexity for Reasoning in Abstract Argumentation

... Related work. Baroni, Dunne, and Giacomin (2010) considered general extension counting and show #P- completeness and identify tractable cases. We generalize these results to the reasoning problems. Lampis, Mengel, ... See full document

8

Default Logic, Natural Language and Generalized Quantifiers

Default Logic, Natural Language and Generalized Quantifiers

... Default Logic, Natural Language and Generalized Quantifiers Default Logic, Natural Language and Generalized Quantifiers P a t r i c k S a i n t D i z i e r 1RISA INRIA, CAMPUS de BEAULIEU, 35042 RENNE[.] ... See full document

6

Decision procedures for path feasibility of string manipulating programs with complex operations

Decision procedures for path feasibility of string manipulating programs with complex operations

... acyclic logic of [Barceló et ...acyclic logic of [Abdulla et ...This logic is in fact quite related to the solved-form logic proposed earlier by [Ganesh et ...straight-line logic of ... See full document

31

On Reasoning by Default

On Reasoning by Default

9

On Reasoning by Default

On Reasoning by Default

... Understanding Natural Language, Academic Press, New York, 1972..[r] ... See full document

9

Show all 10000 documents...