Open AccessA modal logic for observation-based knowledge representation
Author(s) -
Olivier Brunet
Publication year - 2002
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - rotation formalisms in three dimensions , modal logic , multimodal logic , representation (politics) , computer science , knowledge representation and reasoning , modal , accessibility relation , normal modal logic , description logic , dynamic logic (digital electronics) , logical consequence , characterization (materials science) , theoretical computer science , algebra over a field , artificial intelligence , mathematics , pure mathematics , engineering , law , chemistry , political science , politics , polymer chemistry , materials science , transistor , voltage , geometry , electrical engineering , nanotechnology