Información General

• Autores: Guillaume Aucher (ed. lit.), Jérôme Lang (ed. lit.), Tíago de Lima (ed. lit.), Emiliano Lorini (ed. lit.)
• Editores: College Publications
• Año de publicación: 2025
• Colecciones: Tributes, 55
• País: Reino Unido
• Idioma: inglés
• ISBN: 978-1-84890-499-6
• Texto completo no disponible (Saber más ...)

Resumen

• The original contributions contained in this book are to celebrate the 65th birthday of Andreas Herzig, a well-known logician and computer scientist working at the IRIT laboratory in Toulouse. They have been written by friends, colleagues and students of Andreas. He is a brilliant researcher and one of the main founding members of the Toulouse school of non-classical logics. That said, Andreas is also well-known in the logic and AI community for his generosity, kindness, friendliness and many other human qualities.

  Happy Birthday Andreas!

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Belief change and update

    • PDL restrictions, belief revisión and abduction in DEL

      Thomas Bolander

      págs. 17-34

      

    • Supposing versus learning: Belief expression versus belief change

      Giacomo Bonanno

      págs. 35-46

      

    • Evidence-based belief revisión for non-omniscient agents

      Kristina Gogoladze, Natasha Alechina

      págs. 47-62

      

    • Andreas Herzig’s update operator and propositional fragments

      Odile Papini

      págs. 63-77

      

    • Ranking measure

      Emil Weydert

      págs. 77-94

      

  • Knowledge, action, and epistemic planning

    • Common belief revisited

      Thomas Ågotnes

      págs. 95-112

      

    • Common knowledge always, forever

      Martín Diéguez, David Fernández Duque

      págs. 113-128

      

    • Muddy waters

      Hans van Ditmarsch

      págs. 129-144

      

    • Possibility theory and the muddy children puzzle

      Didier Dubois, Henri Prade

      págs. 145-166

      

    • How ignorant can one be?

      Valentín Goranko

      págs. 167-180

      

    • An epistemic approach to Hollis’ paradox

      Chiaki Sakama

      págs. 215-232

      

    • A note on a defeasible Andi-style multi-modal logic of actions

      Ivan Varzinczak

      págs. 233-250

      

  • Norms, institutions, and deontic reasoning

    • On logics of S5 common knowledge

      Elise Perrotin

      págs. 181-196

      

    • Towards implicit coordination planning with knowledge and belief

      Jonathan Pieper, Thorsten Engesser, Bernhard Nebel

      págs. 196-214

      

    • Formal representations of trust

      Robert Demolombe

      págs. 333-344

      

    • The logic of trust from an input/output perspectiva

      Xu Li, Leendert van der Torre, Liuwen Yu

      págs. 345-362

      

  • Agency, intention, and BDI architectures

    • Hybrid reasoning for addressing challenges of theory of mind in cognitive robotic

      Esra Erdem, Volkan Patoglu

      págs. 251-264

      

    • A note on strategically knowing how in group

      Bin Liu, Yanjing Wang

      págs. 265-280

      

    • A simple logic of cohesive group agency

      Nicolás Troquard

      págs. 281-298

      

    • Revisiting intention refinement and instrumentality with propositional assignments

      Zhanhao Xiao

      págs. 299-314

      

    • Towards a formal model of the dual structure of practical reasoning

      Antonio Yuste Ginel

      • Resumen
      • Texto completo

      págs. 315-332

      

  • Automated reasoning and other topics

    • Complexity of some modal logics of density

      Philippe Balbiani, Olivier Gasquet

      págs. 363-378

      

    • A note on homogeneity for relative inconsistency measures

      Philippe Besnard

      págs. 379-386

      

    • Tableaux for a combination of first-order classical and intuitionistic logic

      Luis Fariñas del Cerro, Agustín Valverde Ramos

      págs. 387-402

      

    • Epistemic, answer sets and a splash of topology

      David Pearce, Levan Uridia

      págs. 403-418

      

    • Andreas, cycling and IRIT commutes

      Millian Poquet, Laure Vieu

      págs. 419-432

      

    • FO dynamic logic to capture entity-component-system

      François Schwarzentruber

      págs. 433-446

      

    • General game playing for managing autonomous vehicle traffic

      Michael Thielscher, Dongmo Zhang

      págs. 447-472