119 results  save search


hal-00441112v1  Conference papers
Souhila KaciH. Prade. Relaxing Ceteris Paribus Preferences with Partially Ordered Priorities
9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), 2007, Hammamet, Tunisia. pp.660-671
hal-00800743v1  Conference papers
H. FargierPierre Marquis. Extending the Knowledge Compilation Map: Closure Principles
18th European Conference on Artificial Intelligence(ECAI'08), 2008, Greece. pp.50-54
hal-00800751v1  Conference papers
Souhila KaciHenri Prade. Constraints associated with Choquet integrals and other aggregation-free ranking devices
12th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference(IPMU'08), 2008, Spain. pp.1344-1351
hal-00800645v1  Journal articles
Jérôme LangPierre Marquis. On Propositional Definability
Artificial Intelligence Journal(AIJ), 2008, 172, pp.991-1017
hal-00800753v1  Conference papers
Hans van DitmarschA. HerzigJ. LangPierre Marquis. Introspective Forgetting
21st Australasian Joint Conference on Artificial Intelligence(AI'08), 2008, New Zealand. pp.18-29
hal-00800731v1  Conference papers
J. LangBruno EscoffierMeltem Öztürk. Single-Peaked consistency and its complexity
18th European Conference on Artificial Intelligence(ECAI'08), 2008, Greece. pp.366-370
hal-00800649v1  Journal articles
P. BalbianiAlexandru BaltagHans van DitmarschA. HerzigTomohiro Hoshi et al.  Knowable' as 'known after an announcement
The Review of Symbolic Logic, Cambridge Journals, 2008, 1 (3), pp.305--334
hal-00710722v1  Conference papers
Salem BenferhatJean-François BonnefonSara BoutouhamiPhilippe ChassyRui da Silva Neves et al.  A Comparative Study of Six Formal Models of Causal Ascription.
Conf. on Scalable Uncertainty Management, Oct 2008, Naples, Italy. pp.47-62
...
hal-02302952v1  Conference papers
Valentin BouziatXavier PucelStéphanie RousselLouise Travé-Massuyès. Estimabilité à état unique des systèmes à évènements discrets
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
...
hal-02326004v1  Conference papers
Leila AmgoudJonathan Ben-NaimDragan DoderSrdjan Vesic. Acceptability Semantics for Weighted Argumentation Frameworks
Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
...
hal-02326005v1  Conference papers
Leila AmgoudJonathan Ben-NaimSrdjan Vesic. Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value
Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
hal-00866707v1  Conference papers
Andreas HertzigTiago de LimaEmiliano LoriniNicolas Troquard. A computationally grounded dynamic logic of agency, with application to legal actions
Deontic Logic in Computer Science - 11h International Conference (DEON'12), 2012, Bergen, Norway. pp.170-183
...
hal-00811474v1  Conference papers
Alexandre NiveauHélène FargierCédric Pralet. Compilation de CSP en Set-labeled Diagram
JFPC - Journées Francophones sur la Programmation par Contraintes - 2012, May 2012, Toulouse, France
hal-00871830v1  Conference papers
Hans van DitmarschTiago de LimaEmiliano Lorini. Intention change via local assignments
Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS'010), 2011, Lyon, France. pp.136-151
...
hal-00871856v1  Conference papers
Philippe BesnardÉric GrégoireSébastien Ramon. Corriger la Logique des Défauts par la Logique des Défauts
Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), 2009, Marseille, France
hal-00191102v1  Journal articles
L. AmgoudSouhila Kaci. An argumentation framework for merging conflicting knowledge bases
International Journal of Approximate Reasoning, Elsevier, 2007, 45 (2), pp.321-340
...
hal-01177078v1  Conference papers
Philippe BesnardEric Grégoire. Handling Incoming Beliefs
6th International Conference on Knowledge Science, Engineering and Management (KSEM 2013), Aug 2013, Dalian, China. pp. 206-217
...
hal-01124455v1  Journal articles
Philippe BesnardEric GrégoireSébastien Ramon. Overriding subsuming rules
International Journal of Approximate Reasoning, Elsevier, 2013, vol. 54 (n° 4), pp. 452-466. ⟨10.1016/j.ijar.2012.11.003⟩
...
hal-01217173v1  Conference papers
Jérôme AmilhastreHélène FargierAlexandre NiveauCédric Pralet. Compilation de CSPs : carte de complexité des MDDs non-déterministes
Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix en Provence, France. pp. 21-30
...
hal-01217174v1  Conference papers
Hélène FargierPierre MarquisNicolas Schmidt. Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations
Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix en Provence, France. pp. 123-132
hal-00866834v1  Conference papers
Hélène FargierPierre Marquis. Knowledge Compilation Properties of Trees-of-BDDs, Revisited
21st International Joint Conference on Artificial Intelligence (IJCAI'09), 2009, Pasadena, United States. pp.772-777