Filter your results
- 35
- 15
- 32
- 7
- 6
- 3
- 1
- 1
- 3
- 50
- 2
- 1
- 4
- 5
- 3
- 5
- 2
- 9
- 5
- 5
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 47
- 3
- 50
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 50
- 18
- 11
- 9
- 8
- 7
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
|
sorted by
|
|
Using inconsistency measures for estimating reliabilityInternational Journal of Approximate Reasoning, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩
Journal articles
hal-01407484v1
|
||
|
Refinement of intentions15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Conference papers
hal-01692703v1
|
||
|
Elaborating domain descriptions (ECAI 2006)17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401
Conference papers
hal-03537160v1
|
||
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⟩
Book sections
hal-03594791v1
|
|||
|
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
Conference papers
hal-04103466v1
|
||
|
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
Conference papers
hal-03672509v1
|
||
|
Trust-based belief changeEuropean Conference on Artificial Intelligence - ECAI 2014, Aug 2014, Prague, Czech Republic. pp. 549-554
Conference papers
hal-01144907v1
|
||
|
Judgment Aggregation with Abstentions under Voters' Hierarchy17th International Conference Pacific Rim international Conference on Multi-Agents (PRIMA 2014), Dec 2014, Gold Coast, QLD, Australia. pp. 341-356
Conference papers
hal-01316837v1
|
||
|
Strategic disclosure of opinions on a social network16th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017, Sao Paulo, Brazil. pp.1196-1204
Conference papers
hal-01736247v1
|
||
|
On hierarchical task networks15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557
Conference papers
hal-01692705v1
|
||
|
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⟩
Conference papers
hal-03594789v1
|
||
Representing and reasoning about auctionsAutonomous Agents and Multi-Agent Systems, 2022, 36, pp.article 20. ⟨10.1007/s10458-022-09547-9⟩
Journal articles
hal-03605655v1
|
|||
|
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⟩
Book sections
hal-03573581v1
|
||
|
Games of InfluenceJournal of Logic and Computation, 2021, exaa088, pp.1-29. ⟨10.1093/logcom/exaa088⟩
Journal articles
hal-03117720v1
|
||
|
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
Conference papers
hal-04109453v1
|
||
|
Towards Consistency-Based Reliability Assessment14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 1643-1644
Conference papers
hal-01327078v1
|
||
|
A Logic for Collective Choice14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 979-987
Conference papers
hal-01327079v1
|
||
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
Conference papers
hal-03165003v1
|
|||
|
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⟩
Conference papers
hal-02887591v1
|
||
|
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⟩
Journal articles
hal-01625886v1
|
||
|
Multi-Issue Opinion Diffusion under ConstraintsProceedings of the 18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), pp.828-836, 2019
Proceedings
hal-02435349v1
|
||
Epistemic GDL: A logic for representing and reasoning about imperfect information gamesArtificial Intelligence, 2021, Special issue: SI: Epistemic Planning, 294, pp.103453. ⟨10.1016/j.artint.2021.103453⟩
Journal articles
hal-03594780v1
|
|||
|
Strategic Reasoning in Automated Mechanism Design18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2021, Hanoii, Vietnam. pp.487-496, ⟨10.24963/kr.2021/46⟩
Conference papers
hal-03594785v1
|
||
Characterizing the Expressivity of Game Description LanguagesPRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, 11670, Springer International Publishing, pp.597-611, 2019, Lecture Notes in Computer Science book series, 978-3-030-29907-1. ⟨10.1007/978-3-030-29908-8_47⟩
Book sections
hal-03594792v1
|
|||
|
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⟩
Journal articles
hal-01692711v1
|
||
|
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
Conference papers
hal-03658077v1
|
||
|
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
Conference papers
hal-03298975v1
|
||
|
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⟩
Conference papers
hal-03879237v1
|
||
|
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⟩
Conference papers
hal-03300685v1
|
||
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⟩
Book sections
hal-03594796v1
|
- 1
- 2