Open AccessAdding Causal Relationships to DL-based Action Formalisms
Author(s) -
Franz Baader,
Marcel Lippmann,
Hongkai Liu
Publication year - 2010
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.174
Subject(s) - rotation formalisms in three dimensions , decidability , action (physics) , consistency (knowledge bases) , situation calculus , computer science , projection (relational algebra) , causal reasoning , theoretical computer science , mathematics , artificial intelligence , algebra over a field , algorithm , psychology , pure mathematics , cognition , geometry , quantum mechanics , neuroscience , physics