| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luis Fariñas del Cerro, Andreas Herzig |
La logique modale des modèles d'équilibre.  |
Revue d'Intelligence Artificielle  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek |
Foreword. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
From Situation Calculus to Dynamic Epistemic Logic. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini |
Editorial Introduction: Logical Methods for Social Concepts. |
J. Philosophical Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Nicolas Troquard |
A Dynamic Logic of Institutional Actions. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard |
A Dynamic Logic of Normative Systems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc |
How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments. |
MABS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Andreas Herzig |
Logics of Contingency. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Andreas Herzig |
The Modal Logic of Equilibrium Models. |
FroCos |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Andreas Herzig |
Contingency-Based Equilibrium Logic. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini |
Agents that speak: modelling communicative plans and information sources in a logic of announcements. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Foreword. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Laurent Vercouter |
A logic of trust and reputation. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Tableaux for Public Announcement Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini |
Computer-mediated trust in self-interested expert recommendations. |
AI Soc. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini |
A Dynamic Logic of Agency I: STIT, Capabilities and Powers. |
Journal of Logic, Language and Information |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Rachid Echahed, Andreas Herzig |
A Modal Logic for Termgraph Rewriting |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi |
Preface - Special issue on commonsense reasoning for the semantic web. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Rachid Echahed, Andreas Herzig |
A Dynamic Logic for Termgraph Rewriting. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini |
Trust in complex actions. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Martin Caminada, Andreas Herzig |
A Logical Account of Lying. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
What groups do, can do, and know they can do: an analysis in normal modal logics. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Global and Local Graph Modifiers. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig |
The Logic of Acceptance: Grounding Institutions on Agents' Attitudes. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis |
Introspective forgetting. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Adam, Andreas Herzig, Dominique Longin |
A logical formalization of the OCC theory of emotions. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Tiago De Lima, Emiliano Lorini |
On the dynamics of institutional agreements. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini |
Dynamic Context Logic. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer |
Intentions and Assignments. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, François Schwarzentruber, Andreas Herzig |
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis |
Unifying the Intentional and Institutional Semantics of Speech Acts. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini |
Tableaux for Acceptance Logic. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Krupa, Laurent Vercouter, Jomi Fred Hübner, Andreas Herzig |
Trust Based Evaluation of Wikipedia's Contributors. |
ESAW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | László Aszalós, Andreas Herzig |
A Protocol for Execution of Distributed Logic Programs. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoit Gaudou, Andreas Herzig, Dominique Longin |
Logical formalization of social commitments: application to agent communication languages. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
modal logic, commitments, agent communication languages, grounding, speech act theory, BDI logic |
| 1 | Andreas Herzig |
Book Reviews. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Alternative Axiomatics and Complexity of Deliberative STIT Theories. |
J. Philosophical Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Andreas Herzig |
A logic of intention and attempt. |
Synthese |
2008 |
DBLP DOI BibTeX RDF |
Logic, Action, Intention |
| 1 | Andreas Herzig, François Schwarzentruber |
Properties of logics of individual and group agency. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Andreas Herzig, Guilin Qi |
Prime Implicate-based Belief Revision Operators. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis |
Introspective Forgetting. |
Australasian Conference on Artificial Intelligence |
2008 |
DBLP DOI BibTeX RDF |
action logic, abstraction, modal logic, belief change, forgetting |
| 1 | Andreas Herzig, Tiago De Lima, Emiliano Lorini |
On the Dynamics of Institutional Agreements. |
KRAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Jérôme Mengin |
Uniform Interpolation by Resolution in Modal Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Jonathan Ben-Naim, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Vercouter |
Prolegomena for a Logic of Trust and Reputation. |
NORMAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig |
Foreword. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Alternative axiomatics and complexity of deliberative STIT theories |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
Metatheory of actions: Beyond consistency. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Adam, Andreas Herzig, Dominique Longin |
PLEIAD, un agent émotionnel pour évaluer la typologie OCC. |
Revue d'Intelligence Artificielle |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher, Andreas Herzig |
From DEL to EDL : Exploring the Power of Converse Events. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Optimal Regression for Reasoning about Knowledge and Actions. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
A Tableau Method for Public Announcement Logics. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi |
Delegation and mental states. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
modal logic, delegation, intention, BDI, logics for agent systems |
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
A normal simulation of coalition logic and an epistemic extension. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Optimal Regression for Reasoning about Knowledge and Actions. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Benoit Gaudou, Andreas Herzig, Dominique Longin |
A Logical Framework for Grounding-based Dialogue Analysis. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
From Coalition Logic to STIT. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
Metatheory of actions: beyond consistency |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Olivier Gasquet, Andreas Herzig, Mohamad Sahade |
Terminating modal tableaux with simple completeness proof. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles |
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak |
Elaborating Domain Descriptions. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Tiago De Lima |
Epistemic Actions and Ontic Actions: A Unified Logical Framework. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
A STIT-Extension of ATL. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi |
Introducing Attempt in a Modal Logic of Intentional Action. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
A Modularity Approach for a Fragment of ALC. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
Knowledge representation, modularity, description logics |
| 1 | Carole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin |
Modélisation logique d'agents rationnels pour l'intelligence ambiante. |
JFSMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benoit Gaudou, Andreas Herzig, Dominique Longin |
Grounding and the Expression of Belief. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Nicolas Troquard |
Knowing how to play: uniform choices in logics of agency. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
modal logic, logics for agent systems, formal models of agency |
| 1 | Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin |
OCC's Emotions: A Formalization in a BDI Logic. |
AIMSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
Cohesion, coupling and the meta-theory of actions. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig |
On updates with integrity constraints. |
Belief Change in Rational Agents |
2005 |
DBLP BibTeX RDF |
|
| 1 | Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade |
LoTREC: Logical Tableaux Research Engineering Companion. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade |
Modal Tableaux: Completeness vs. Termination. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig |
Paraconsistent Reasoning for the Semantic Web. |
ISWC-URSW |
2005 |
DBLP BibTeX RDF |
|
| 1 | Robert Demolombe, Andreas Herzig |
Obligation Change in Dependence Logic and Situation Calculus. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
On the Modularity of Theories. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre |
Inferring Trust. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
Domain Descriptions Should Be Modular. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Dominique Longin |
C&L Intention Revisited. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
Domain descriptions should be modular. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Robert Demolombe, Andreas Herzig, Ivan José Varzinczak |
Regression in Modal Logic. |
Journal of Applied Non-Classical Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig |
Foreword. |
Journal of Applied Non-Classical Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig |
Modal Probability, Belief, and Actions. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Jérôme Lang, Pierre Marquis |
Action representation and partially observable planning using epistemic logic. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Dominique Longin |
On Modal Probability and Belief. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Sébastien Konieczny, Laurent Perrussel |
On Iterated Revision in the AGM Framework. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Dominique Longin |
Sensing and revision in a modal logic of belief and action. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Dominique Longin |
A logic of intention with cooperation principles and with assertive speech acts as communication primitives. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
belief and action, logic of intention, cooperation, modal logic, cognitive robotics, speech act theory |
| 1 | László Aszalós, Andreas Herzig |
A logic for semi-public communication in multi-agent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
modal logic of knowledge, simulation, questions and answers |
| 1 | Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak |
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci |
Lotrec : The Generic Tableau Prover for Modal and Description Logics. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek |
Updates, actions, and planning. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | László Aszalós, Andreas Herzig |
Reasoning about Failure. |
ESAW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek |
A Logic for Planning under Partial Observability. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marcos A. Castilho, Olivier Gasquet, Andreas Herzig |
Formalizing Action and Change in Modal Logic I: the frame problem. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Omar Rifi |
Propositional Belief Base Update and Minimal Change. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Böhner, Georges Hauenstein, Andreas Herzig |
Euro-Umstellung bei der GfA. |
HMD - Praxis Wirtschaftsinform. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Omar Rifi |
Update Operations: A Review. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig |
Modal tableaux based on graph-rules. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")