Items where Laboratory is "Centre de Recherche en Informatique de Lens - CRIL (Lens, France)"

Article

Bessière, Christian and Fargier, Hélène and Lecoutre, Christophe. Computing and restoring global inverse consistency in interactive constraint satisfaction. (2016) Artificial Intelligence, 241. 153-169. ISSN 0004-3702

Besnard, Philippe and Grégoire, Eric and Raddaoui, Badran. Un système argumentatif pour le raisonnement sur des ressources limitées. (2015) Revue d'Intelligence Artificielle - RIA, 29 (3-4). 349-368. ISSN 0992-499X

Fargier, Hélène and Marquis, Pierre. Disjunctive closures for knowledge compilation. (2014) Artificial Intelligence, 216 (Nov. 2014). 129-162. ISSN 0004-3702

Amilhastre, Jérôme and Fargier, Hélène and Niveau, Alexandre and Pralet, Cedric. Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. (2014) International Journal on Artificial Intelligence Tools, 23 (4). ISSN 0218-2130

Amgoud, Leila and Vesic, Srdjan. Rich preference-based argumentation frameworks. (2014) International Journal of Approximate Reasoning, 55 (2). 585-606. ISSN 0888-613X

Fargier, Hélène and Marquis, Pierre and Schmidt, Nicolas. Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations. (2014) Revue d'Intelligence Artificielle, 28 (5). 571-592. ISSN 0992-499X

Amgoud, Leila and Besnard, Philippe and Vesic, Srdjan. Equivalence in Logic-Based Argumentation. (2014) Journal of Applied Non-Classical Logics, 24 (3). 181-208. ISSN 1166-3081

Herzig, Andreas and Lang, Jerome and Marquis, Pierre. Propositional update operators based on formula/literal dependence. (2013) ACM Transactions on Computational Logic, 14 (3). 1-31. ISSN 1529-3785

Besnard, Philippe and Grégoire, Eric and Ramon, Sébastien. Overriding subsuming rules. (2013) International Journal of Approximate Reasoning, 54 (4). 452-466. ISSN 0888-613X

Conference or Workshop Item

Amgoud, Leïla and Bonzon, Elise and Delobelle, Jérôme and Doder, Dragan and Konieczny, Sébastien and Maudet, Nicolas. Gradual semantics accounting for similarity between arguments. (2018) In: 16th International Conference, Principles of Knowledge Representation and Reasoning (KR 2018), 30 October 2018 - 2 November 2018 (Tempe, United States).

Fargier, Hélène and Marquis, Pierre and Niveau, Alexandre and Schmidt, Nicolas. A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. (2016) In: AAAI'14 : 28th Conference on Artificial Intelligence (2014), 27 July 2014 - 31 July 2014 (Quebec, Canada).

Amgoud, Leila and Ben-Naim, Jonathan and Doder, Dragan and Vesic, Srdjan. Ranking arguments with compensation-based semantics. (2016) In: International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 25 April 2016 - 29 April 2016 (Cap Town, South Africa).

Besnard, Philippe and Grégoire, Eric and Lagniez, Jean-Marie. On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. (2015) In: 29th AAAI Conference on Artificial Intelligence (AAAI 2015), 25 January 2015 - 30 January 2015 (Austin, Texas, United States).

Besnard, Philippe and Grégoire, Eric and Raddaoui, Badran. A Conditional Logic-Based Argumentation Framework. (2013) In: International Conference on Scalable Uncertainty Management (SUM), 16 September 2013 - 18 September 2013 (Washington, D.C., United States).

Fargier, Hélène and Marquis, Pierre and Schmidt, Nicolas. Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations. (2013) In: 9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), 12 June 2013 - 14 June 2013 (Aix en Provence, France).

Amilhastre, Jérôme and Fargier, Hélène and Niveau, Alexandre and Pralet, Cedric. Compilation de CSPs : carte de complexité des MDDs non-déterministes. (2013) In: Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), 12 June 2013 - 14 June 2013 (Aix en Provence, France).

Bessière, Christian and Fargier, Hélène and Lecoutre, Christophe. Global Inverse Consistency for Interactive Constraint Satisfaction. (2013) In: International Conference on Principles and Practice of Constraint Programming - CP 2013, 16 September 2013 - 20 September 2013 (Uppsala, Sweden).

Besnard, Philippe and Grégoire, Eric. Handling Incoming Beliefs. (2013) In: 6th International Conference on Knowledge Science, Engineering and Management (KSEM 2013), 10 August 2013 - 12 August 2013 (Dalian, China).

Fargier, Hélène and Marquis, Pierre and Schmidt, Nicolas. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. (2013) In: International Joint Conference on Artificial Intelligence - IJCAI 2013, 3 August 2013 - 9 August 2013 (Beijing, China).

Fargier, Hélène and Marquis, Pierre and Niveau, Alexandre. Towards a Knowledge Compilation Map for Heterogeneous Representation Language. (2013) In: International Joint Conference on Artificial Intelligence - IJCAI 2013, 3 August 2013 - 9 August 2013 (Beijing, China).

Fargier, Hélène and Marquis, Pierre and Niveau, Alexandre. Vers une carte de compilation pour des langages de représentation hétérogènes. (2013) In: 7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), 12 June 2013 - 14 June 2013 (Aix en Provence, France).

Cholvy, Laurence and Garion, Christophe and Roussel, Stéphanie. Cohérence et complétude des réglementations en présence de contraintes. (2012) In: Sixièmes Journées d'Intelligence Artificielle Fondamentale (JIAF), 22 May 2012 - 24 May 2012 (Toulouse, France).