Παρακολούθηση
Andreas Herzig
Andreas Herzig
CNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irit.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Propositional belief base update and minimal change
A Herzig, O Rifi
Artificial Intelligence 115 (1), 107-138, 1999
1921999
A logical formalization of the OCC theory of emotions
C Adam, A Herzig, D Longin
Synthese 168, 201-248, 2009
1782009
Knowable’as ‘known after an announcement
P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima
The Review of Symbolic Logic 1 (3), 305-334, 2008
1742008
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
1562010
A modal analysis of possibility theory
L Fariñas del Cerro, A Herzig
International Workshop on Fundamentals of Artificial Intelligence Research …, 1991
117*1991
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
1141999
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37, 387-406, 2008
1062008
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
1062006
Combining Classical and Intuitionistic Logic: Or: Intuitionistic Implication as a Conditional
LF Del Cerro, A Herzig
Frontiers of combining systems: First international workshop, Munich, March …, 1996
961996
A logic of intention and attempt
E Lorini, A Herzig
Synthese 163 (1), 45-77, 2008
952008
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
932013
Properties of logics of individual and group agency.
A Herzig, F Schwarzentruber
Advances in modal logic 7, 133-149, 2008
882008
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
812007
Action representation and partially observable planning using epistemic logic
A Herzig, J Lang, P Marquis
18th International Joint Conference on Artificial Intelligence (IJCAI 2003 …, 2003
772003
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
762006
A dynamic logic framework for abstract argumentation
S Doutre, A Herzig, L Perrussel
Fourteenth international conference on the principles of knowledge …, 2014
752014
A dynamic logic of normative systems
A Herzig, E Lorini, F Moisan, N Troquard
Proceedings of the Twenty-Second International Joint Conference on …, 2011
752011
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
751997
An ordinal view of independence with application to plausible reasoning
D Dubois, LF del Cerro, A Herzig, H Prade
Uncertainty in Artificial Intelligence, 195-203, 1994
741994
C&L Intention Revisited.
A Herzig, D Longin
KR 4, 527-535, 2004
722004
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20