Pages that link to "Item:Q677077"
From MaRDI portal
The following pages link to Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case (Q677077):
Displaying 38 items.
- Getting the most out of inconsistency (Q253133) (← links)
- ``Platonic'' thought experiments: how on earth? (Q383053) (← links)
- Lost in translation: language independence in propositional logic -- application to belief change (Q490446) (← links)
- Logic based merging (Q535328) (← links)
- Possibilistic logic: a retrospective and prospective view (Q598572) (← links)
- On the measure of conflicts: Shapley inconsistency values (Q622103) (← links)
- \(\text{DA}^2\) merging operators (Q814605) (← links)
- An adaptive logic based on Jaśkowski's approach to paraconsistency (Q853810) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Disjunctive merging: quota and Gmin merging operators (Q991021) (← links)
- Majority merging by adaptive counting (Q1024133) (← links)
- Yes fellows, most human reasoning is complex (Q1024143) (← links)
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Query answering DL-lite knowledge bases from hidden datasets (Q2035633) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- Qualitative capacities: basic notions and potential applications (Q2169203) (← links)
- Simple contrapositive assumption-based argumentation frameworks (Q2191233) (← links)
- A review of the relations between logical argumentation and reasoning with maximal consistency (Q2294581) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases (Q2411265) (← links)
- The theory of the process of explanation generalized to include the inconsistent case (Q2576384) (← links)
- A split-combination approach to merging knowledge bases in possibilistic logic (Q2643150) (← links)
- Assertional Removed Sets Merging of DL-Lite Knowledge Bases (Q3297810) (← links)
- Belief base merging as a game (Q3647211) (← links)
- Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case (Q3647311) (← links)
- Logical limits of abstract argumentation frameworks (Q4583317) (← links)
- The inapplicability of (selected) paraconsistent logics (Q4583361) (← links)
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency (Q4912987) (← links)
- Adaptive Proofs for Networks of Partial Structures (Q5213754) (← links)
- $$\exists $$ -ASP for Computing Repairs with Existential Ontologies (Q5268421) (← links)
- Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases (Q5350352) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group (Q6577680) (← links)
- Main issues in belief revision, belief merging and information fusion (Q6602229) (← links)
- On the transitivity of logical consequence without assuming monotonicity (Q6633051) (← links)