Open Access'Knowing Whether' in Proper Epistemic Knowledge Bases
Author(s) -
Tim Miller,
Paolo Felli,
Christian Muise,
Adrian R. Pearce,
Liz Sonenberg
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.10110
Subject(s) - epistemic modal logic , logical consequence , modal operator , class (philosophy) , modal , operator (biology) , computer science , belief revision , modal logic , fragment (logic) , conjunction (astronomy) , set (abstract data type) , knowledge base , mathematics , discrete mathematics , theoretical computer science , algorithm , artificial intelligence , description logic , multimodal logic , programming language , biochemistry , physics , repressor , astronomy , transcription factor , polymer chemistry , gene , chemistry