Rethinking epistemic logic with belief bases (Q2307332): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.artint.2020.103233 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W3004999595 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1812.07079 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Dynamics of Syntactic Knowledge / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic for reasoning about knowledge of unawareness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Autonomous agents modelling other agents: a comprehensive survey and open problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Learning conjunctions of Horn clauses / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple logic for reasoning about incomplete knowledge / rank
 
Normal rank
Property / cites work
 
Property / cites work: A practical approach to revising prioritized knowledge bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Impossible worlds and the logic of imagination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epistemic planning for single- and multi-agent systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Announcements to attentive agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inexact knowledge with introspection / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3093655 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about rational, but not logically omniscient, agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic of believing, knowing, and inferring / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belief, awareness, and limited reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forgetting complex propositions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about information change / rank
 
Normal rank
Property / cites work
 
Property / cites work: A guide to completeness and complexity for modal logics of knowledge and belief / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about knowledge of unawareness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory contraction and base contraction unified / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kernel contraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: A textbook of belief dynamics. Theory change and database updating / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local change / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interactive unawareness / rank
 
Normal rank
Property / cites work
 
Property / cites work: The price of universality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epistemic logic for rule-based agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Merging Information Under Constraints: A Logical Framework / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992823 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ARROW UPDATE LOGIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Input/output logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4858037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Awareness and partitional information structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inductive Logic Programming: Theory and methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023583 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4944922 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4794526 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical theories of intention and the database perspective / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic logic for belief revision / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tracking Information / rank
 
Normal rank
Property / cites work
 
Property / cites work: The dynamics of awareness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of communication and change / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5419874 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics for knowledge and change of awareness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4648829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introspective forgetting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explicit and Implicit Knowledge in Neighbourhood Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: A general possible worlds framework for reasoning about knowledge and belief / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resource bounded belief revision / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.ARTINT.2020.103233 / rank
 
Normal rank

Latest revision as of 22:17, 17 December 2024

scientific article
Language Label Description Also known as
English
Rethinking epistemic logic with belief bases
scientific article

    Statements

    Rethinking epistemic logic with belief bases (English)
    0 references
    0 references
    27 March 2020
    0 references
    epistemic logic
    0 references
    theory of mind
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers