scientific article; zbMATH DE number 754675
algorithmic handling of timeArtificial intelligenceautomated deductionbelief revisionepistemic logicHandbookknowledge basesLogiclogic in artificial intelligencelogic of timeLogic programmingmultimodal logicsnonmonotonic reasoningreasoning about actions and changereasoning about knowledge and timereasoning about time and changerelational databasestemporal logictheory change
Collections of articles of miscellaneous specific interest (00B15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
- Dynamic topological S5
- Representing action: indeterminacy and ramifications
- Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies
- Many-dimensional modal logics: theory and applications
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Shielded base contraction
- Constructive agents
- Minimal-change integrity maintenance using tuple deletions
- Two approaches to belief revision
- An algebraic approach to belief contraction and nonmonotonic entailment
- The measurement of ranks and the laws of iterated contraction
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
- Capturing equilibrium models in modal logic
- Ranking functions and rankings on languages
- Updating a progic
- Mechanizing common knowledge logic using COQ
- Indeterminacy and belief change
- Data repair of inconsistent nonmonotonic description logic programs
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Dynamic logic for belief revision
- On the logic of theory change: Partial meet contraction and revision functions
- scientific article; zbMATH DE number 43591 (Why is no real title available?)
- scientific article; zbMATH DE number 51274 (Why is no real title available?)
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences
- Системы временной логики I: моменты, истории, деревья
- Theorem proving techniques for view deletion in databases
- Temporal agent programs
- Preface to the special issue: Temporal logics of agency
- Levi and Harper identities for non-prioritized belief base change
- Simple Axioms for Local Properties
- On the logical and algebraic aspects of reasoning with formal contexts
- Introduction: Progress in formal commonsense reasoning
- Revision by comparison
- Rational choice and AGM belief revision
- Measures of inconsistency and defaults
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 Q4698061)
