Switch to: References

Citations of:

Modelling communicating agents in timed reasoning logics

In U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4. Springer (2006)

Add citations

You must login to add citations.
  1. Rule-Based and Resource-Bounded: A New Look at Epistemic Logic.Mark Jago - unknown
    Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Epistemic Logic for Rule-Based Agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.
    The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations