Filter your results
- 165
- 128
- 2
- 176
- 51
- 27
- 16
- 15
- 4
- 3
- 2
- 1
- 15
- 293
- 16
- 2
- 2
- 1
- 1
- 36
- 31
- 22
- 1
- 3
- 6
- 13
- 10
- 9
- 16
- 10
- 12
- 16
- 14
- 9
- 18
- 13
- 21
- 17
- 15
- 20
- 13
- 7
- 10
- 9
- 8
- 9
- 1
- 2
- 4
- 4
- 2
- 2
- 1
- 263
- 32
- 295
- 21
- 10
- 8
- 8
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 295
- 63
- 45
- 20
- 19
- 18
- 16
- 15
- 13
- 13
- 13
- 12
- 11
- 11
- 11
- 10
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
Qualitative uncertainty and dynamics of argumentation through dynamic logicJournal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Journal articles
hal-03992651v1
|
||
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Conference papers
hal-03015803v1
|
||
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⟩
Book sections
hal-03015825v1
|
|||
|
Judgment aggregation in dynamic logic of propositional assignmentsJournal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
Journal articles
hal-02089335v2
|
||
|
De DEL à EDL ou comment illustrer la puissance des événements inverses2007
Preprints, Working Papers, ...
hal-00192061v1
|
||
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2017
Journal articles
hal-01892914v1
|
|||
|
Refinement of intentions15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Conference papers
hal-01692703v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Journal articles
hal-01585237v1
|
||
|
Simple epistemic planning: generalised gossiping22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Conference papers
hal-01500520v1
|
||
|
Lotrec: a generic tableau prover for modal and description logicsInternational Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Conference papers
hal-03523405v1
|
||
|
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⟩
Book sections
hal-03573580v1
|
||
|
A logical framework for an emotionally aware intelligent environmentWorkshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy
Conference papers
hal-03519756v1
|
||
|
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
Conference papers
hal-03519770v1
|
||
|
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
|
||
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
Books
hal-03464945v1
|
|||
|
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⟩
Book sections
hal-03092766v1
|
||
|
On the modularity of theories5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109
Conference papers
hal-03519763v1
|
||
|
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
Journal articles
hal-03516643v1
|
||
|
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⟩
Conference papers
hal-03470289v1
|
||
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
Books
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)
Books
hal-03470299v1
|
|||
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⟩
Journal articles
istex
hal-03470301v1
|
|||
|
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⟩
Conference papers
hal-03470302v1
|
||
A logic of trust and reputationLogic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Journal articles
istex
hal-03470303v1
|
|||
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⟩
Journal articles
istex
hal-03470305v1
|
|||
Logics for multi-agent systems: a critical overviewInternational Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
Conference papers
hal-01143735v1
|
|||
|
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⟩
Conference papers
hal-01226475v1
|
||
|
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
|
||
|
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⟩
Conference papers
hal-03450068v1
|
||
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
Book sections
hal-00770563v1
|