scientific article; zbMATH DE number 754675

zbMath0819.03010MaRDI QIDQ4698061

No author found.

Publication date: 14 May 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Logic programmingArtificial intelligencebelief revisionLogictemporal logicnonmonotonic reasoningtheory changeepistemic logicHandbookrelational databasesautomated deductionknowledge basesreasoning about actions and changelogic of timemultimodal logicslogic in artificial intelligencereasoning about knowledge and timealgorithmic handling of timereasoning about time and change

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Knowledge representation (68T30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items (31)

On the logic of theory change: Partial meet contraction and revision functions ⋮ An algebraic approach to belief contraction and nonmonotonic entailment ⋮ Rational choice and AGM belief revision ⋮ Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ Indeterminacy and Belief Change ⋮ Updating a progic ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Data repair of inconsistent nonmonotonic description logic programs ⋮ Shielded base contraction ⋮ Mechanizing common knowledge logic using COQ ⋮ The measurement of ranks and the laws of iterated contraction ⋮ Representing action: indeterminacy and ramifications ⋮ Preface to the special issue: Temporal logics of agency ⋮ Constructive agents ⋮ Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Simple Axioms for Local Properties ⋮ Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies ⋮ Capturing equilibrium models in modal logic ⋮ Ranking functions and rankings on languages ⋮ Theorem proving techniques for view deletion in databases ⋮ Temporal agent programs ⋮ Minimal-change integrity maintenance using tuple deletions ⋮ Measures of inconsistency and defaults ⋮ Relevance Sensitive Non-Monotonic Inference on Belief Sequences ⋮ Two approaches to belief revision ⋮ Dynamic topological S5 ⋮ Dynamic logic for belief revision ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Introduction: Progress in formal commonsense reasoning ⋮ Revision by comparison

This page was built for publication: