Filtrer vos résultats
- 14
- 9
- 13
- 4
- 2
- 2
- 1
- 1
- 2
- 23
- 1
- 1
- 3
- 2
- 1
- 1
- 4
- 1
- 1
- 3
- 1
- 3
- 1
- 15
- 8
- 23
- 2
- 1
- 1
- 1
- 1
- 23
- 13
- 10
- 8
- 7
- 6
- 5
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
23 résultats
|
|
|
triés par
|
|
|
TouIST: a Friendly Language for Propositional Logic and More29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Communication dans un congrès
hal-02925894v1
|
||
|
|
Compact Tree Encodings for Planning as QBFInteligencia Artificial. Ibero-American Journal of Artificial Intelligence, 2018, 21 (62), pp.103-113
Article dans une revue
hal-02181997v1
|
||
LoTREC: An environment for experiencing Kripke Semantics2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44
Communication dans un congrès
hal-03537175v1
|
|||
|
|
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete MathematicsComputer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Article dans une revue
hal-03477306v1
|
||
|
|
Twist your logic with TouIST4th International Congress on Tools for Teaching Logic (TTL 2015), IRISA: Institut de Recherche en Informatique et Systèmes Aléatoires; INRIA, Jun 2015, Rennes, France. pp.1-8
Communication dans un congrès
hal-01671317v1
|
||
|
|
TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBFJournées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-03116308v1
|
||
Kripke's Worlds: An introduction to modal logics via tableauxSpringer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩
Ouvrages
hal-03220769v1
|
|||
|
|
An analysis of communication and cooperation in a logic of belief, intention, and action[Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001
Rapport
hal-03523404v1
|
||
|
|
Compact Tree Encodings for Planning as QBF13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Communication dans un congrès
hal-02279383v1
|
||
Une plateforme de raisonnement par tableauxXVe Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Jan 2006, Tours, France
Communication dans un congrès
hal-03537171v1
|
|||
|
|
Actions perceptives et non-perceptives dans une logique de croyances et intentionsPremières Journées Francophones des Modèles formels de l'interaction (MFI'01), May 2001, Toulouse, France
Communication dans un congrès
hal-03523410v1
|
||
|
|
Agents that look at one anotherLogic Journal of the IGPL, 2013, vol. 21 (n° 3), pp. 438-467. ⟨10.1093/jigpal/jzs052⟩
Article dans une revue
hal-01138505v1
|
||
Modal Tableaux: Completeness vs. TerminationArtemov, Sergei; Barringer, Howard; D'Avila Garcez, Artur; Lamb, Luis C.; Woods, John. We Will Show Them: Essays in Honour of Dov Gabbay, 2, College Publications, pp.587-614, 2005, 978-1904987116
Chapitre d'ouvrage
hal-03519762v1
|
|||
Lois, structures et dépendances (groupe LSD)6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160
Communication dans un congrès
hal-03300192v1
|
|||
Terminating modal tableaux with simple completenness proofConference on Advances in Modal Logic (AIML 2006), Sep 2006, Noosa, Queensland, Australia. pp.167-186
Communication dans un congrès
hal-03537176v1
|
|||
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014)Information Dynamics in Artificial Societies Workshop (IDAS 2014), SINTELNET, the European network for social intelligence, Aug 2014, Tübingen, Allemagne
Communication dans un congrès
hal-03246605v1
|
|||
|
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the planeInternational Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332
Communication dans un congrès
hal-01113939v1
|
||
|
|
Codages d'arbres compacts (CTE) pour la planification QBF12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France. pp.1-9
Communication dans un congrès
hal-02982959v1
|
||
Coalition games over Kripke semanticsDégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130
Chapitre d'ouvrage
hal-03526733v1
|
|||
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version)[Rapport de recherche] IRIT. 2014
Rapport
hal-03220765v1
|
|||
|
|
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsAutonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Article dans une revue
hal-01624691v1
|
||
|
|
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-03116309v1
|
||
|
|
Lotrec: a generic tableau prover for modal and description logicsInternational Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Communication dans un congrès
hal-03523405v1
|