Back to Results
First PageMeta Content
IP / Symbol / Mathematical logic / Distribution / Model theory / Constructible universe / Modal logic / Craig interpolation / Linear temporal logic


Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch
Add to Reading List

Document Date: 2015-02-22 18:34:09


Open Document

File Size: 278,27 KB

Share Result on Facebook