scientific article; zbMATH DE number 592370
From MaRDI portal
Publication:4296748
Artificial intelligenceautoepistemic logiccircumscriptiondefault logicdefeasible logicLogicLogic programmingnonmonotonic logicnonmonotonic reasoningNonmonotonic reasoningpossibility logicuncertain reasoningUncertain reasoninguncertainty logics
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other nonclassical logic (03B60) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic in artificial intelligence (68T27)
Recommendations
Cited in
(only showing first 100 items - show all)- Introducing possibilistic logic in ILP for dealing with exceptions
- Fuzzy information retrieval model revisited
- Preferential reasoning in the perspective of Poole default logic
- Equational unification, word unification, and 2nd-order equational unification
- The value of the four values
- On first-order conditional logics
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry
- Prolog technology for default reasoning: proof theory and compilation techniques
- Recovery of (non)monotonic theories
- Lexicographic priorities in default logic
- Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic
- The three semantics of fuzzy sets
- To preference via entrenchment
- Five faces of minimality
- On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies
- A qualitative fuzzy possibilistic logic
- On the transformation between possibilistic logic bases and possibilistic causal networks
- Refinements of the maximum approach to decision-making in a fuzzy environment
- Possibilistic reasoning -- a mini-survey and uniform semantics
- Multi-interpretation operators and approximate classification.
- Abductive consequence relations
- An abstract, argumentation-theoretic approach to default reasoning
- Defeasible inheritance on cyclic networks
- Nonmonotonic reasoning, conditional objects and possibility theory
- Compiling specificity into approaches to nonmonotonic reasoning
- On the complexity of equational problems in CNF
- Fusion of possibilistic knowledge bases from a postulate point of view.
- On the use of aggregation operations in information fusion processes.
- Note about cardinality-based circumscription
- What is a (non-constructive) non-monotone logical system?
- Belief functions and default reasoning
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- CP- and OCF-networks -- a comparison
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- Enhancing context knowledge repositories with justifiable exceptions
- Paraconsistent informational logic
- Semantics for a theory of defeasible reasoning
- A logical approach to interpolation based on similarity relations
- A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
- Minimal temporal epistemic logic
- On the possibility theory-based semantics for logics of preference
- \(U\)-Sets as a possibilistic set theory
- Complexity of nilpotent unification and matching problems.
- Unification algorithms cannot be combined in polynomial time.
- Working with ARMs: Complexity results on atomic representations of Herbrand models
- A circumscriptive calculus of events
- Three dual ontologies
- Propositional distances and compact preference representation
- Introducing reactive Kripke semantics and arc accessibility
- Supremum preserving upper probabilities
- Proving theorems by reuse
- Glimpsing at guessing
- Pavelka-style fuzzy logic in retrospect and prospect
- Logical characterizations of regular equivalence in weighted social networks
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- An approach to improve argumentation-based epistemic planning with contextual preferences
- Paraconsistent inference relations induced from inconsistency measures
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
- Boolean algebras of conditionals, probability and logic
- Free choice reasons
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
- Distance-based paraconsistent logics
- On rational entailment for propositional typicality logic
- Strong inconsistency
- Possibilistic nested logic programs and strong equivalence
- A simple logic for reasoning about incomplete knowledge
- Fresh logic: Proof-theory and semantics for FM and nominal techniques
- An algebraic approach to belief contraction and nonmonotonic entailment
- Operational semantics of Framed Tempura
- Handling uncertainty and defeasibility in a possibilistic logic setting
- Redundancy in logic. III: Non-monotonic reasoning
- Combining answer set programming with description logics for the semantic web
- Semantic forgetting in answer set programming
- Probabilistic reasoning in a classical logic
- Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
- Probabilities on sentences in an expressive logic
- A logical framework for privacy-preserving social network publication
- Event calculus and temporal action logics compared
- Beliefs in conditionals vs. conditional beliefs
- Nonmonotonic conditionals that behave like conditional probabilities above a threshold
- Shallow confluence of conditional term rewriting systems
- An extension of pointwise circumscription
- From statistical knowledge bases to degrees of belief
- Handbook of defeasible reasoning and uncertainty management systems. Vol. 5: Algorithms for uncertainty and defeasible reasoning
- Logical foundations and complexity of 4QL, a query language with unrestricted negation
- LEG networks for ranking functions
- A Survey of Ranking Theory
- Making the right exceptions
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
- Extracting decision rules from qualitative data using Sugeno integral: a case-study
- Symbolic possibilistic logic: completeness and inference methods
- Recovering Consistency by Forgetting Inconsistency
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- Computing generalized specificity
- Seminormalizing a default theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4296748)
