Andreas Herzig
291
Documents
Publications
- 64
- 45
- 25
- 22
- 22
- 21
- 20
- 19
- 17
- 15
- 15
- 14
- 13
- 13
- 13
- 11
- 11
- 10
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Qualitative uncertainty and dynamics of argumentation through dynamic logicJournal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Article dans une revue
hal-03992651v1
|
|
|
Preface (Special issue FolKS 2020)Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩
Article dans une revue
hal-03573573v1
|
|
A Lightweight Epistemic Logic and its Application to PlanningArtificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
Article dans une revue
hal-03147798v1
|
|
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⟩
Article dans une revue
hal-03210604v1
|
|
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
Article dans une revue
hal-03011708v1
|
|
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⟩
Article dans une revue
hal-03012105v1
|
|
Autoepistemic equilibrium logic and epistemic specificationsArtificial Intelligence, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
Article dans une revue
hal-02945872v1
|
|
Frame-validity games and lower bounds on the complexity of modal axiomsLogic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Article dans une revue
hal-02936458v1
|
|
A Dynamic Logic Account of Active Integrity ConstraintsFundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩
Article dans une revue
hal-02891607v1
|
|
The epistemic gossip problemDiscrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
Article dans une revue
hal-02147986v1
|
|
Judgment aggregation in dynamic logic of propositional assignmentsJournal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
Article dans une revue
hal-02089335v2
|
|
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⟩
Article dans une revue
hal-02124074v1
|
|
How to share knowledge by gossipingAI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩
Article dans une revue
hal-03512916v1
|
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2017
Article dans une revue
hal-01892914v1
|
|
|
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⟩
Article dans une revue
hal-01692711v1
|
Planifier grâce au bavardageInterstices, 2017
Article dans une revue
hal-01616344v1
|
|
|
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⟩
Article dans une revue
hal-01625886v1
|
|
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⟩
Article dans une revue
hal-01285093v1
|
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue
hal-01585237v1
|
|
A formal account of dishonestyLogic Journal of the IGPL, 2014, 23 (2), pp.259-294. ⟨10.1093/jigpal/jzu043⟩
Article dans une revue
hal-01387822v1
|
|
Capturing equilibrium models in modal logicJournal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩
Article dans une revue
hal-01127960v1
|
|
Propositional update operators based on formula/literal dependenceACM Transactions on Computational Logic, 2013, 14 (3), pp.1-31. ⟨10.1145/2499937.2499945⟩
Article dans une revue
hal-01128955v1
|
|
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⟩
Article dans une revue
hal-01153715v1
|
Introduction to the special issueInternational Journal of Game Theory, 2013, 42 (3), ⟨10.1007/s00182-013-0387-5⟩
Article dans une revue
hal-01494297v1
|
|
La logique modale des modèles d’équilibreRevue d'Intelligence Artificielle, 2012, 26 (1-2), pp.1-15. ⟨10.3166/ria.26.85-102⟩
Article dans une revue
hal-03464940v1
|
|
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⟩
Article dans une revue
hal-00868339v1
|
|
From situation calculus to dynamic epistemic logicJournal of Logic and Computation, 2011, 21 (2), pp.179-204. ⟨10.1093/logcom/exq024⟩
Article dans une revue
hal-00868361v1
|
|
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⟩
Article dans une revue
hal-03464954v1
|
|
ForewordJournal of Applied Non-Classical Logics, 2011, 21 (3-4), ⟨10.1080/11663081.2011.9736665⟩
Article dans une revue
hal-01494282v1
|
|
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⟩
Article dans une revue
hal-03470301v1
|
|
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⟩
Article dans une revue
hal-03470305v1
|
|
A logic of trust and reputationLogic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Article dans une revue
hal-03470303v1
|
|
On the dynamics of institutional agreements (2009)Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩
Article dans une revue
hal-03474458v1
|
|
|
The logic of acceptance: grounding institutions on agents' attitudesJournal of Logic and Computation, 2009, 19 (6), pp.901-940
Article dans une revue
hal-01060135v1
|
Introspective ForgettingSynthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩
Article dans une revue
hal-00868609v1
|
|
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
Article dans une revue
hal-03526728v1
|
|
|
Computer-Mediated Trust in Self-Interested Expert Recommendations AI & Society: Knowledge, Culture and Communication, 2009, 25 (4), pp.413-422. ⟨10.1007/s00146-010-0268-4⟩
Article dans une revue
hal-03466389v1
|
|
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⟩
Article dans une revue
inria-00556034v1
|
|
A logical formalization of the OCC theory of emotionsSynthese, 2009, 168 (2), pp.201--248
Article dans une revue
hal-03474451v1
|
|
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
Article dans une revue
hal-03526742v1
|
Arbitrary announcement logic (abstract)The Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438-439. ⟨10.2178/bsl/1231081377⟩
Article dans une revue
hal-00747135v1
|
|
|
A logic of intention and attemptSynthese, 2008, 163 (1), pp.45-77
Article dans une revue
hal-03526735v1
|
'Knowable' as 'known after an announcement'The review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩
Article dans une revue
hal-00800649v1
|
|
Alternative axiomatics and complexity of deliberative STIT theoriesJournal of Philosophical Logic, 2008, 37 (4), pp.387-406. ⟨10.1007/s10992-007-9078-7⟩
Article dans une revue
hal-03526734v1
|
|
|
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
Article dans une revue
hal-03516643v1
|
|
Metatheory of actions: beyond consistencyArtificial Intelligence, 2007, 171 (16/17), pp.951-984. ⟨10.1016/j.artint.2007.04.013⟩
Article dans une revue
hal-03516646v1
|
|
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⟩
Article dans une revue
hal-03535631v1
|
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⟩
Article dans une revue
hal-03537173v1
|
|
Regression in Modal LogicJournal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185
Article dans une revue
hal-03534099v1
|
|
|
Formalisation pluridisciplinaire de l'inférence d'actes de langage non littérauxRevue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225
Article dans une revue
hal-03534108v1
|
|
Belief Dynamics in Cooperative DialoguesJournal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩
Article dans une revue
hal-03478237v1
|
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⟩
Communication dans un congrès
hal-04307012v1
|
|
|
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⟩
Communication dans un congrès
hal-03873341v1
|
|
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⟩
Communication dans un congrès
hal-03818471v1
|
|
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⟩
Communication dans un congrès
hal-03450068v1
|
|
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
Communication dans un congrès
hal-03015763v1
|
|
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
Communication dans un congrès
hal-03008589v1
|
|
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⟩
Communication dans un congrès
hal-02925894v1
|
|
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⟩
Communication dans un congrès
hal-03450084v1
|
|
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩
Communication dans un congrès
hal-03450078v1
|
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-03015803v1
|
|
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⟩
Communication dans un congrès
hal-02887591v1
|
|
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⟩
Communication dans un congrès
hal-02891688v1
|
|
Stratified evidence logics28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Communication dans un congrès
hal-02411254v1
|
|
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⟩
Communication dans un congrès
hal-02942300v1
|
|
When 'knowing whether' is better than 'knowing that'13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Communication dans un congrès
hal-02302984v1
|
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⟩
Communication dans un congrès
hal-02865935v1
|
|
|
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
Communication dans un congrès
hal-02147891v1
|
|
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⟩
Communication dans un congrès
hal-03622809v1
|
|
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
Communication dans un congrès
hal-03046246v1
|
|
Temporal Epistemic Gossip Problems16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Communication dans un congrès
hal-02378391v1
|
|
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⟩
Communication dans un congrès
hal-03658088v1
|
|
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
Communication dans un congrès
hal-02603831v1
|
|
Repairing ABoxes through Active Integrity Constraints30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13
Communication dans un congrès
hal-02064232v1
|
|
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⟩
Communication dans un congrès
hal-01919061v1
|
|
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⟩
Communication dans un congrès
hal-03658133v1
|
|
Non-Determinism and the Dynamics of Knowledge26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.1053-1059
Communication dans un congrès
hal-03658082v1
|
|
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
Communication dans un congrès
hal-03116308v1
|
|
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
Communication dans un congrès
hal-03658077v1
|
|
On hierarchical task networks15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557
Communication dans un congrès
hal-01692705v1
|
|
Parameters for Epistemic Gossip ProblemsLOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
Communication dans un congrès
hal-03159069v1
|
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
Communication dans un congrès
hal-03165003v1
|
|
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
Communication dans un congrès
hal-01424478v1
|
|
|
Before announcement11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Communication dans un congrès
hal-01650180v1
|
|
A simple account of multi-agent epistemic planning22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201
Communication dans un congrès
hal-01500521v1
|
|
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
Communication dans un congrès
hal-04109521v1
|
|
Simple epistemic planning: generalised gossiping22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Communication dans un congrès
hal-01500520v1
|
|
Refinement of intentions15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Communication dans un congrès
hal-01692703v1
|
|
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
Communication dans un congrès
hal-01530163v1
|
|
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
Communication dans un congrès
hal-01334713v1
|
|
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
Communication dans un congrès
hal-01567082v1
|
|
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
Communication dans un congrès
hal-01316827v1
|
|
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
Communication dans un congrès
hal-03193119v1
|
Knowledge and action: how should we combine their logics?FroCoS'15 : 10th International Symposium on Frontiers of Combining Systems, Sep 2015, Wroclaw, Poland
Communication dans un congrès
hal-01316819v1
|
|
|
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
Communication dans un congrès
hal-01592020v1
|
|
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
Communication dans un congrès
hal-01146747v1
|
|
On the revision of planning tasks21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. pp. 435-440
Communication dans un congrès
hal-01399881v1
|
|
Trust-based personal information management in SOAInternational Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp. 667-672
Communication dans un congrès
hal-01188251v1
|
|
A dynamic view of active integrity constraints14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499
Communication dans un congrès
hal-01159678v1
|
|
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
Communication dans un congrès
hal-04081301v1
|
|
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
Communication dans un congrès
hal-01147220v1
|
|
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
Communication dans un congrès
hal-03224137v1
|
|
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
Communication dans un congrès
hal-04103466v1
|
|
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⟩
Communication dans un congrès
hal-01240721v1
|
|
A Simple Separation LogicInternational Workshop Logic, Language, Information, and Computation - WoLLIC 2013, Aug 2013, Darmstadt, Germany. pp. 168-178
Communication dans un congrès
hal-01147307v1
|
|
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
Communication dans un congrès
hal-03464938v1
|
|
Combining equilibrium logic and dynamic logic12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Sep 2013, Corunna, Spain. pp.304-316
Communication dans un congrès
hal-01228754v1
|
|
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
Communication dans un congrès
hal-03464937v1
|
|
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⟩
Communication dans un congrès
hal-01187760v1
|
|
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⟩
Communication dans un congrès
hal-01226475v1
|
Logics for multi-agent systems: a critical overviewInternational Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
Communication dans un congrès
hal-01143735v1
|
|
|
Some truths are best left unsaid9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54
Communication dans un congrès
hal-00866705v1
|
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⟩
Communication dans un congrès
hal-00866707v1
|
|
Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control2nd Workshop on Dynamics in Logic (Dynamics in Logic II 2012), Mar 2012, Lille, France
Communication dans un congrès
hal-03464942v1
|
|
Trois traditions en logiques d'action: vers une unification6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), May 2012, Toulouse, France
Communication dans un congrès
hal-03464947v1
|
|
|
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
Communication dans un congrès
hal-03464951v1
|
|
The modal logic of equilibrium models8th International Symposium on Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrucken, Germany. pp.135--146
Communication dans un congrès
hal-03470290v1
|
Logics of propositional control1st Workshop on Dynamics in Logic (2011), Vrije Universiteit Brussels (V.U.B), May 2011, Brussels, Belgium
Communication dans un congrès
hal-03470297v1
|
|
|
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
Communication dans un congrès
hal-03470298v1
|
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⟩
Communication dans un congrès
hal-03464952v1
|
|
A dynamic logic of normative systems22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233
Communication dans un congrès
hal-03464955v1
|
|
On the relation between STIT theory and the logic of programsSemantics & Philosophy in Europe (SPE4 2011), Ruhr University Bochum, Sep 2011, Bochum, Germany
Communication dans un congrès
hal-03470296v1
|
|
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⟩
Communication dans un congrès
hal-03470289v1
|
|
Logics of ContingencyAAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI: Association for the Advancement of Artificial Intelligence, Mar 2011, Stanford, California, United States
Communication dans un congrès
hal-03470300v1
|
|
|
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⟩
Communication dans un congrès
hal-03470293v1
|
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
Communication dans un congrès
hal-03470294v1
|
|
|
Dynamic languages of propositional control for protocol specificationWorkshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark
Communication dans un congrès
hal-03470306v1
|
Logics of propositional control: a Swiss knife for MASMulti-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Aug 2010, Lyon, France
Communication dans un congrès
hal-03474446v1
|
|
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⟩
Communication dans un congrès
hal-00940868v1
|
|
|
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⟩
Communication dans un congrès
hal-03470308v1
|
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
Communication dans un congrès
hal-03474447v1
|
|
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⟩
Communication dans un congrès
hal-03474445v1
|
|
|
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
Communication dans un congrès
hal-03470307v1
|
|
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
Communication dans un congrès
hal-03526731v1
|
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⟩
Communication dans un congrès
hal-03474460v1
|
|
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⟩
Communication dans un congrès
hal-03526727v1
|
|
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⟩
Communication dans un congrès
hal-03474457v1
|
|
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
Communication dans un congrès
hal-03474456v1
|
|
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⟩
Communication dans un congrès
hal-03474459v1
|
|
|
From cognitive trust theories to computational trust12th International Workshop on Trust in Agent Societies (TRUST 2009 @ AAMAS 2009), May 2009, Budapest, Hungary
Communication dans un congrès
hal-03474453v1
|
|
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
Communication dans un congrès
hal-03474454v1
|
|
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
Communication dans un congrès
hal-03474450v2
|
|
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⟩
Communication dans un congrès
inria-00556156v1
|
|
Dynamic context logic and its application to norm changeDagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271
Communication dans un congrès
hal-03526732v1
|
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⟩
Communication dans un congrès
hal-03470302v1
|
|
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⟩
Communication dans un congrès
hal-03526738v1
|
|
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⟩
Communication dans un congrès
hal-03474452v1
|
|
What do we accept after an announcement?Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès
hal-03526740v1
|
|
Properties of logics of individual and group agency7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149
Communication dans un congrès
hal-03526736v1
|
|
Prime implicate-based belief revision operators18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742
Communication dans un congrès
hal-03526743v1
|
|
|
Logics of Context for Multi-Agent Systems4th ECAI Workshop on Context and ontologies (C&O 2008), Jul 2008, Patras, Greece
Communication dans un congrès
hal-03526737v1
|
Static and dynamic aspects of knowledge about powersInternational Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès
hal-03526741v1
|
|
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
Communication dans un congrès
hal-03526739v1
|
|
|
Prolegomena for a logic of trust and reputation3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157
Communication dans un congrès
hal-00405595v1
|
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⟩
Communication dans un congrès
hal-00800753v1
|
|
Talkin'bout Kripke modelsInternational Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland
Communication dans un congrès
hal-03516648v1
|
|
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⟩
Communication dans un congrès
hal-03516642v1
|
|
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⟩
Communication dans un congrès
hal-03516645v1
|
|
|
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
Communication dans un congrès
hal-03516654v1
|
|
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⟩
Communication dans un congrès
hal-03516647v1
|
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
Communication dans un congrès
hal-03516651v1
|
|
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
Communication dans un congrès
hal-03516644v1
|
|
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⟩
Communication dans un congrès
inria-00556150v1
|
|
|
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⟩
Communication dans un congrès
hal-03516650v1
|
Une plateforme de raisonnement par tableauxXVe Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Jan 2006, Tours, France
Communication dans un congrès
hal-03537171v1
|
|
|
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
Communication dans un congrès
hal-03537168v1
|
|
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
Communication dans un congrès
hal-03537159v1
|
|
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⟩
Communication dans un congrès
hal-03537167v1
|
LoTREC: An environment for experiencing Kripke Semantics2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44
Communication dans un congrès
hal-03537175v1
|
|
|
Elaborating domain descriptions (NMR 2006)11th International Workshop on Nonmonotonic Reasoning (NMR 2006), May 2006, Lake District, United Kingdom
Communication dans un congrès
hal-03537163v1
|
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⟩
Communication dans un congrès
hal-03537169v1
|
|
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
Communication dans un congrès
hal-03537166v1
|
|
|
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
Communication dans un congrès
hal-03516657v1
|
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⟩
Communication dans un congrès
hal-03537162v1
|
|
Terminating modal tableaux with simple completenness proofConference on Advances in Modal Logic (AIML 2006), Sep 2006, Noosa, Queensland, Australia. pp.167-186
Communication dans un congrès
hal-03537176v1
|
|
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⟩
Communication dans un congrès
hal-03537161v1
|
|
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⟩
Communication dans un congrès
hal-03537172v1
|
|
|
A logical framework for an emotionally aware intelligent environmentWorkshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy
Communication dans un congrès
hal-03519756v1
|
|
Elaborating domain descriptions (ECAI 2006)17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401
Communication dans un congrès
hal-03537160v1
|
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⟩
Communication dans un congrès
hal-03516656v1
|
|
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⟩
Communication dans un congrès
hal-03537164v1
|
|
|
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
Communication dans un congrès
hal-03519768v1
|
|
Inferring trust (CLIMA 2005)Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2005), Sep 2005, Lisbon, Portugal. pp.144-160
Communication dans un congrès
hal-03519766v1
|
|
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
Communication dans un congrès
hal-03519767v1
|
|
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
Communication dans un congrès
hal-03519770v1
|
|
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
Communication dans un congrès
hal-03519760v1
|
|
Position Paper: Paraconsistent Reasoning for the Semantic WebWorkshop on Uncertainty Reasoning for the Semantic Web (URSW 2005) @ ISWC 2005, Nov 2005, Galway, Ireland
Communication dans un congrès
hal-03519764v1
|
|
A logical framework for grounding-based dialogue analysis3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom
Communication dans un congrès
hal-03535632v2
|
|
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
Communication dans un congrès
hal-03519775v1
|
|
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
Communication dans un congrès
hal-03519776v1
|
|
Domain descriptions should be modular10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada
Communication dans un congrès
hal-03519772v1
|
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⟩
Communication dans un congrès
hal-03519773v1
|
|
|
On the modularity of theories5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109
Communication dans un congrès
hal-03519763v1
|
|
C&L intention revisited9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.527-535
Communication dans un congrès
hal-03519771v1
|
|
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⟩
Communication dans un congrès
hal-03534094v1
|
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
Communication dans un congrès
hal-03534098v1
|
|
|
Modal probability, belief, and actions1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR 2003), 2003, Olsztyn, Poland. pp.323-344
Communication dans un congrès
hal-03534101v1
|
Beliefs, intentions, actions and speech actsSeventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), Sep 2003, Wallerfangen, Allemagne
Communication dans un congrès
hal-03534095v1
|
|
|
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⟩
Communication dans un congrès
hal-03300685v1
|
|
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⟩
Communication dans un congrès
hal-03300970v1
|
Regression in modal logicWorkshop Methods for Modalities (M4M 2003), Sep 2003, Nancy, France. pp.165-185, ⟨10.3166/jancl.13.165-185⟩
Communication dans un congrès
hal-03534096v1
|
|
Domain descriptions should be modular (preliminary draft)Electronic Festschrift for the 60th Anniversary of Norman Foo, Nov 2003, Sydney, Australia
Communication dans un congrès
hal-03534102v1
|
|
|
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 d'Intelligence Artificielle; Association Française pour la Reconnaissance et l'Interprétation des Formes, Jan 2002, Angers, France
Communication dans un congrès
hal-03534110v1
|
|
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⟩
Communication dans un congrès
hal-03534107v1
|
|
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
Communication dans un congrès
hal-03534106v1
|
|
Sensing and revision in a modal logic of belief and actionEuropean Conference on Artificial Intelligence (ECAI'02), Jul 2002, Lyon, France. pp.307-311
Communication dans un congrès
hal-03534105v1
|
|
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
Communication dans un congrès
hal-03534109v1
|
|
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
Communication dans un congrès
hal-03523410v1
|
Updates, actions and planning17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, Seattle, Washington, United States. pp.119-124
Communication dans un congrès
hal-03300976v1
|
|
Planning as abductionWorkshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States
Communication dans un congrès
hal-03523406v1
|
|
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⟩
Communication dans un congrès
hal-03523409v1
|
|
|
Lotrec: a generic tableau prover for modal and description logicsInternational Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Communication dans un congrès
hal-03523405v1
|
|
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
Communication dans un congrès
hal-03523408v2
|
|
A modal logic for epistemic tests14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.553-557
Communication dans un congrès
hal-03523413v1
|
|
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
Communication dans un congrès
hal-03523419v1
|
|
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
Communication dans un congrès
hal-03523411v1
|
|
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
Communication dans un congrès
hal-03523445v1
|
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
Communication dans un congrès
hal-03523412v1
|
|
|
A Topic-Based Framework for Rational Interaction7e conférence annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Oct 2000, Lausanne, Switzerland
Communication dans un congrès
hal-03523416v1
|
|
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
Communication dans un congrès
hal-04034585v1
|
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
Communication dans un congrès
hal-03300192v1
|
|
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⟩
Communication dans un congrès
hal-04039598v1
|
|
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⟩
Communication dans un congrès
hal-04047098v1
|
|
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
Communication dans un congrès
hal-04050876v1
|
|
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
Communication dans un congrès
hal-04053421v1
|
|
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⟩
Communication dans un congrès
hal-04029858v1
|
|
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
Communication dans un congrès
hal-04057358v1
|
|
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⟩
Communication dans un congrès
hal-04058278v1
|
|
Poster sur ``La logique facile avec TouIST''Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017
Poster de conférence
hal-03116309v1
|
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages
hal-04270163v1
|
|
Social IntelligenceHerzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩
Ouvrages
hal-02976598v1
|
|
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⟩
Ouvrages
hal-03128333v1
|
|
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⟩
Ouvrages
hal-03213935v1
|
|
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
Ouvrages
hal-03260614v1
|
|
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⟩
Ouvrages
hal-03220769v1
|
|
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
Ouvrages
hal-03464935v1
|
|
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
Ouvrages
hal-03464945v1
|
|
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
Ouvrages
hal-03470292v1
|
|
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)
Ouvrages
hal-03470299v1
|
|
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
Ouvrages
hal-03474449v1
|
|
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
Ouvrages
hal-03526729v1
|
|
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)
Ouvrages
hal-03516652v1
|
|
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
Ouvrages
hal-03519757v1
|
|
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
Ouvrages
hal-03523407v1
|
|
Conditionals: From Philosophy to Computer ScienceClarendon Press, 5, pp.1-376, 1996, Studies in Logic and Computation, 978-0198538615
Ouvrages
hal-04053312v1
|
|
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⟩
Chapitre d'ouvrage
hal-03573581v1
|
|
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⟩
Chapitre d'ouvrage
hal-03573580v1
|
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⟩
Chapitre d'ouvrage
hal-03015828v1
|
|
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⟩
Chapitre d'ouvrage
hal-03015825v1
|
|
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)
Chapitre d'ouvrage
hal-03033975v1
|
|
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
Chapitre d'ouvrage
hal-03033977v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-03092766v1
|
|
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
Chapitre d'ouvrage
hal-03209308v1
|
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⟩
Chapitre d'ouvrage
hal-03190192v1
|
|
|
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
Chapitre d'ouvrage
hal-03190191v1
|
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⟩
Chapitre d'ouvrage
hal-03220749v1
|
|
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⟩
Chapitre d'ouvrage
hal-03220750v1
|
|
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
Chapitre d'ouvrage
hal-01493402v1
|
|
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
Chapitre d'ouvrage
hal-03224119v1
|
|
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⟩
Chapitre d'ouvrage
hal-03464936v1
|
|
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
Chapitre d'ouvrage
hal-00770563v1
|
|
|
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
Chapitre d'ouvrage
hal-03464939v1
|
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⟩
Chapitre d'ouvrage
hal-03464943v1
|
|
|
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
Chapitre d'ouvrage
hal-03464948v1
|
|
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⟩
Chapitre d'ouvrage
hal-00557002v2
|
|
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⟩
Chapitre d'ouvrage
hal-03527023v1
|
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
Chapitre d'ouvrage
hal-03526733v1
|
|
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
Chapitre d'ouvrage
hal-03519762v1
|
|
|
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
Chapitre d'ouvrage
hal-03534103v1
|
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⟩
Chapitre d'ouvrage
hal-04013766v1
|
|
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⟩
Chapitre d'ouvrage
hal-04030465v1
|
A Modal Logic for Termgraph Rewriting2010
Pré-publication, Document de travail
hal-00940869v1
|
|
|
Raisonnement sur les actions : de Toronto à Amsterdam2007
Pré-publication, Document de travail
hal-00188885v1
|
|
De DEL à EDL ou comment illustrer la puissance des événements inverses2007
Pré-publication, Document de travail
hal-00192061v1
|
|
Politiques d'action : de la validation psychologique et linguistique à la programmation d'agents cognitifs en intelligence artificielle2005
Pré-publication, Document de travail
hal-00003794v1
|
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87
Rapport
hal-01956087v1
|
|
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
Rapport
hal-03474455v1
|
'Knowable' as 'known after an announcement'[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008
Rapport
hal-00872316v1
|
|
|
From DEL to EDL: exploring the power of converse events[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007
Rapport
hal-03516649v1
|
A simple logical framework for emotional agents[Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006
Rapport
hal-03537174v1
|
|
|
Contracting TBoxes: the importance of being modular[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006
Rapport
hal-03537177v1
|
Uniform Choices in Logics of Agency[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005
Rapport
hal-03519769v1
|
|
|
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
Rapport
hal-03534092v1
|
|
Intention Dynamics -preliminary report-[Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002
Rapport
hal-03523403v1
|
|
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
Rapport
hal-03534104v1
|
|
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
Rapport
hal-03523404v1
|
|
Beliefs, intentions, speech acts and topics[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000
Rapport
hal-03523420v1
|
|
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
Rapport
hal-03523414v1
|
Une typologie des relations d'in(dépendance) qualitative[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998
Rapport
hal-04028806v1
|
|
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
Rapport
hal-04038105v1
|
|
Working papers of the workshop : 'Is logic + ordering enough for formalizing common sense reasoning?'[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 1996
Rapport
hal-04049228v1
|