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

From MaRDI portal
← Older edit
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.artint.2020.103233 / 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

    title
    Rethinking epistemic logic with belief bases (English)
    0 references
    author
    Emiliano Lorini
    0 references
    publication date
    27 March 2020
    0 references
    zbMATH Keywords
    epistemic logic
    0 references
    theory of mind
    0 references
    cites work
    Q2744124
    0 references
    Q3093655
    0 references
    Q4845472
    0 references
    Kernel contraction
    0 references
    Local change
    0 references
    Q3992823
    0 references
    ARROW UPDATE LOGIC
    0 references
    Input/output logics
    0 references
    Q4858037
    0 references
    Q4023583
    0 references
    Q4944922
    0 references
    Q4794526
    0 references
    Tracking Information
    0 references
    Q5419874
    0 references
    Q4648829
    0 references

    Identifiers

    zbMATH DE Number
    7183524
    0 references
    OpenAlex ID
    W3004999595
    0 references
    arXiv ID
    1812.07079
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2307332&oldid=38999904"
    Powered by MediaWiki