Filtrer vos résultats
- 37
- 16
- 36
- 7
- 5
- 3
- 1
- 1
- 3
- 53
- 2
- 1
- 1
- 4
- 5
- 3
- 5
- 1
- 9
- 5
- 5
- 6
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 49
- 4
- 51
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 53
- 17
- 11
- 9
- 8
- 7
- 7
- 6
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
53 résultats
|
|
triés par
|
|
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
|
||
|
Synthesis of Mechanisms with Strategy Logic (Short Paper)23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6
Communication dans un congrès
hal-03879258v1
|
||
|
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning13th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2014), Dec 2014, Gold Coast, QLD, Australia. pp. 733-746
Communication dans un congrès
hal-01316838v1
|
||
|
Mise à jour de pré-ordres basée sur la consistance pour estimer la fiabilité relative de sources d'informationsJournées d'Intelligence Artificielle Fondamentale, Jun 2014, Angers, France
Communication dans un congrès
hal-01120003v1
|
||
|
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
|
||
|
Contracting TBoxes: the importance of being modular[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006
Rapport
hal-03537177v1
|
||
|
Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14)Lorini, Emiliano; Perrussel, Laurent; Müehlenbernd, Roland. Springer, 25 (3-4), pp.269-271, 2016, Journal of Logic, Language and Information, ⟨10.1007/s10849-016-9243-x⟩
Ouvrages
hal-03172239v1
|
||
|
Dalal's Revision without Hamming Distance12th Mexican International Conference on Artificial Intelligence (MICAI 2013), Nov 2013, Mexico City, Mexico. pp. 41-53
Communication dans un congrès
hal-01178556v1
|
||
|
Propositional Opinion Diffusion14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2015, Istanbul, Turkey. pp.989-997
Communication dans un congrès
hal-01523658v1
|
||
|
Game Description Logic with Integers: A GDL Numerical ExtensionFoundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, Springer International Publishing, pp.191-210, 2020, Lecture Notes in Computer Science book series, 978-3-030-39950-4. ⟨10.1007/978-3-030-39951-1_12⟩
Chapitre d'ouvrage
hal-03594786v1
|
||
|
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
|
||
|
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
|
||
Game Equivalence and Bisimulation for Game Description LanguagePRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, 11670 (Part 1), Springer International Publishing, pp.583-596, 2019, Lecture Notes in Computer Science book series, 978-3-030-29907-1. ⟨10.1007/978-3-030-29908-8_46⟩
Chapitre d'ouvrage
hal-03594791v1
|
|||
|
From Signed Information to Belief in Multi-Agent Systems3rd International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS 2010), Aug 2010, Lyon, France
Communication dans un congrès
hal-03672509v1
|
||
|
Using inconsistency measures for estimating reliabilityInternational Journal of Approximate Reasoning, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩
Article dans une revue
hal-01407484v1
|
||
|
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
|
||
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
|
|||
|
A Logic for Collective Choice14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 979-987
Communication dans un congrès
hal-01327079v1
|
||
|
Epistemic GDL: A logic for representing and reasoning about imperfect information games25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New-York, United States. pp.1138-1144
Communication dans un congrès
hal-04109453v1
|
||
|
Games of InfluenceJournal of Logic and Computation, 2021, exaa088, pp.1-29. ⟨10.1093/logcom/exaa088⟩
Article dans une revue
hal-03117720v1
|
||
Arguments and Contextual Preferences3rd ECAI Workshop on Computational Dialectics: "Models of Argumentation, Negotiation and Decision Making" (CD 2000), Aug 2000, Berlin, Germany
Communication dans un congrès
hal-04329693v1
|
|||
|
Towards Consistency-Based Reliability Assessment14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 1643-1644
Communication dans un congrès
hal-01327078v1
|
||
|
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Communication dans un congrès
hal-03666430v1
|
||
|
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
|
||
|
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
|
||
|
Automated Synthesis of Mechanisms31st International Joint Conference on Artificial Intelligence (IJCAI-22), IJCAI Organization, Jul 2022, Vienna, Austria. pp.426-432, ⟨10.24963/ijcai.2022/61⟩
Communication dans un congrès
hal-03879237v1
|
||
On Enumerating Models for the Logic of Paradox Using TableauScalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, 11142, Springer International Publishing, pp.228-242, 2018, Lecture Notes in Computer Science book series, 978-3-030-00460-6. ⟨10.1007/978-3-030-00461-3_16⟩
Chapitre d'ouvrage
hal-03594796v1
|
|||
|
A General Framework for the Logical Representation of Combinatorial Exchange Protocols20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604
Communication dans un congrès
hal-03298975v1
|
||
An Argumentation Framework based on contextual Preferences3rd International Conference on Formal and Applied Practical Reasoning (FAPR 2000), Sep 2000, London, United Kingdom. pp.59--67
Communication dans un congrès
hal-04329692v1
|
|||
|
Auction Description Language (ADL): General Framework for Representing Auction-Based Markets24th European Conference on Artificial Intelligence (ECAI 2020), Aug 2020, Santiago de Compostela, Spain. pp.825-832, ⟨10.3233/FAIA200172⟩
Communication dans un congrès
hal-03594789v1
|
- 1
- 2