Andreas Herzig
Andreas Herzig
CNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)
Bestätigte E-Mail-Adresse bei irit.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Propositional belief base update and minimal change
A Herzig, O Rifi
Artificial Intelligence 115 (1), 107-138, 1999
1671999
A logical formalization of the OCC theory of emotions
C Adam, A Herzig, D Longin
Synthese 168 (2), 201-248, 2009
1342009
'Knowable'as' known after an announcement'.
P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima
Rev. Symb. Log. 1 (3), 305-334, 2008
1292008
A modal analysis of possibility theory
LF del Cerro, A Herzig
International Workshop on Fundamentals of Artificial Intelligence Research …, 1991
1091991
A logic of trust and reputation
A Herzig, E Lorini, JF Hübner, L Vercouter
Logic Journal of the IGPL 18 (1), 214-244, 2010
1062010
Formalizing action and change in modal logic I: the frame problem
MA Castilho, O Gasquet, A Herzig
Journal of logic and computation 9 (5), 701-735, 1999
1041999
Knowing how to play: uniform choices in logics of agency
A Herzig, N Troquard
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
822006
A logic of intention and attempt
E Lorini, A Herzig
Synthese 163 (1), 45-77, 2008
792008
Combining classical and intuitionistic logic
LF Del Cerro, A Herzig
Frontiers of combining systems, 93-102, 1996
791996
Dynamic logic of propositional assignments: a well-behaved variant of PDL
P Balbiani, A Herzig, N Troquard
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 143-152, 2013
752013
What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability
P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima
Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007
752007
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37 (4), 387-406, 2008
732008
Action representation and partially observable planning using epistemic logic
A Herzig, J Lang, P Marquis
IJCAI, 1067-1072, 2003
702003
Properties of logics of individual and group agency.
A Herzig, F Schwarzentruber
Advances in modal logic 7, 133-149, 2008
682008
A dynamic logic of normative systems
A Herzig, E Lorini, F Moisan, N Troquard
IJCAI 2011, 228-233, 2011
672011
Modal tableaux with propagation rules and structural rules
MA Castilho, LF del Cerro, O Gasquet, A Herzig
Fundamenta Informaticae 32 (3, 4), 281-297, 1997
671997
Lotrec: the generic tableau prover for modal and description logics
LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci
International Joint Conference on Automated Reasoning, 453-458, 2001
652001
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
J Broersen, A Herzig, N Troquard
Journal of logic and computation 16 (5), 559-578, 2006
642006
The PMA revisited
A Herzig
KR, 40-50, 1996
631996
Conditionals: From philosophy to computer science
G Crocco, LF Del Cerro, A Herzig
631995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20