A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
A Logic for Approximate First-Order Reasoning
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Tractable reasoning in first-order knowledge bases with disjunctive information
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |