Browsing Programs, Centers, and Institutes by Author "Ioerger, Thomas"

Now showing items 1-2 of 2

    • Algorithm for Modal-Clause Resolution to Support Epistemic Reasoning in Multi-Agent Systems 
      Mrosko, Bryson Kyle
      The ability to reason about other agents' beliefs has many applications in multi-agent systems, including facilitating coordinated behavior, teamwork, and information exchange. Modal logics are commonly used to formally ...
    • Distributed Agent Search Efficiency 
      Murray, Christopher C (2014-09-19)
      Multi-agent systems where there exists a group of agents all working towards the same goal are gaining increased focus. One subset of these systems is groups of agents who have intermittent communication with one another. ...