scientific article
From MaRDI portal
Publication:4023583
zbMath0801.68151MaRDI QIDQ4023583
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Knowledge representation (68T30) Classical first-order logic (03B10)
Related Items (62)
The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ Theory refinement combining analytical and empirical methods ⋮ Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory ⋮ Belief Update Within Propositional Fragments ⋮ Indeterminacy and Belief Change ⋮ Functional vs. Relational Approaches to Belief Revision ⋮ Knowledge as True Belief ⋮ Shielded base contraction ⋮ Refinements of the maximum approach to decision-making in a fuzzy environment ⋮ Generalized compactness of nonmonotonic inference operations ⋮ The defective conditional in mathematics ⋮ Knowledge-level analysis of belief base operations ⋮ A test battery for rational database updating ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Revision in networks of ontologies ⋮ A new understanding of subjective probability and its generalization to lower and upper prevision. ⋮ Deductive belief change ⋮ On the progression of belief ⋮ Dynamic reasoning with qualified syllogisms ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ JuDAS: a theory of rational belief revision ⋮ Theory Contraction and Base Contraction Unified ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Confluence Operators ⋮ Partial meet pseudo-contractions ⋮ Beliefs in conditionals vs. conditional beliefs ⋮ The Quest for Uncertainty ⋮ Iterative belief revision in extended logic programming ⋮ On a logico-algebraic approach to AGM belief contraction theory ⋮ Compatibility, desirability, and the running intersection property ⋮ Judgment aggregation in nonmonotonic logic ⋮ Epistemic entrenchment and arithmetical hierarchy ⋮ Belief revision in structured probabilistic argumentation, model and application to cyber security ⋮ Theorem proving techniques for view deletion in databases ⋮ Revising beliefs towards the truth ⋮ Scientific discovery on positive data via belief revision ⋮ Logic based merging ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ Speech acts, commitment and multi-agent communication ⋮ Multi-source multiple change on belief bases ⋮ Constructing probabilistic ATMSs using extended incidence calculus ⋮ A synthetic view of belief revision with uncertain inputs in the framework of possibility theory ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Rethinking epistemic logic with belief bases ⋮ A model of three-way decisions for knowledge harnessing ⋮ On stable social laws and qualitative equilibria ⋮ Recovery of (non)monotonic theories ⋮ Recovery recovered ⋮ Revising and updating using a back-up semantics ⋮ Residual contraction ⋮ Conflicting imperatives and dyadic deontic logic ⋮ Public announcements, public lies and recoveries ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result ⋮ Dealing with external actions in belief causal networks ⋮ Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief ⋮ A characterization of probability-based dichotomous belief revision
This page was built for publication: