Odile Papini

80 papers A* 8A 9B 3C 12Misc 2Journal 23Unranked 14
YearRankTypeTitle / Venue / Authors
2024 A conf
Belief Erasure in Propositional Logic.
ECAI
Nadia Creignou, Raïda Ktari, Odile Papini
2024 — conf
Effacement des croyances en logique propositionnelle.
JIAF-JFPDA
Nadia Creignou, Raïda Ktari, Odile Papini
2024 J jnl
Intelligence Artificielle à Marseille. Quelques repères historiques.
Rev. Ouverte Intell. Artif.
Odile Papini
2024 J jnl
Introduction (EN).
Rev. Ouverte Intell. Artif.
Odile Papini, Vincent Risch
2024 J jnl
Introduction (FR).
Rev. Ouverte Intell. Artif.
Odile Papini, Vincent Risch
2022 J jnl
Belief contraction and erasure in fragments of propositional logic.
J. Log. Comput.
Nadia Creignou, Raïda Ktari, Odile Papini
2021 J jnl
Query answering DL-lite knowledge bases from hidden datasets.
Ann. Math. Artif. Intell.
Ghassen Hamdi, Mohamed Nazih Omri, Salem Benferhat, Zied Bouraoui, Odile Papini
2020 — book
A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, Reasoning and Learning
A Guided Tour of Artificial Intelligence Research (1)
Pierre Marquis, Odile Papini, Henri Prade
2020 — book
A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms
A Guided Tour of Artificial Intelligence Research (2)
Pierre Marquis, Odile Papini, Henri Prade
2020 — book
A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence
A Guided Tour of Artificial Intelligence Research (3)
Pierre Marquis, Odile Papini, Henri Prade
2020 — ch.
Elements for a History of Artificial Intelligence.
A Guided Tour of Artificial Intelligence Research (1) (I)
Pierre Marquis, Odile Papini, Henri Prade
2020 — ch.
Main Issues in Belief Revision, Belief Merging and Information Fusion.
A Guided Tour of Artificial Intelligence Research (1) (I)
Didier Dubois, Patricia Everaere, Sébastien Konieczny, Odile Papini
2019 J jnl
A Semantic Characterization ASP Base Revision.
J. Artif. Intell. Res.
Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Éric Würbel
2019 — conf
Assertional Removed Sets Merging of DL-Lite Knowledge Bases.
SUM
Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel
2019 — conf
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning.
GCAI
Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2018 A* conf
Belief Update in the Horn Fragment.
IJCAI
Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran
2018 J jnl
Belief Update within Propositional Fragments.
J. Artif. Intell. Res.
Nadia Creignou, Raïda Ktari, Odile Papini
2018 — conf
Cultural Heritage Resources Profiling: Ontology-based Approach.
WWW (Companion Volume)
Mohamed Ben Ellefi, Odile Papini, Djamal Merad, Jean-Marc Boï, Jean-Philip Royer, Jérôme Pasquet, Jean-Christophe Sourisseau, Filipe Castro, Mohamad Motasem Nawaf, Pierre Drap
2018 A* conf
Possibilistic ASP Base Revision by Certain Input.
IJCAI
Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2018 J jnl
Preface for the special issue on Ontologies and Logic Programming for Query Answering.
Ann. Math. Artif. Intell.
Odile Papini, Salem Benferhat
2018 Misc conf
Querying DL-lite Knowledge Bases from Hidden Datasets.
ISAIM
Ghassen Hamdi, Mohamed Nazih Omri, Odile Papini, Salem Benferhat, Zied Bouraoui
2017 — conf
A Semantic Characterization for ASP Base Revision.
SUM
Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel
2017 C conf
Complexity of Model Checking for Cardinality-Based Belief Revision Operators.
ECSQARU
Nadia Creignou, Raïda Ktari, Odile Papini
2017 — conf
Ontology-Based Photogrammetric Survey in Underwater Archaeology.
ESWC (Satellite Events)
Pierre Drap, Odile Papini, Jean-Christophe Sourisseau, Timmy Gambin
2017 J jnl
Prioritized assertional-based removed sets revision of DL-Lite belief bases.
Ann. Math. Artif. Intell.
Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel
2017 C ed.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ECSQARU
Alessandro Antonucci, Laurence Cholvy, Odile Papini
2016 A* conf
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering.
KR
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016 J jnl
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering.
CoRR
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016 A conf
Belief Contraction Within Fragments of Propositional Logic.
ECAI
Nadia Creignou, Raïda Ktari, Odile Papini
2016 J jnl
Belief Merging within Fragments of Propositional Logic.
ACM Trans. Comput. Log.
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2016 B conf
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis.
JELIA
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016 A* conf
Non-Objection Inference for Inconsistency-Tolerant Query Answering.
IJCAI
Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia
2016 — conf
\exists -ASP for Computing Repairs with Existential Ontologies.
SUM
Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Éric Würbel
2015 C conf
Belief Update Within Propositional Fragments.
ECSQARU
Nadia Creignou, Raïda Ktari, Odile Papini
2015 — ed.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015.
JOWO@IJCAI
Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello
2014 B conf
A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases.
JELIA
Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel
2014 A conf
Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases.
ECAI
Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel
2014 Misc conf
Assertional-based Removed Set Revision of DL-LiteR Belief Bases.
ISAIM
Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel
2014 A conf
Belief merging within fragments of propositional logic.
ECAI
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2014 J jnl
Belief merging within fragments of propositional logic.
CoRR
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2014 J jnl
Belief revision within fragments of propositional logic.
J. Comput. Syst. Sci.
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
2014 A conf
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries.
ECAI
Pierre Marquis, Odile Papini, Henri Prade
2012 J jnl
A possibilistic handling of partially ordered information
CoRR
Salem Benferhat, Sylvain Lagrue, Odile Papini
2012 A* conf
Belief Revision within Fragments of Propositional Logic.
KR
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
2012 J jnl
Changement de croyances et ASP.
Rev. d'Intelligence Artif.
Odile Papini, Éric Würbel
2011 J jnl
Extending Removed Sets Revision to partially preordered belief bases.
Int. J. Approx. Reason.
Mariette Sérayet, Pierre Drap, Odile Papini
2011 C conf
Underwater Archaeological 3D Surveys Validation within the Removed Sets Framework.
ECSQARU
Julien Hué, Mariette Sérayet, Pierre Drap, Odile Papini, Éric Würbel
2010 — ch.
An Exploratory Survey of Logic-Based Formalisms for Spatial Information.
Methods for Handling Imperfect Spatial Information
Florence Dupin de Saint-Cyr, Odile Papini, Henri Prade
2010 J jnl
An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS.
Appl. Intell.
Salem Benferhat, Jonathan Ben-Naim, Odile Papini, Éric Würbel
2010 — conf
Implementing Prioritized Merging with ASP.
IPMU (1)
Julien Hué, Odile Papini, Éric Würbel
2010 — conf
Information Fusion.
SUM
Odile Papini
2010 — ch.
Introduction: Uncertainty Issues in Spatial Information.
Methods for Handling Imperfect Spatial Information
Robert Jeansoulin, Odile Papini, Henri Prade, Steven Schockaert
2010 — book
Methods for Handling Imperfect Spatial Information
Robert Jeansoulin, Odile Papini, Henri Prade, Steven Schockaert
2010 — conf
Toward a Novel Application of CIDOC CRM to Underwater Archaeological Surveys.
ICSC
Olivier Curé, Mariette Sérayet, Odile Papini, Pierre Drap
2009 C conf
Encoding the Revision of Partially Preordered Information in Answer Set Programming.
ECSQARU
Mariette Sérayet, Pierre Drap, Odile Papini
2009 C conf
Merging Belief Bases Represented by Logic Programs.
ECSQARU
Julien Hué, Odile Papini, Éric Würbel
2008 A* conf
A Lexicographic Inference for Partially Preordered Belief Bases.
KR
Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini
2008 A conf
Removed Sets Fusion: Performing Off The Shelf.
ECAI
Julien Hué, Éric Würbel, Odile Papini
2007 C conf
Syntactic Propositional Belief Bases Fusion with Removed Sets.
ECSQARU
Julien Hué, Odile Papini, Éric Würbel
2006 — conf
Towards a Photogrammetry and Virtual Reality Based Heritage Information System: A Case Study of Shawbak Castle in Jordan.
VAST
Pierre Drap, Anne Durand, Malika Nedir, Julien Seinturier, Odile Papini, Florian Boucault, Paul Michael Chapman, Warren J. Viant, Guido Vannini, Michele Nuccioti
2005 C conf
Belief Revision of GIS Systems: The Results of REV!GIS.
ECSQARU
Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin, Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, Éric Würbel
2005 A* conf
Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration.
IJCAI
Salem Benferhat, Sylvain Lagrue, Odile Papini
2004 B conf
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS.
JELIA
Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel
2004 J jnl
Belief change and pre-orders: a brief overview.
Int. J. Geogr. Inf. Sci.
Salem Benferhat, Sylvain Lagrue, Odile Papini
2004 J jnl
Reasoning with partially ordered information in a possibilistic logic framework.
Fuzzy Sets Syst.
Salem Benferhat, Sylvain Lagrue, Odile Papini
2003 A conf
A possibilistic handling of partially ordered information.
UAI
Salem Benferhat, Sylvain Lagrue, Odile Papini
2002 J jnl
Making revision reversible: an approach based on polynomials.
Fundam. Informaticae
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Odile Papini
2002 J jnl
Revising Partially Ordered Beliefs
CoRR
Salem Benferhat, Sylvain Lagrue, Odile Papini
2002 — conf
Revising partially ordered beliefs.
NMR
Salem Benferhat, Sylvain Lagrue, Odile Papini
2001 C conf
Spatial Information Revision: A Comparison between 3 Approaches.
ECSQARU
Éric Würbel, Robert Jeansoulin, Odile Papini
2000 A conf
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax.
ECAI
Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez
2000 J jnl
Knowledge-base revision.
Knowl. Eng. Rev.
Odile Papini
2000 A* conf
Revision: an application in the framework of GIS.
KR
Éric Würbel, Robert Jeansoulin, Odile Papini
1999 — conf
A sequential reversible belief revision method based on polynomials.
AAAI/IAAI
Salem Benferhat, Didier Dubois, Odile Papini
1996 — conf
Révision des connaissances.
JFPLC
Odile Papini
1995 C conf
Revision in Extended Propositional Calculus.
ECSQARU
Odile Papini, Antoine Rauzy
1993 C conf
A Mixed Approach of Revision in Propositional Calculus.
ECSQARU
Odile Papini, Antoine Rauzy
1992 A conf
A Complete Revision Function in Propositional Calculus.
ECAI
Odile Papini
1991 C conf
Revision in Propositional Calculus.
ECSQARU
Odile Papini
1985 J jnl
Utilization of error correcting codes for data transmission simulations.
Discret. Math.
M. C. Gennero, Odile Papini