605 search results - page 2 / 121 » Dealing with logical omniscience |
TARK
2005
Springer
13 years 10 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
JELIA
1990
Springer
13 years 9 months ago
1990
Springer
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many att...
FPGA
2004
ACM
13 years 10 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
WOLLIC
2009
Springer
13 years 12 months ago
2009
Springer
TARK
1990
Springer
13 years 9 months ago
1990
Springer
