Tiago de Lima

41 papers A* 6A 5B 5C 2Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2025 C conf
A Causal Model Checker for Legal Cases.
ICAIL
Ruta Liepina, Tiago de Lima, Emiliano Lorini, Giuseppe Pisano, Giovanni Sartor
2025 A* conf
A Computationally Grounded Framework for Cognitive Attitudes.
AAAI
Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber
2024 J jnl
A Computationally Grounded Framework for Cognitive Attitudes (extended version).
CoRR
Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber
2024 A* conf
Model Checking Causality.
IJCAI
Tiago de Lima, Emiliano Lorini
2023 B conf
Base-Based Model Checking for Multi-agent only Believing.
JELIA
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
2023 J jnl
Base-based Model Checking for Multi-Agent Only Believing (long version).
CoRR
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
2021 B conf
Checking Agent Intentions in Games.
ICTAI
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
2020 — conf
First Steps for Determining Agent Intention in Dynamic Epistemic Logic.
ICAART (2)
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
2019 — book
A Little about Action, Knowledge, Belief and a Lot about Modal Logic. (Un peu d'action, connaissance, croyance et beaucoup de logique modale).
Tiago de Lima
2019 — conf
Intention et logique épistémique dynamique.
RJCIA
Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima
2018 A* conf
A SAT-Based Approach For PSPACE Modal Logics.
KR
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2018 A conf
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem.
IJCAR
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2017 A* conf
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.
IJCAI
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2017 A* conf
A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.
AAAI
Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2016 — conf
On Checking Kripke Models for Modal Logic K.
PAAR@IJCAR
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2016 A conf
On Distances Between KD45n Kripke Models and Their Use for Belief Revision.
ECAI
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2015 C conf
Private Expansion and Revision in Multi-agent Settings.
ECSQARU
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2015 A conf
Private Revision in a Multi-Agent Setting.
AAMAS
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2014 J jnl
Alternating-time temporal dynamic epistemic logic.
J. Log. Comput.
Tiago de Lima
2014 J jnl
Tableaux for Dynamic Logic of Propositional Assignments.
CoRR
Tiago de Lima, Andreas Herzig
2012 — conf
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
DEON
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
2012 J jnl
Public announcements, public assignments and the complexity of their logic.
J. Appl. Non Class. Logics
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2012 B conf
Some Truths Are Best Left Unsaid.
Advances in Modal Logic
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2011 — conf
Alternating-Time Temporal Announcement Logic.
CLIMA
Tiago de Lima
2011 J jnl
From Situation Calculus to Dynamic Epistemic Logic.
J. Log. Comput.
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2010 A conf
A Logical Model of Intention and Plan Dynamics.
ECAI
Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima
2010 J jnl
A logic for reasoning about responsibility.
Log. J. IGPL
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
2010 — conf
Intention Change via Local Assignments.
LADS
Hans van Ditmarsch, Tiago de Lima, Emiliano Lorini
2010 A conf
Modeling the problem of many hands in organisations.
ECAI
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
2010 J jnl
Tableaux for Public Announcement Logic.
J. Log. Comput.
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2009 — conf
Behaving responsible in multi-agent worlds.
AAMAS (2)
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
2009 J jnl
On the dynamics of institutional agreements.
Synth.
Andreas Herzig, Tiago de Lima, Emiliano Lorini
2009 — conf
Tableaux for Acceptance Logic.
DALT
Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
2008 J jnl
'Knowable' as 'known after an announcement'.
Rev. Symb. Log.
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2008 — conf
On the Dynamics of Institutional Agreements.
KRAMAS
Andreas Herzig, Tiago de Lima, Emiliano Lorini
2008 — conf
Towards a Formalization of Responsibility.
NORMAS
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
2007 B conf
A Tableau Method for Public Announcement Logics.
TABLEAUX
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007 A* conf
Optimal Regression for Reasoning about Knowledge and Actions.
AAAI
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007 — conf
Optimal Regression for Reasoning about Knowledge and Actions.
Formal Models of Belief Change in Rational Agents
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007 B conf
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.
TARK
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2006 — conf
Epistemic Actions and Ontic Actions: A Unified Logical Framework.
IBERAMIA-SBIA
Andreas Herzig, Tiago de Lima