Andreas Herzig
Publications
Publications
|
|
SNN-Based Online Learning of Concepts and Action Laws in an Open WorldThe European Journal on Artificial Intelligence, 2026, ⟨10.1177/30504554251394337⟩ |
|
|
Qualitative uncertainty and dynamics of argumentation through dynamic logicJournal of Logic and Computation, 2023, 33 (2), pp.Pages 370-405. ⟨10.1093/logcom/exac098⟩ |
|
|
Preface (Special issue FolKS 2020)Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩ |
|
|
A Lightweight Epistemic Logic and its Application to PlanningArtificial Intelligence (AIJ), 2021, Special issue: Epistemic Planning, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩ |
|
|
True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic SituationsFilosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117 |
|
|
Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩ |
|
|
Frame-validity games and lower bounds on the complexity of modal axiomsLogic Journal of the IGPL, 2020, 30 (1), pp.Pages 155-185. ⟨10.1093/jigpal/jzaa068⟩ |
|
|
Autoepistemic equilibrium logic and epistemic specificationsArtificial Intelligence (AIJ), 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩ |
|
|
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning ApproachElectronic Proceedings in Theoretical Computer Science, 2020, Proceedings 36th International Conference on Logic Programming (Technical Communications), 325, pp.52-58. ⟨10.4204/EPTCS.325.11⟩ |
|
|
A Dynamic Logic Account of Active Integrity ConstraintsFundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩ |
|
|
The epistemic gossip problemDiscrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩ |
|
|
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2018, 27 (3-4), pp.153-160. ⟨10.1080/11663081.2018.1439360⟩ |
|
|
Judgment aggregation in dynamic logic of propositional assignmentsJournal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩ |
|
|
Dynamic epistemic logics: promises, problems, shortcomings, and perspectivesJournal of Applied Non-Classical Logics, 2018, 27 (3-4), pp.328-341. ⟨10.1080/11663081.2017.1416036⟩ |
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2017 |
|
|
|
BDI logics for BDI architectures: old problems, new perspectivesKI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩ |
Planifier grâce au bavardageInterstices, 2017 |
|
|
|
Relaxing Exclusive Control in Boolean GamesElectronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩ |
|
|
How to share knowledge by gossipingAI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩ |
|
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩ |
|
|
Logics of knowledge and action: critical analysis and challengesAutonomous Agents and Multi-Agent Systems, 2015, 29 (5), pp.719-753. ⟨10.1007/s10458-014-9267-z⟩ |
|
|
A formal account of dishonestyLogic Journal of the IGPL, 2014, 23 (2), pp.259-294. ⟨10.1093/jigpal/jzu043⟩ |
|
|
Capturing equilibrium models in modal logicJournal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩ |
|
|
Grounding power on actions and mental attitudesLogic Journal of the IGPL, 2013, Special issue of best papers of FAMAS 2007, 21 (3), pp.311-331. ⟨10.1093/jigpal/jzr039⟩ |
|
|
Propositional update operators based on formula/literal dependenceACM Transactions on Computational Logic, 2013, 14 (3), pp.1-31. ⟨10.1145/2499937.2499945⟩ |
|
|
Introduction to the special issueInternational Journal of Game Theory, 2013, 42 (3), ⟨10.1007/s00182-013-0387-5⟩ |
Public announcements, public assignments and the complexity of their logicJournal of Applied Non-Classical Logics, 2012, 22 (3), pp.249-273. ⟨10.1080/11663081.2012.705964⟩ |
|
La logique modale des modèles d’équilibreRevue d'Intelligence Artificielle, 2012, 26 (1-2), pp.1-15. ⟨10.3166/ria.26.85-102⟩ |
|
|
|
ForewordJournal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.263-264. ⟨10.1080/11663081.2011.9736665⟩ |
From situation calculus to dynamic epistemic logicJournal of Logic and Computation, 2011, 21 (2), pp.179-204. ⟨10.1093/logcom/exq024⟩ |
|
|
|
Editorial Introduction: Logical Methods for Social ConceptsJournal of Philosophical Logic, 2011, Special Issue on Logical Methods for Social Concepts (August 2011), 40 (4), pp.441-443. ⟨10.1007/s10992-011-9186-2⟩ |
A dynamic logic of agency I: STIT, abilities and powersJournal of Logic, Language and Information, 2010, 19 (Article number: 89), pp.89-121. ⟨10.1007/s10849-009-9105-x⟩ |
|
Tableaux for public announcement logicsJournal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩ |
|
A logic of trust and reputationLogic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩ |
|
Introspective ForgettingSynthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩ |
|
|
|
The logic of acceptance: grounding institutions on agents' attitudesJournal of Logic and Computation, 2009, 19 (6), pp.901-940 |
|
|
On the dynamics of institutional agreements (2009)Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩ |
|
|
Global and local graph modifiersElectronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩ |
|
|
A logical formalization of the OCC theory of emotionsSynthese, 2009, 168 (2), pp.201--248 |
What groups do, can do, and know they can do: an analysis in normal modal logicsJournal of Applied Non-Classical Logics, 2009, 19 (3), pp.261-289 |
|
|
|
Computer-Mediated Trust in Self-Interested Expert RecommendationsAI & Society: Knowledge, Culture and Communication, 2009, 25 (4), pp.413-422. ⟨10.1007/s00146-010-0268-4⟩ |
|
|
Review of "Dynamic Epistemic Logic" : by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, “Dynamic Epistemic Logic”, Springer Verlag, Synthese Library 337, 2007Studia Logica, 2008, 89, pp.439--443 |
Arbitrary announcement logic (abstract)Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438--439. ⟨10.2178/bsl/1231081377⟩ |
|
|
|
A logic of intention and attemptSynthese, 2008, 163 (1), pp.45-77 |
|
|
Knowable' as 'known after an announcementThe review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩ |
|
|
Alternative axiomatics and complexity of deliberative STIT theoriesJournal of Philosophical Logic, 2008, 37 (4), pp.387-406. ⟨10.1007/s10992-007-9078-7⟩ |
|
|
PLEIAD, un agent émotionnel pour évaluer la typologie OCCRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2007, 21 (5-6), pp.781-811 |
|
|
Metatheory of actions: beyond consistencyArtificial Intelligence (AIJ), 2007, 171 (16/17), pp.951-984. ⟨10.1016/j.artint.2007.04.013⟩ |
|
|
A Logical Framework for Grounding-based Dialogue AnalysisElectronic Notes in Theoretical Computer Science, 2006, 157 (4), pp.117-137. ⟨10.1016/j.entcs.2006.02.016⟩ |
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of AgencyJournal of Logic and Computation, 2006, 16 (5), pp.559-578. ⟨10.1093/logcom/exl025⟩ |
|
Regression in Modal LogicJournal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185 |
|
|
|
Formalisation pluridisciplinaire de l'inférence d'actes de langage non littérauxRevue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225 |
|
|
Belief Dynamics in Cooperative DialoguesJournal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩ |
|
|
On the Logic of Theory Base Change: Reformulation of Belief BasesAAAI-25, Feb 2025, Philadelphia, United States. pp.14922-14929, ⟨10.1609/AAAI.V39I14.33636⟩ |
|
|
Minimal Change in Modal Logic S5AAAI-2025, Feb 2025, Philadelphia (PA), United States. pp.14781-14789, ⟨10.1609/AAAI.V39I14.33620⟩ |
|
|
Towards Epistemic-Doxastic Planning with Observation and RevisionAAAI 2024, Feb 2024, Vancouver (BC), France. pp.10501-10508, ⟨10.1609/AAAI.V38I9.28919⟩ |
|
|
A Novel View of Analogical Proportion Between FormulasECAI 2024, Oct 2024, Santiago de Compostela, SPAIN, Spain. ⟨10.3233/FAIA240624⟩ |
|
|
Counterfactual Reasoning via Grounded Distance20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩ |
|
|
Database Repair via Event-Condition-Action Rules in Dynamic Logic12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩ |
|
|
A Computationally Grounded Logic of ‘Seeing-to-it-that’31st International Joint Conference on Artificial Intelligence (IJCAI 2022), International Joint Conferences on Artifical Intelligence (IJCAI), Jul 2022, Vienne, Austria. pp.2648-2654, ⟨10.24963/ijcai.2022/367⟩ |
|
|
Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of AttacksThirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.1922-1928, ⟨10.24963/ijcai.2021/265⟩ |
|
|
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2021, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩ |
|
|
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10 |
|
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece |
|
|
Refining HTN Methods via Task Insertion with PreferencesThirty-Fourth AAAI Conference on Artificial Intelligence (AAAi 2020), Feb 2020, New York, United States. pp.10009-10016, ⟨10.1609/aaai.v34i06.6557⟩ |
|
|
A Logic of Explicit and Implicit Distributed Belief24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760 |
|
|
TouIST: a Friendly Language for Propositional Logic and More29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩ |
|
|
On the Epistemic Logic of Incomplete Argumentation Frameworks18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.681-685, ⟨10.24963/kr.2021/69⟩ |
|
|
The dynamic logic of policies and contingent planningEuropean Conference on Logics in Artificial Intelligence (JELIA 2019), May 2019, Rende, Italy. pp.659-674, ⟨10.1007/978-3-030-19570-0_43⟩ |
|
|
Stratified evidence logics28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩ |
|
|
Dynamic logic of parallel propositional assignments and its applications to planningTwenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩ |
|
|
Temporal Epistemic Gossip Problems16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14 |
|
|
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩ |
|
|
Resource separation in dynamic logic of propositional assignmentsInternational Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩ |
|
|
When 'knowing whether' is better than 'knowing that13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France |
|
|
A Dynamic Extension of ALCO for Repairing via Preferred UpdatesInternational Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13 |
|
|
Frame-validity games and absolute minimality of modal axioms12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102 |
|
|
Deciding Refinement Relation in Belief-Intention DatabasesInternational Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Nov 2017, Bari, Italy. pp.186-199 |
|
|
Strategically knowing how26th International Joint Conference on Artificial Intelligence (IJCAI 2017), International Joint Conferences on Artificial Intelligence Organization, Aug 2017, Melbourne, Australia. pp.1031-1038, ⟨10.24963/ijcai.2017/143⟩ |
|
|
Non-Determinism and the Dynamics of Knowledge26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.1053-1059 |
|
|
TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBFJournées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France |
|
|
Hierarchical Task Network Planning with Task Insertion and State Constraints26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.4463-4469 |
|
|
Relaxing Exclusive Control in Boolean Games16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩ |
|
|
Repairing ABoxes through Active Integrity Constraints30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13 |
|
|
Dynamic Logic for Data-aware Systems: Decidability Results26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.821-827, ⟨10.24963/ijcai.2017/114⟩ |
|
|
Refinement of intentions15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563 |
|
|
Simple epistemic planning: generalised gossiping22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564 |
|
|
On hierarchical task networks15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557 |
|
|
Parameters for Epistemic Gossip ProblemsLOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands |
A Dynamic Logic Framework for Abstract Argumentation (CAF 2016)Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United States |
|
|
|
How to share knowledge by gossiping13th International Conference on Agreement Technologies in European Conference on Multi-Agent Systems (EUMAS/AT 2015), Dec 2015, Athens, Greece. pp. 249-263 |
On logics of strategic ability based on propositional control25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.95--101 |
|
|
|
Epistemic boolean games based on a logic of visibility and control25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122 |
|
|
Before announcement11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77 |
|
|
A simple account of multi-agent epistemic planning22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201 |
|
|
Building epistemic logic from observations and public announcements15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277 |
|
|
Epistemic Equilibrium Logic (IJCAI 2015)24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970 |
Knowledge and action: how should we combine their logics?FroCoS'15 : 10th International Symposium on Frontiers of Combining Systems, Sep 2015, Wroclaw, Poland |
|
|
|
A poor man's epistemic logic based on propositional assignment and higher-order observation5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168 |
|
|
A simple account of multiagent epistemic planning10èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29 |
|
|
Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015)9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France |
|
|
A Dynamic Logic Framework for Abstract Argumentation14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71 |
|
|
Belief merging in Dynamic Logic of Propositional AssignmentsInternational Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 |
|
|
On the revision of planning tasks21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. pp. 435-440 |
|
|
Trust-based personal information management in SOAInternational Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp. 667-672 |
|
|
Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignmentsInternational Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.141-150 |
|
|
Encoding argument graphs in logicInternational Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems - IPMU 2014, Jul 2014, Montpellier, France. pp. 345-354 |
|
|
A dynamic view of active integrity constraints14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499 |
|
|
Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014)Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), IFAAMAS, May 2014, Paris, France |
|
|
A Simple Separation LogicInternational Workshop Logic, Language, Information, and Computation - WoLLIC 2013, Aug 2013, Darmstadt, Germany. pp. 168-178 |
|
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩ |
Logics for multi-agent systems: a critical overviewInternational Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52 |
|
|
|
Reasoning about actions meets strategic logics (LORI 2013)4th International Workshop on Logic, Rationality and Interaction (LORI 2013), Oct 2013, Hangzhou, China. pp.162-175, ⟨10.1007/978-3-642-40948-6_13⟩ |
|
|
Dynamic logic of propositional assignments : a well-behaved variant of PDL28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), Jun 2013, New Orleans, LA, United States. pp.143-152, ⟨10.1109/LICS.2013.20⟩ |
|
|
Combining equilibrium logic and dynamic logic12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Sep 2013, Corunna, Spain. pp.304-316 |
|
|
Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013)Secondes journées francophones sur les Modèles Formels de l'Interaction (MFI 2013), Jul 2013, Lille, France |
|
|
Logiques pour le changement de croyances : une histoire de tout, ou presque7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Groupe de recherche : GdR I3 (Information – Interaction – Intelligence); LSIS : Laboratoire des Sciences de l'Information et des Systèmes, (UMR 7296), Marseille, Jun 2013, Aix-en-Provence, France. pp.164-171 |
Trois traditions en logiques d'action: vers une unification6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), May 2012, Toulouse, France |
|
Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control2nd Workshop on Dynamics in Logic (Dynamics in Logic II 2012), Mar 2012, Lille, France |
|
|
|
Some truths are best left unsaid9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54 |
|
|
A computationally grounded dynamic logic of agency, with application to legal actions11h International Conference on Deontic Logic in Computer Science (DEON 2012), Jun 2012, Bergen, Norway. pp.170-183, ⟨10.1007/978-3-642-31570-1_12⟩ |
Logics of propositional control1st Workshop on Dynamics in Logic (2011), Vrije Universiteit Brussels (V.U.B), May 2011, Brussels, Belgium |
|
|
|
The modal logic of equilibrium models8th International Symposium on Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrucken, Germany. pp.135--146 |
|
|
A dynamic logic of institutional actions12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2011), Jul 2011, Barcelona, Spain. pp.295-311, ⟨10.1007/978-3-642-22359-4_21⟩ |
|
|
Agents that speak: modelling communicative plans and information sources in a logic of announcements10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, May 2011, Taipei, Taiwan. pp.1207-1208 |
Logics of ContingencyAAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI: Association for the Advancement of Artificial Intelligence, Mar 2011, Stanford, California, United States |
|
Propositional assignments, announcements, and their applications to logics of action and agency4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011), Nov 2011, Osuna, Spain |
|
|
|
How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignmentsInternational Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS 2011), May 2011, Taipei, Taiwan. pp.59-73, ⟨10.1007/978-3-642-28400-7_5⟩ |
On the relation between STIT theory and the logic of programsSemantics & Philosophy in Europe (SPE4 2011), Ruhr University Bochum, Sep 2011, Bochum, Germany |
|
|
|
Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations6èmes Journees francophones sur les Modèles Formels de l'Interaction (MFI 2011), Jun 2011, Rouen, France |
A dynamic logic of normative systems22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233 |
|
Contingency-based equilibrium logic11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), May 2011, Vancouver, Canada. pp.223-228, ⟨10.1007/978-3-642-20895-9_23⟩ |
|
|
|
Tableaux for Acceptance Logic7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩ |
|
|
Dynamic languages of propositional control for protocol specificationWorkshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark |
Logics of propositional control: a Swiss knife for MASMulti-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Aug 2010, Lyon, France |
|
|
|
Trust in complex actions (ECAI 2010)19th European Conference on Artificial Intelligence (ECAI 2010), Aug 2010, Lisbon, Portugal. pp.1037-1038, ⟨10.3233/978-1-60750-606-5-1037⟩ |
A Dynamic Logic for Termgraph Rewriting5th International Conference on Graph Transformations (ICGT 2010), 2010, Twente, Netherlands. pp.59-74, ⟨10.1007/978-3-642-15928-2_5⟩ |
|
Tableau systems for MAS logics: implementing your prover in LoTRECWorkshop on Logics for Resource-Bounded Agents at Multi-Agent Logics, Languages, and Organisations Federated Workshops (LRBA @ MALLOW 2010), Aug 2010, Lyon, France |
|
A Logical Account of Lying12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Sep 2010, Helsinki, Finland. pp.286-299, ⟨10.1007/978-3-642-15675-5_25⟩ |
|
|
|
Trust in complex actions (ESSLLI 2010)Workshop Logics in Security @ 22rd European Summer School in Logic, Language and Information (ESSLLI 2010), Aug 2010, Copenhagen, Denmark |
Speech acts as announcements (LSIR2)Second international workshop on Logic and the Simulation of Interaction and Reasoning @ IJCAI (LSIR 2009), Jul 2009, Pasadena, United States |
|
A protocol for execution of distributed logic programs3rd International Symposium on Intelligent Distributed Computing (IDC 2009), Oct 2009, Ayia Napa, Cyprus. pp.21-30, ⟨10.1007/978-3-642-03214-1_3⟩ |
|
|
|
Dynamic context logic and its application to norm changeDagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271 |
On the Dynamics of Institutional Agreements (KRAMAS 2008)1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩ |
|
|
|
Speech acts as announcements (Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/09-27/08/09)Dagstuhl Seminar on Information processing, rational belief change and social interaction, Aug 2009, Dagstuhl, Germany |
|
|
Intentions and assignments2nd Workshop on Logic, Rationality and Interaction (LORI-II 2009), Oct 2009, Chongqing, China. pp.198-211, ⟨10.1007/978-3-642-04893-7_16⟩ |
|
|
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all togetherSecond International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩ |
|
|
Unifying the intentional and institutional semantics of speech acts7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.1-19 |
|
|
Dynamic context logicSecond International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩ |
|
|
Logical formalization of social commitments: Application to Agent Communication Languages (short version)8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), May 2009, Budapest, Hungary. pp.1293-1294 |
Trust Based Evaluation of Wikipedia's Contributors10th International Workshop on Engineering Societies in the Agents World (ESAW 2009), Nov 2009, Utrecht, Unknown Region. pp.148-161, ⟨10.1007/978-3-642-10203-5_13⟩ |
|
|
|
From cognitive trust theories to computational trust12th International Workshop on Trust in Agent Societies (TRUST 2009 @ AAMAS 2009), May 2009, Budapest, Hungary |
|
|
Logics of Context for Multi-Agent Systems4th ECAI Workshop on Context and ontologies (C&O 2008), Jul 2008, Patras, Greece |
Prime implicate-based belief revision operators18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742 |
|
|
|
Introspective Forgetting21st Australasian Joint Conference on Artificial Intelligence (AI 2008), Dec 2008, Auckland, New Zealand. pp.18-29, ⟨10.1007/978-3-540-89378-3_2⟩ |
What do we accept after an announcement?Prague International Colloquium : Logic of change, change of logic (LoCCoL 2008), Sep 2008, Prague, Czech Republic |
|
Uniform interpolation by resolution in modal logic11th European Conference on Logics in Artificial Intelligence (JELIA 2008), Sep 2008, Dresden, Germany. pp.219--231, ⟨10.1007/978-3-540-87803-2_19⟩ |
|
Properties of logics of individual and group agency7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149 |
|
|
|
Prolegomena for a logic of trust and reputation3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157 |
Static and dynamic aspects of knowledge about powersInternational Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic |
|
What Do We Accept After an Announcement ? (KRAMAS 2008)1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia |
|
|
|
De DEL à EDL ou comment illustrer la puissance des événements inverses4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260 |
From DEL to EDL: exploring the power of converse events (ECSQARU 2007)9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), 2007, Hammamet, Tunisia. pp.199-209, ⟨10.1007/978-3-540-75256-1_20⟩ |
|
Delegation and mental states6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2007, Honolulu, Hawaii, United States. pp.610--612, ⟨10.1145/1329125.1329311⟩ |
|
Talkin'bout Kripke modelsInternational Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland |
|
|
|
A tableau method for public announcement logics16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩ |
|
|
What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowabilityTheoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Bruxelles, Belgium. pp.42-51, ⟨10.1145/1324249.1324259⟩ |
|
|
A normal simulation of coalition logic and an epistemic extensionTheoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Brussels, Belgium. pp.91-101, ⟨10.1145/1324249.1324264⟩ |
Optimal Regression for Reasoning about Knowledge and ActionsConference on Artificial Intelligence 2007, AAAI: Association for the Advancement of Artificial Intelligence, Jul 2007, Vancouver, Canada. pp.1070-1075 |
|
Raisonnement sur les actions : de Toronto à Amstermdam4èmes Journées francophones Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.127-138 |
|
|
|
OCC's emotions: a formalization in a BDI logic12th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Sep 2006, Varna, Bulgaria. pp.24-32, ⟨10.1007/11861461_5⟩ |
|
|
Elaborating domain descriptions (NMR 2006)11th International Workshop on Nonmonotonic Reasoning (NMR 2006), May 2006, Lake District, United Kingdom |
Introducing attempt in a modal logic of intentional action10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.280-292, ⟨10.1007/11853886_24⟩ |
|
LoTREC: An environment for experiencing Kripke Semantics2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44 |
|
|
|
Elaborating domain descriptions (ECAI 2006)17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401 |
|
|
A logical framework for an emotionally aware intelligent environmentWorkshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy |
|
|
Modélisation logique d'agents rationnels pour l'intelligence ambiante14èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2006), Oct 2006, Annecy, France. pp.81-94 |
|
|
From Coalition Logic to STITThird International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Aug 2005, Edinburgh, Scotland, United Kingdom. pp.23-35, ⟨10.1016/j.entcs.2006.02.011⟩ |
Une plateforme de raisonnement par tableauxXVe Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Jan 2006, Tours, France |
|
|
|
A New Semantics for the FIPA Agent Communication Language based on Social Attitudes17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Trento, Italy. pp.245-249 |
Knowing How to Play: Uniform Choices in Logics of Agency5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), IFMAS; SIGAI; ATAL, May 2006, Hakodate, Japan. pp.209-216, ⟨10.1145/1160633.1160666⟩ |
|
A STIT-extension of ATL10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.69-81, ⟨10.1007/11853886_8⟩ |
|
Terminating modal tableaux with simple completenness proofConference on Advances in Modal Logic (AIML 2006), Sep 2006, Noosa, Queensland, Australia. pp.167-186 |
|
A modularity approach for a fragment of ALC10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.216-228, ⟨10.1007/11853886_19⟩ |
|
|
|
Grounding and the expression of belief10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Jun 2006, Windermere, United Kingdom. pp.211-229 |
The hidden faces of Intention: using STIT to discover themTrends in Logic IV - Studia Logica International Conference: Towards Mathematical Philosophy (Trends in Logic IV 2006), Sep 2006, Toruñ, Poland |
|
Epistemic Actions and Ontic Actions: a Unified Logical Framework2nd International Joint Conference: 10th Ibero-American Conference on AI and 18th Brazilian AI Symposium (IBERAMIA-SBIA 2006), Oct 2006, Ribeirão Preto, Brazil. pp.409-418, ⟨10.1007/11874850_45⟩ |
|
|
|
Inferring trust (CLIMA 2005)Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2005), Sep 2005, Lisbon, Portugal. pp.144-160 |
|
|
On updates with integrity constraints (Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics , Dagstuhl (Germany), 07/08/05-12/08/05)Dagstuhl Seminar : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005), Aug 2005, Dagstuhl, Germany |
|
|
Action progression and revision in multiagent belief structures6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005) @ IJCAI 2005, Aug 2005, Edinburgh, Scotland, Royaume-Uni |
|
|
On the modularity of theories5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109 |
|
|
Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public EventsXXVII Annual Conference of the Cognitive Science Society 2005, Cognitive Science Society, Jul 2005, Stresa, Italy. pp.1325-1330 |
|
|
Cohesion, coupling and the meta-theory of actions19th International Joint Conference on Artificial Intelligence (IJCAI 2005), The International Joint Conferences on Artificial Intelligence, Jul 2005, Edinburgh, United Kingdom. pp.442-447 |
|
|
A logical framework for grounding-based dialogue analysis3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom |
|
|
Position Paper: Paraconsistent Reasoning for the Semantic WebWorkshop on Uncertainty Reasoning for the Semantic Web (URSW 2005) @ ISWC 2005, Nov 2005, Galway, Ireland |
|
|
Domain descriptions should be modular10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada |
|
|
Revision and update in multiagent belief structures6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6 2004), Jul 2004, Leipzig, Germany. pp.1-10 |
|
|
Inferring trust (CLIMA 2004)Fifth workshop on computational logic in multi-agent systems (CLIMA V 2004) à JELIA 2004, Sep 2004, Lisbon, Portugal. pp.144-160 |
|
|
C&L intention revisited9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.527-535 |
Obligation change in dependence logic and situation calculus7th International Workshop on Deontic Logic in Computer Science (DEON 2004), May 2004, Madeira, Portugal. pp.57-73, ⟨10.1007/978-3-540-25927-5_6⟩ |
|
Calcul des intentions d'agent à partir de ses désirsSecondes Journées Francophones sur les Modèles Formels de l'Interaction (MFI 2003), May 2003, Lille, France. pp.3-9 |
|
|
|
On modal probability and beliefEuropean Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.62-73, ⟨10.1007/b11792⟩ |
|
|
Action representation and partially observable planning using epistemic logic18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Aug 2003, Acapulco, Mexico. pp.1067-1072, ⟨10.5555/1630659.1630812⟩ |
Domain descriptions should be modular (preliminary draft)Electronic Festschrift for the 60th Anniversary of Norman Foo, Nov 2003, Sydney, Australia |
|
Regression in modal logicWorkshop Methods for Modalities (M4M 2003), Sep 2003, Nancy, France. pp.165-185, ⟨10.3166/jancl.13.165-185⟩ |
|
|
|
On iterated revision in the AGM framework7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.477-488, ⟨10.1007/978-3-540-45062-7_39⟩ |
|
|
Modal probability, belief, and actions1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR 2003), 2003, Olsztyn, Poland. pp.323-344 |
Beliefs, intentions, actions and speech actsSeventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), Sep 2003, Wallerfangen, Allemagne |
|
|
|
Sensing and revision in a modal logic of belief and actionEuropean Conference on Artificial Intelligence (ECAI'02), Jul 2002, Lyon, France. pp.307-311 |
|
|
Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Association Française pour l’Intelligence Artificielle; Association Française pour la Reconnaissance et l'Interprétation des Formes, Jan 2002, Angers, France |
|
|
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Apr 2002, Toulouse, France |
|
|
I thought you didn't know! On belief revision in dynamic doxastic logic5th International Conference on Logic and the Foundations of Game and Decision Theory (LOFT5 2002), Jun 2002, Torino, Italy |
|
|
A logic of intention with cooperation principles and with assertive speech acts as communication primitives1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Jul 2002, Bologna, Italy. pp.920-927, ⟨10.1145/544862.544954⟩ |
Updates, actions and planning17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, Seattle, Washington, United States. pp.119-124 |
|
|
|
Lotrec: a generic tableau prover for modal and description logicsInternational Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458 |
|
|
Actions perceptives et non-perceptives dans une logique de croyances et intentionsPremières Journées Francophones des Modèles formels de l'interaction (MFI'01), May 2001, Toulouse, France |
|
|
Formalisation logique de la communication non-littérale à la lumière d'aperçus pragmatiques et neuropsycholinguistiquesPremières Journées Francophones des Modèles Formels de l'Interaction (MFI'01), May 2001, Toulouse, France |
Reasoning about Failure2nd International Workshop on Engineering Societies in the Agents World (ESAW 2001), Jul 2001, Prague, Czech Republic. pp.74-86, ⟨10.1007/3-540-45584-1_6⟩ |
|
Planning as abductionWorkshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States |
|
|
|
A logic for planning under partial observability (AIPS 2000)5th international conference on Artificial Intelligence Planning and Scheduling (AIPS 2000), Apr 2000, Breckenridge, CO, United States |
|
|
A modal logic for epistemic tests14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.553-557 |
Actes de langage non-littéraux et approche intentionnelle du dialogueEtats Généraux de la Recherche en Sciences Cognitives de Toulouse (2000), Oct 2000, Toulouse, France |
|
|
|
A Topic-Based Framework for Rational Interaction7e conférence annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Oct 2000, Lausanne, Switzerland |
|
|
A logic for planning under partial observability (AAAI 2000)17th National Conference on Artificial Intelligence (AAAI 2000), Association for the Advancement of Artificial Intelligence, Jul 2000, Austin, Texas, United States. pp.768-773 |
|
|
Towards an Analysis of Dialogue Acts and Indirect Speech Acts in a BDI Framework4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog'2000), Feb 2000, Goteborg, Sweden |
|
|
Qualitative relevance and independence: a roadmap15th International Joint Conference on Artificial Intelligence (IJCAI 1997), The International Joint Conferences on Artificial Intelligence organization; Japanese Society for Artificial Intelligence (JSAI), Aug 1997, Nagoya, Japan. pp.62--67 |
Lois, structures et dépendances (groupe LSD)6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160 |
|
How to change factual beliefs using laws and dependence information1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 1997), Jun 1997, Bad Honnef, Germany. pp.311-321, ⟨10.1007/BFb0035631⟩ |
|
Talkin'bout consistency, or: When logically possible becomes possibleInternational Conference on Formal and Applied Practical Reasoning (FAPR 1996), Jun 1996, Bonn, Germany. pp.141-150, ⟨10.1007/3-540-61313-7_69⟩ |
|
Gestion de l'évolutif et de l'incertain dans une base de connaissances5èmes Journées Nationales du PRC-GDR : Intelligence Artificielle (1995), Groupe de Recherche IA du CNRS, Feb 1995, Nancy, France. pp.77--121 |
|
Qualitative possibilistic independence, plausible reasoning and belief revisionWorkshop on Nonmonotonic Reasoning Action and Change (NRAC 1995) in conjunction with IJCAI 1995, Aug 1995, Montréal, Canada |
|
An ordinal view of independence, plausible reasoning and belief revision10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Jul 1994, Seattle, WA, United States. pp.195--203 |
|
|
|
An ordinal view of independence with application to plausible reasoning10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Association for Uncertainty in Artificial Intelligence, Jul 1994, Seattles, United States. pp.195-203, ⟨10.1016/B978-1-55860-332-5.50030-4⟩ |
A modal analysis of possibility theoryEuropean Conference on Symbolic and Quantitative Approaches to Uncertainty (ECSQARU 1991), Oct 1991, Marseille, France. pp.58-62, ⟨10.1007/3-540-54659-6_66⟩ |
|
|
Poster sur ``La logique facile avec TouISTJournées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017 |
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502 |
|
|
|
Social IntelligenceHerzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩ |
|
|
Logic, Leadership and Enthusiasm: A Festschrift in Honour of Luis Fariñas del CerroCabalar, Pedro; Dieguez, Martin; Herzig, Andreas; Pearce, David. Taylor & Francis Group, 27 (3-4), 2017, Journal of Applied Non-Classical Logics, ISSN 1166-3081. ⟨10.1080/11663081.2018.1439360⟩ |
The Cognitive Foundations of Group Attitudes and Social InteractionHerzig, Andreas; Lorini, Emiliano. Springer, 5, 2015, Studies in the Philosophy of Sociality, 978-3319217314. ⟨10.1007/978-3-319-21732-1⟩ |
|
Kripke's Worlds: An introduction to modal logics via tableauxSpringer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩ |
|
ECSI 2014: European Conference on Social Intelligence, Proceedings of the European Conference on Social Intelligence (ECSI-2014) Barcelona, Spain, November 3-5, 2014Herzig, Andreas; Lorini, Emiliano. CEUR Workshop Proceedings, 1283, pp.1-358, 2014, ISSN 1613-0073 |
|
Special issue on Logic and the Foundations of the Theory of Games and Decisions (Selected papers LOFT 9, Toulouse, 2010)Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Springer, 42 (3), 2013, Special issue of Internatinal Journal of Game theory, ISSN 0020-7276 |
|
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. ProceedingsFariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. Springer-Verlag, 7519, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1 |
|
Logical Aspects of Game Theory (LOFT 2010)Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Hermès, 21 (3-4), 2011, Journal of Applied Non-Classical Logics, ISSN: 1166-3081 (Print) 1958-5780 (Online) |
|
Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics |
|
Special issue on commonsense reasoning for the semantic webVan Harmelen, Frank; Herzig, Andreas; Hitzler, Pascal; Qi, Guilin. Springer, 58 (1-2), 2010, Annals of Mathematics and Artificial Intelligence, ISSN : 1573-7470 |
|
NRAC 2009: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/2009Herzig, Andreas; Johnston, Benjamin. UTSePress, University of Technology, Sydney, 2009, 978-0-9802840-7-2 |
|
Belief revision and dynamic logic (JANCL n°2, 17/2007)van Ditmarsch, Hans; Herzig, Andreas. Hermès, 17 (2), pp.125-273, 2007, Journal of Applied Non-Classical Logics, ISSN 1166-3081 (Print) ISSN 1958-5780 (Online) |
|
Logical approaches to paraconsistency : best papers WCP III 2003Besnard, Philippe; Herzig, Andreas. Hermès, Special issue 15 (1), 103p., 2005, Journal of Applied Non-Classical Logics |
|
Belief Change: Theory and PracticeChopra, Samir; Herzig, Andreas. Hermès, 11 (1-2), 2001, Journal of Applied Non-Classical Logics - Special issue CFP: Belief Change Workshop at Workshop on Non-Monotonic Reasoning (NMR 2000), ISSN 1166-3081 |
|
Conditionals: From Philosophy to Computer ScienceClarendon Press, 5, pp.1-376, 1996, Studies in Logic and Computation, 978-0198538615 |
|
|
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic LogicLogic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩ |
|
|
Epistemic Reasoning About Rationality and Bids in AuctionsLogics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩ |
|
|
Reasoning About Action and ChangeMarquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.487-518, 2020, Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_15⟩ |
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic ReasoningMarquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩ |
|
Possible worlds semantics based on observation and communicationvan Ditmarsch, Hans; Sandu, Gabriel. Jaakko Hintikka on game-theoretical semantics and epistemic logic, 12, Springer, pp.339--362, 2018, Outstanding Contributions to Logic book series (OCTR) |
|
Action theoriesHansson, Sven Ove; Hendricks, Vincent F. Handbook of Formal Philosophy, 33, Springer, pp.591--607, 2018, Springer Undergraduate Texts in Philosophy book series (SUTP), 978-3-319-77433-6 |
|
|
|
Computer-Mediated Trust in Self-interested Expert RecommendationsStephen J. Cowley; Frédéric Vallée-Tourangeau. Cognition Beyond the Brain: Computation, Interactivity and Human Artifice, Springer, pp.233-250, 2017, 978-3-319-49115-8. ⟨10.1007/978-3-319-49115-8_12⟩ |
Using STIT theory to talk about strategiesvan Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke. Models of Strategic Reasoning: Logics, Games, and Communities, 8972, Springer, pp.137--173, 2015, Lecture Notes in Computer Science book series (LNCS), 978-3-662-48539-2. ⟨10.1007/978-3-662-48540-8_5⟩ |
|
|
|
On Modal Logics of Group BeliefHerzig; Andreas and Lorini; Emiliano. The Cognitive Foundations of Group Attitudes and Social Interaction, 5, Springer, pp.75--106, 2015, Studies in the Philosophy of Sociality |
|
|
BDI logicsvan Ditmarsch, Hans; Halpern, Joseph Y; van der Hoek, Wiebe; Kooi, Barteld. Handbook of Logics for Knowledge and Belief, Chapter10, College Publications, pp.453-493, 2015, 978-1-84890-158-2 |
Direct and indirect common beliefKonzelmann Ziv, Anita; Schmid, Hans Bernhard. Institutions, Emotions, and Group Agents: Contributions to Social Ontology, 2, Springer, pp.355--372, 2014, Studies in the Philosophy of Sociality book series (SIPS), 978-94-007-6933-5. ⟨10.1007/978-94-007-6934-2_22⟩ |
|
Raisonnement sur l'action et le changementMarquis, Pierre; Papini, Odile; Prade, Henri. Panorama de l'intelligence artificielle. Ses bases méthodologiques, ses développements, Vol. 1, 1 (Chapitre 12), Cépaduès, Toulouse, pp.255--282, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2364930414 |
|
Raisonnement sur l’action et le changementPanorama de l’intelligence artificielle, Volume 1 : représentation des connaissances et formalisation des raisonnements, pp.363-392, 2014 |
|
A modal logic of perceptual beliefLihoreau, Franck; Rebuschi, Manuel. Epistemology, Context, and Formalism, 369, Springer, pp.197--211, 2014, Synthese Library book series (SYLI), 978-3-319-02942-9. ⟨10.1007/978-3-319-02943-6_12⟩ |
|
Three traditions in the logic of action: bringing them togetherTrypuz, Robert. Krister Segerberg on Logic of Action, 1, Springer, pp.61-84, 2013, Outstanding Contributions to Logic book series (OCTR), 978-94-007-7045-4. ⟨10.1007/978-94-007-7046-1_4⟩ |
|
Représentation des connaissances : modalités, conditionnels et raisonnement non monotonePierre Marquis; Odile Papini; Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2 : Algorithmes pour l'intelligence artificielle, Cépaduès, Toulouse, 2013, 978-2364930421 |
|
Deontic logicOssowski, Sascha. Agreement Technologies, 8, Springer, pp.171-180, 2012, Law, Governance and Technology Series book series (LGTS), 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_10⟩ |
|
|
|
A simple logic of trust based on propositional assignmentsPaglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, Chapter 1, College Publications, pp.407-419, 2012, 978-1848900943 |
|
|
Exploring the power of converse eventsPatrick Girard; Olivier Roy; Mathieu Marion. Dynamic formal epistemology, 351, Springer, pp.51-74, 2011, Synthese Library book series (SYLI), 978-94-007-0073-4. ⟨10.1007/978-94-007-0074-1_4⟩ |
|
|
Group belief and grounding in conversationTrognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis. Logical Properties of Dialogue, Presses Universitaires de Nancy, pp.59--96, 2011 |
|
|
Unifying the intentional and institutional semantics of speech actsMatteo Baldoni,; Jamal Bentahar; M. Birna van Riemsdijk; John Lloyd. Declarative Agent Languages and Technologies VII: DALT 2009. Revised Selected and Invited Papers, 5948, Springer-Verlag, pp.68-84, 2010, Lecture Notes in Artificial Intelligence, 978-3-642-11354-3. ⟨10.1007/978-3-642-11355-0_5⟩ |
Coalition games over Kripke semanticsDégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130 |
|
Modal Tableaux: Completeness vs. TerminationArtemov, Sergei; Barringer, Howard; D'Avila Garcez, Artur; Lamb, Luis C.; Woods, John. We Will Show Them: Essays in Honour of Dov Gabbay, 2, College Publications, pp.587-614, 2005, 978-1904987116 |
|
|
|
Les opérations de changement basées sur le test de RamseyLivet, Pierre. Révision des croyances (Traité des sciences cognitives), Chapitre 2, Hermes Science Publications, pp.21-41, 2002, 978-2746204690 |
A roadmap of qualitative independenceDidier Dubois; Henri Prade; Erich Peter Klement. Fuzzy Sets, Logics and Reasoning about Knowledge, 15, Kluwer Academic Publishers; Springer Netherlands, pp.325--350, 1999, Applied Logic series, 978-90-481-5324-4. ⟨10.1007/978-94-017-1652-9_22⟩ |
|
Logics for Belief Base UpdatingBelief Change, 3, Springer Netherlands, pp.189-231, 1998, Handbook of Defeasible Reasoning and Uncertainty Management Systems book series (HAND), 978-94-010-6123-0. ⟨10.1007/978-94-011-5054-5_5⟩ |
|
|
Polynomial prenexing of QBFs with non-monotone boolean operators2025 |
|
|
A Modal Logic for Termgraph Rewriting2010 |
|
|
De DEL à EDL ou comment illustrer la puissance des événements inverses2007 |
|
|
Raisonnement sur les actions : de Toronto à Amsterdam2007 |
|
|
Politiques d'action : de la validation psychologique et linguistique à la programmation d'agents cognitifs en intelligence artificielle2005 |
|
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87 |
|
|
Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)[Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009 |
Knowable' as 'known after an announcement[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008 |
|
|
|
From DEL to EDL: exploring the power of converse events[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007 |
A simple logical framework for emotional agents[Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006 |
|
|
|
Contracting TBoxes: the importance of being modular[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006 |
Uniform Choices in Logics of Agency[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005 |
|
|
|
An assessment of actions with indeterminate and indirect effects in some causal approaches[Research Report] IRIT/2004–08–R, IRIT : Institut de Recherche en Informatique de Toulouse. 2004, pp.1-23 |
|
|
Intention Dynamics -preliminary report[Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002 |
|
|
Sensing and revision in a modal logic of belief and action[Rapport de recherche] IRIT/2002-01-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002 |
|
|
An analysis of communication and cooperation in a logic of belief, intention, and action[Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001 |
|
|
Beliefs, intentions, speech acts and topics[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000 |
|
|
Une formalisation de la détection des actes de langage indirects[Rapport de recherche] IRIT/2000-26-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000 |
Une typologie des relations d'in(dépendance) qualitative[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998 |
|
Inférence préférentielle et exceptions: sémantique probabiliste et indépendance possibiliste[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997 |
|
Working papers of the workshop : 'Is logic + ordering enough for formalizing common sense reasoning?[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 1996 |