Andreas Herzig

IRIT , CNRS , Toulouse , France

18 papers in the IJCAI proceedings

IJCAI 2022

A Computationally Grounded Logic of 'Seeing-to-it-that'

with Emiliano Lorini, Elise Perrotin

doi:10.24963/ijcai.2022/367

Details PDF

IJCAI 2021

Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks

with Antonio Yuste Ginel

doi:10.24963/ijcai.2021/265

Details PDF

IJCAI 2020

TouIST: a Friendly Language for Propositional Logic and More

with Jorge Fernandez, Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier

doi:10.24963/ijcai.2020/756

Details PDF

IJCAI 2019

Dynamic logic of parallel propositional assignments and its applications to planning

with Frédéric Maris, Julien Vianey

doi:10.24963/ijcai.2019/774

Details PDF

Stratified Evidence Logics

with Philippe Balbiani, David Fernández-Duque, Emiliano Lorini

doi:10.24963/ijcai.2019/211

Details PDF

IJCAI 2017

Dynamic Logic for Data-aware Systems: Decidability Results

with Francesco Belardinelli

doi:10.24963/ijcai.2017/114

Details PDF

Hierarchical Task Network Planning with Task Insertion and State Constraints

with Zhanhao Xiao, Laurent Perrussel, Hai Wan, Xiaoheng Su

doi:10.24963/ijcai.2017/623

Details PDF

Non-Determinism and the Dynamics of Knowledge

with Davide Grossi, Wiebe van der Hoek, Christos Moyzes

doi:10.24963/ijcai.2017/146

Details PDF

Strategically knowing how

with Raul Fervari, Yanjun Li, Yanjing Wang

doi:10.24963/ijcai.2017/143

Details PDF

IJCAI 2016

Epistemic Boolean Games Based on a Logic of Visibility and Control

with Emiliano Lorini, Faustine Maffre, François Schwarzentruber

Details PDF

On Logics of Strategic Ability Based on Propositional Control

with Francesco Belardinelli

Details PDF

IJCAI 2015

Epistemic Equilibrium Logic

with Luis Fariñas del Cerro, Ezgi Iraz Su

Details PDF

IJCAI 2011

A Dynamic Logic of Normative Systems

with Emiliano Lorini, Frédéric Moisan, Nicolas Troquard

doi:10.5591/978-1-57735-516-8/IJCAI11-049

Details PDF

IJCAI 2005

Cohesion, coupling and the meta-theory of actions

with Ivan José Varzinczak

Details PDF

IJCAI 2003

Action representation and partially observable planning using epistemic logic

with Jérôme Lang, Pierre Marquis

Details PDF

IJCAI 2001

Updates, actions, and planning

with Jérôme Lang, Pierre Marquis, Thomas Polacsek

Details PDF

IJCAI 1997

Qualitative Relevance and Independence: A Roadmap

with Didier Dubois, Luis Fariñas del Cerro, Henri Prade

Details PDF

IJCAI 1991

Parameter Structures for Parametrized Modal Operators

with Hans Jürgen Ohlbach

Details PDF