The following pages link to (Q4698061):
Displaying 31 items.
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Revision by comparison (Q814602) (← links)
- Rational choice and AGM belief revision (Q840824) (← links)
- Measures of inconsistency and defaults (Q991003) (← links)
- Dynamic topological S5 (Q1024554) (← links)
- Representing action: indeterminacy and ramifications (Q1389538) (← links)
- Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies (Q1414569) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Shielded base contraction (Q1647518) (← links)
- Constructive agents (Q1688949) (← links)
- Minimal-change integrity maintenance using tuple deletions (Q1776402) (← links)
- Two approaches to belief revision (Q2051124) (← links)
- An algebraic approach to belief contraction and nonmonotonic entailment (Q2372198) (← links)
- The measurement of ranks and the laws of iterated contraction (Q2389653) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Ranking functions and rankings on languages (Q2457635) (← links)
- Updating a progic (Q2634492) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Indeterminacy and Belief Change (Q2902947) (← links)
- Probabilistic Common Knowledge Among Infinite Number of Agents (Q3451209) (← links)
- Dynamic logic for belief revision (Q3647267) (← links)
- On the logic of theory change: Partial meet contraction and revision functions (Q3699670) (← links)
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences (Q4443395) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Temporal agent programs (Q5940961) (← links)
- Levi and Harper identities for non-prioritized belief base change (Q6161502) (← links)
- Simple Axioms for Local Properties (Q6199600) (← links)
