Workshop on Logics for Resource-Bounded Agents 2015

Workshop participants

• Lasha Abzianidze (Tilburg University, The Netherlands))
• Natasha Alechina (University of Nottingham, UK) co-organiser
• Nils Bulling (TU Delft, The Netherlands)
• Stéphane Demri (SNRC, France)
• Val Goranko (University of Stockholm, Sweden)
• Sophia Knight (LORIA, France)
• Brian Logan (University of Nottingham, UK) co-organiser
• Dario Della Monica (Reykjavik University, Iceland)
• Hoang Nga Nguyen (University of Nottingham, UK)
• Igor Sedlár (Comenius University in Bratislava, Slovakia)
• Fernando R. Velázquez-Quesada (Universidad de Sevilla, Spain)

Abstracts of talks

• Lasha Abzianidze, A Logic of Belief with the Complexity Measure
• Nils Bulling, Verifying Resource-Bounded Agents
• Stéphane Demri, Reversal-Bounded Counter Machines
• Sophia Knight, A Strategic Epistemic Logic for Bounded Memory Agents
• Dario Della Monica, Model checking coalitional games in shortage resource scenarios
• Hoang Nga Nguyen, Discounted RB+-ATL
• Igor Sedlár, Substructural Epistemic Logics
• Fernando R. Velázquez-Quesada, Forgetting Propositional Formulas
• Valentin Goranko, Resource bounded reasoning in concurrent multi-agent systems

Timetable

• 10 August
  • 14:00-15:30 Natasha Alechina and Brian Logan, Introduction to the area of the workshop
• 11 August
  • 14:00-14:42 Nils Bulling
  • 14:48-15:30 Stéphane Demri
• 12 August
  • 14:00-14:42 Fernando Velázquez-Quesada
  • 14:48-15:30 Sophia Knight
• 13 August
  • 14:00-14:42 Lasha Abzianidze
  • 14:48-15:30 Igor Sedlár
• 14 August
  • 14:00-14:42 Dario Della Monica
  • 14:48-15:30 Valentin Goranko

Slides

• Alechina and Logan, Introduction
• Nils Bulling's slides
• Stéphane Demri's slides
• Fernando Velázquez-Quesada's slides
• Sophia Knight's slides
• Lasha Abzianidze's slides
• Igor Sedlár's slides
• Hoang Nga Nguyen's slides
• Dario Della Monica's slides
• Val Goranko's slides