
Andreas Herzig
295
Documents
Publications
64
46
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
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
2
1
1
1
1
1
1
1
1
1
1
1
1
1
7
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
Publications
|
Qualitative uncertainty and dynamics of argumentation through dynamic logicJournal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Article dans une revue
hal-03992651
v1
|
|
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-03573573
v1
|
|
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-03011708
v1
|
|
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-03147798
v1
|
|
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-03210604
v1
|
|
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-02936458
v1
|
|
Autoepistemic equilibrium logic and epistemic specificationsArtificial Intelligence, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
Article dans une revue
hal-02945872
v1
|
|
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-03012105
v1
|
|
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-02891607
v1
|
|
The epistemic gossip problemDiscrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
Article dans une revue
hal-02147986
v1
|
|
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⟩
Article dans une revue
hal-04778206
v1
|
|
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-02089335
v2
|
|
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-02124074
v1
|
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2017
Article dans une revue
hal-01892914
v1
|
|
|
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-01625886
v1
|
Planifier grâce au bavardageInterstices, 2017
Article dans une revue
hal-01616344
v1
|
|
|
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-01692711
v1
|
|
How to share knowledge by gossipingAI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩
Article dans une revue
hal-03512916
v1
|
|
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-01585237
v1
|
|
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-01285093
v1
|
|
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-01127960
v1
|
|
A formal account of dishonestyLogic Journal of the IGPL, 2014, 23 (2), pp.259-294. ⟨10.1093/jigpal/jzu043⟩
Article dans une revue
hal-01387822
v1
|
|
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-01128955
v1
|
|
Introduction to the special issueInternational Journal of Game Theory, 2013, 42 (3), ⟨10.1007/s00182-013-0387-5⟩
Article dans une revue
hal-01494297
v1
|
|
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-01153715
v1
|
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
istex
hal-03464940
v1
|
|
|
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-00868339
v1
|
|
ForewordJournal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.263-264. ⟨10.1080/11663081.2011.9736665⟩
Article dans une revue
hal-01494282
v1
|
|
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-00868361
v1
|
|
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-03464954
v1
|
A logic of trust and reputationLogic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Article dans une revue
istex
hal-03470303
v1
|
|
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
istex
hal-03470301
v1
|
|
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
istex
hal-03470305
v1
|
|
|
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-03474458
v1
|
|
A logical formalization of the OCC theory of emotionsSynthese, 2009, 168 (2), pp.201--248
Article dans une revue
hal-03474451
v1
|
|
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-00556034
v1
|
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-03526728
v1
|
|
|
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-03466389
v1
|
Introspective ForgettingSynthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩
Article dans une revue
istex
hal-00868609
v1
|
|
|
The logic of acceptance: grounding institutions on agents' attitudesJournal of Logic and Computation, 2009, 19 (6), pp.901-940
Article dans une revue
hal-01060135
v1
|
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⟩
Article dans une revue
istex
hal-00747135
v1
|
|
|
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-03526742
v1
|
|
A logic of intention and attemptSynthese, 2008, 163 (1), pp.45-77
Article dans une revue
hal-03526735
v1
|
|
Knowable' as 'known after an announcementThe review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩
Article dans une revue
hal-00800649
v1
|
|
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-03526734
v1
|
|
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-03516643
v1
|
|
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-03516646
v1
|
|
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-03535631
v1
|
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-03537173
v1
|
|
Regression in Modal LogicJournal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185
Article dans une revue
hal-03534099
v1
|
|
|
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-03534108
v1
|
|
Belief Dynamics in Cooperative DialoguesJournal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩
Article dans une revue
istex
hal-03478237
v1
|
|
Towards Epistemic-Doxastic Planning with Observation and RevisionAAAI 2024, Feb 2024, Vancouver (BC), France. pp.10501-10508, ⟨10.1609/AAAI.V38I9.28919⟩
Communication dans un congrès
hal-04778239
v1
|
|
A Novel View of Analogical Proportion Between FormulasECAI 2024, Oct 2024, Santiago de Compostela, SPAIN, Spain. ⟨10.3233/FAIA240624⟩
Communication dans un congrès
hal-04778278
v1
|
|
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-04307012
v1
|
|
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-03818471
v1
|
|
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-03873341
v1
|
|
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-03450068
v1
|
|
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-03015803
v1
|
|
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-02887591
v1
|
|
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-02925894
v1
|
|
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-03008589
v1
|
|
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-03450084
v1
|
|
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-03450078
v1
|
|
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-03015763
v1
|
|
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-02411254
v1
|
|
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-02891688
v1
|
|
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-02865935
v1
|
|
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-02378391
v1
|
|
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-03622809
v1
|
|
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-02942300
v1
|
|
When 'knowing whether' is better than 'knowing that13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Communication dans un congrès
hal-02302984
v1
|
|
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-02147891
v1
|
|
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-03046246
v1
|
|
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-03658082
v1
|
|
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-03658077
v1
|
|
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-03116308
v1
|
|
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-01919061
v1
|
|
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-03658133
v1
|
|
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-02064232
v1
|
|
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-02603831
v1
|
|
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-03658088
v1
|
|
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-01692703
v1
|
|
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-01500520
v1
|
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-03165003
v1
|
|
|
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-01567082
v1
|
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-01424478
v1
|
|
|
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-03159069
v1
|
|
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-01692705
v1
|
|
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-01530163
v1
|
|
Before announcement11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Communication dans un congrès
hal-01650180
v1
|
|
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-01500521
v1
|
|
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-04109521
v1
|
|
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-01334713
v1
|
|
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-01592020
v1
|
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-01316819
v1
|
|
|
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-01316827
v1
|
|
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-03193119
v1
|
|
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-04103466
v1
|
|
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-01188251
v1
|
|
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-01146747
v1
|
|
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-01399881
v1
|
|
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-03224137
v1
|
|
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-01147220
v1
|
|
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-01159678
v1
|
|
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-04081301
v1
|
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-01143735
v1
|
|
|
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-01226475
v1
|
|
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-01187760
v1
|
|
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-01240721
v1
|
|
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-03464938
v1
|
|
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-01228754
v1
|
|
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-03464937
v1
|
|
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-01147307
v1
|
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-03464947
v1
|
|
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-03464942
v1
|
|
|
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-00866705
v1
|
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-00866707
v1
|
|
|
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-03470289
v1
|
|
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-03464951
v1
|
|
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-03470293
v1
|
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-03470294
v1
|
|
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-03470300
v1
|
|
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-03470296
v1
|
|
|
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-03470298
v1
|
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-03464955
v1
|
|
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
istex
hal-03464952
v1
|
|
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-03470297
v1
|
|
|
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-03470290
v1
|
|
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-03470302
v1
|
|
Dynamic languages of propositional control for protocol specificationWorkshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark
Communication dans un congrès
hal-03470306
v1
|
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-03474446
v1
|
|
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-03474447
v1
|
|
|
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-03470308
v1
|
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
istex
hal-00940868
v1
|
|
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
istex
hal-03474445
v1
|
|
|
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-03470307
v1
|
|
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-03526732
v1
|
|
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-03526727
v1
|
|
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-03526731
v1
|
|
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-03474460
v1
|
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
istex
hal-03474452
v1
|
|
|
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-03474454
v1
|
|
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-03474450
v2
|
|
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
istex
inria-00556156
v1
|
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
istex
hal-03474459
v1
|
|
|
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-03474453
v1
|
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
istex
hal-03474457
v1
|
|
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-03474456
v1
|
|
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
istex
hal-00800753
v1
|
|
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-03526736
v1
|
|
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-03526740
v1
|
|
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
istex
hal-03526738
v1
|
|
|
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-00405595
v1
|
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-03526741
v1
|
|
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-03526739
v1
|
|
|
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-03526737
v1
|
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-03526743
v1
|
|
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
istex
inria-00556150
v1
|
|
|
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-03516645
v1
|
Talkin'bout Kripke modelsInternational Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland
Communication dans un congrès
hal-03516648
v1
|
|
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-03516642
v1
|
|
|
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-03516650
v1
|
|
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-03516647
v1
|
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-03516644
v1
|
|
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-03516651
v1
|
|
|
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-03516654
v1
|
|
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-03537160
v1
|
|
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-03519756
v1
|
|
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-03537159
v1
|
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-03537171
v1
|
|
|
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-03537164
v1
|
|
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-03537168
v1
|
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-03516656
v1
|
|
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-03537176
v1
|
|
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
istex
hal-03537161
v1
|
|
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
istex
hal-03537172
v1
|
|
|
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-03516657
v1
|
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-03537166
v1
|
|
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
istex
hal-03537162
v1
|
|
|
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-03537163
v1
|
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-03537175
v1
|
|
|
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-03537167
v1
|
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
istex
hal-03537169
v1
|
|
|
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-03519763
v1
|
|
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-03519760
v1
|
|
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-03519770
v1
|
|
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-03519768
v1
|
|
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-03535632
v2
|
|
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-03519764
v1
|
|
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-03519767
v1
|
|
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-03519766
v1
|
|
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-03519776
v1
|
|
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-03519775
v1
|
|
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-03519771
v1
|
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
istex
hal-03519773
v1
|
|
|
Domain descriptions should be modular10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada
Communication dans un congrès
hal-03519772
v1
|
|
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-03300970
v1
|
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-03534102
v1
|
|
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-03534096
v1
|
|
|
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-03300685
v1
|
|
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-03534101
v1
|
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-03534095
v1
|
|
|
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-03534094
v1
|
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-03534098
v1
|
|
|
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-03534105
v1
|
|
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-03534110
v1
|
|
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-03534109
v1
|
|
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-03534106
v1
|
|
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-03534107
v1
|
|
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-03523405
v1
|
|
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-03523410
v1
|
|
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-03523408
v2
|
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
istex
hal-03523409
v1
|
|
Planning as abductionWorkshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States
Communication dans un congrès
hal-03523406
v1
|
|
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-03300976
v1
|
|
|
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-03523413
v1
|
|
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-03523445
v1
|
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-03523412
v1
|
|
|
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-03523416
v1
|
|
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-03523411
v1
|
|
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-03523419
v1
|
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-03300192
v1
|
|
|
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-04034585
v1
|
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
istex
hal-04039598
v1
|
|
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
istex
hal-04047098
v1
|
|
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-04050876
v1
|
|
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-04053421
v1
|
|
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-04057358
v1
|
|
|
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-04029858
v1
|
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
istex
hal-04058278
v1
|
|
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
Poster de conférence
hal-03116309
v1
|
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages
hal-04270163
v1
|
|
|
Social IntelligenceHerzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩
Ouvrages
hal-02976598
v1
|
|
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-03128333
v1
|
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-03213935
v1
|
|
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-03220769
v1
|
|
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-03260614
v1
|
|
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-03464935
v1
|
|
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-03464945
v1
|
|
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-03470292
v1
|
|
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-03470299
v1
|
|
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-03474449
v1
|
|
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-03526729
v1
|
|
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-03516652
v1
|
|
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-03519757
v1
|
|
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-03523407
v1
|
|
Conditionals: From Philosophy to Computer ScienceClarendon Press, 5, pp.1-376, 1996, Studies in Logic and Computation, 978-0198538615
Ouvrages
hal-04053312
v1
|
|
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-03573580
v1
|
|
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-03573581
v1
|
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-03015825
v1
|
|
|
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-03015828
v1
|
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-03033977
v1
|
|
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-03033975
v1
|
|
|
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-03092766
v1
|
|
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-03209308
v1
|
|
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-03190191
v1
|
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-03190192
v1
|
|
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-03220749
v1
|
|
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-03224119
v1
|
|
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-01493402
v1
|
|
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-03220750
v1
|
|
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-00770563
v1
|
|
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-03464936
v1
|
|
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-03464943
v1
|
|
|
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-03464939
v1
|
|
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-03464948
v1
|
|
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-00557002
v2
|
|
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
istex
hal-03527023
v1
|
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-03526733
v1
|
|
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-03519762
v1
|
|
|
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-03534103
v1
|
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
istex
hal-04013766
v1
|
|
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-04030465
v1
|
|
SNN-Based Online Learning of Concepts and Action Laws in an Open World2025
Pré-publication, Document de travail
(preprint/prepublication)
hal-04779695
v3
|
|
A Modal Logic for Termgraph Rewriting2010
Pré-publication, Document de travail
hal-00940869
v1
|
|
De DEL à EDL ou comment illustrer la puissance des événements inverses2007
Pré-publication, Document de travail
hal-00192061
v1
|
|
Raisonnement sur les actions : de Toronto à Amsterdam2007
Pré-publication, Document de travail
hal-00188885
v1
|
|
Politiques d'action : de la validation psychologique et linguistique à la programmation d'agents cognitifs en intelligence artificielle2005
Pré-publication, Document de travail
hal-00003794
v1
|
|
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-01956087
v1
|
|
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
(rapport de recherche)
hal-03474455
v1
|
Knowable' as 'known after an announcement[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008
Rapport
(rapport de recherche)
hal-00872316
v1
|
|
|
From DEL to EDL: exploring the power of converse events[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007
Rapport
(rapport de recherche)
hal-03516649
v1
|
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
(rapport de recherche)
hal-03537174
v1
|
|
|
Contracting TBoxes: the importance of being modular[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006
Rapport
(rapport de recherche)
hal-03537177
v1
|
Uniform Choices in Logics of Agency[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005
Rapport
(rapport de recherche)
hal-03519769
v1
|
|
|
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
(rapport de recherche)
hal-03534092
v1
|
|
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
(rapport de recherche)
hal-03534104
v1
|
|
Intention Dynamics -preliminary report[Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002
Rapport
(rapport de recherche)
hal-03523403
v1
|
|
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
(rapport de recherche)
hal-03523404
v1
|
|
Beliefs, intentions, speech acts and topics[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000
Rapport
(rapport de recherche)
hal-03523420
v1
|
|
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
(rapport de recherche)
hal-03523414
v1
|
Une typologie des relations d'in(dépendance) qualitative[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998
Rapport
(rapport de recherche)
hal-04028806
v1
|
|
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
(rapport de recherche)
hal-04038105
v1
|
|
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
(rapport de recherche)
hal-04049228
v1
|
Chargement...
Chargement...