Graph Based Knowledge Representation and Reasoning: Practical AI Applications

My research interests are in the field of knowledge representation and reasoning (KRR). During and since my PhD (throughout my post-doc and lectureship) I have investigated graph-based KRR languages applied in different Artificial Intelligence (AI) fields. Syntactically, the objects I am interested in are graphs. Semantically these graphs represent different subsets of logics such that the logic operations are sound and complete with graph operations. This adds logical background to the well-known modelling capacity of graphs

[1]  Dan Suciu,et al.  Query-Based Data Pricing , 2015, J. ACM.

[2]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[3]  Madalina Croitoru,et al.  A knowledge-rich distributed decision support framework: a case study for brain tumour diagnosis , 2011, Knowl. Eng. Rev..

[4]  Jordi Cabot,et al.  MoDisco: A model driven reverse engineering framework , 2014, Inf. Softw. Technol..

[5]  Alun D. Preece,et al.  Arguing with Confidential Information , 2006, ECAI.

[6]  Takeo Kanade,et al.  Coordination, Organizations, Institutions and Norms in Agent Systems IV , 2009 .

[7]  Henry Prakken,et al.  A general account of argumentation with preferences , 2013, Artif. Intell..

[8]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[9]  Lise Getoor,et al.  Entity Resolution in Graphs , 2005 .

[10]  S. Y. Wang,et al.  Existence of a pareto equilibrium , 1993 .

[11]  Madalina Croitoru,et al.  Visual reasoning with graph-based mechanisms: the good, the better and the best , 2013, The Knowledge Engineering Review.

[12]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[13]  Stefan Schlobach,et al.  ABox Abduction in the Description Logic ALC , 2011, J. Autom. Reason..

[14]  Nicolas Maudet,et al.  Layered Strategies and Protocols for Argumentation-Based Agent Interaction , 2004, ArgMAS.

[15]  Madalina Croitoru,et al.  A Conceptual Graph Approach for the Generation of Referring Expressions , 2007, IJCAI.

[16]  Madalina Croitoru,et al.  On Link Validity in Bibliographic Knowledge Bases , 2012, IPMU.

[17]  Jean-Marie Bourre,et al.  Valeur nutritionnelle (macro et micro-nutriments) de farines et pains français , 2008 .

[18]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[19]  Claudette Cayrol,et al.  Inferring from Inconsistency in Preference-Based Argumentation Frameworks , 2002, Journal of Automated Reasoning.

[20]  Christian Straßer,et al.  Abstract argumentation and explanation applied to scientific debates , 2011, Synthese.

[21]  Sugato Basu,et al.  Adaptive product normalization: using online learning for record linkage in comparison shopping , 2005, Fifth IEEE International Conference on Data Mining (ICDM'05).

[22]  Paolo Bouquet,et al.  An Entity Name System (ENS) for the Semantic Web , 2008, ESWC.

[23]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.

[24]  Franz Baader,et al.  Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ , 2008, KR-MED.

[25]  Bijan Parsia,et al.  Justification Oriented Proofs in OWL , 2010, SEMWEB.

[26]  Claudette Cayrol,et al.  Coalitions of arguments: A tool for handling bipolar argumentation frameworks , 2010, Int. J. Intell. Syst..

[27]  Andrew V. Goldberg,et al.  Competitive auctions and digital goods , 2001, SODA '01.

[28]  Nir Oren,et al.  Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Opponent Models with Uncertainty for Strategic Argumentation , 2022 .

[29]  Jürgen Dix,et al.  Research challenges for argumentation , 2009, Computer Science - Research and Development.

[30]  Madalina Croitoru,et al.  Decision support for agri-food chains: A reverse engineering argumentation-based approach , 2015, Ecol. Informatics.

[31]  Diego Calvanese,et al.  Reasoning about Explanations for Negative Query Answers in DL-Lite , 2013, J. Artif. Intell. Res..

[32]  William Vickrey,et al.  Counterspeculation, Auctions, And Competitive Sealed Tenders , 1961 .

[33]  Éva Tardos,et al.  Algorithm design , 2005 .

[34]  Andrew V. Goldberg,et al.  A new approach to the maximum flow problem , 1986, STOC '86.

[35]  T. Raimbault,et al.  A New Method to Interrogate and Check UML Class Diagrams , 2005, ICCS.

[36]  Nicholas R. Jennings,et al.  An improved dynamic programming algorithm for coalition structure generation , 2008, AAMAS.

[37]  Madalina Croitoru,et al.  Exclusivity-based allocation of knowledge , 2012, AAMAS.

[38]  Marie-Laure Mugnier,et al.  Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs , 2008, Advanced Information and Knowledge Processing.

[39]  Sophie Dubuisson-Quellier,et al.  De la routine à la délibération. Les arbitrages des consommateurs en situation d'achat , 2006 .

[40]  Dan Suciu,et al.  Causality in Databases , 2010, IEEE Data Eng. Bull..

[41]  Divesh Srivastava,et al.  Explaining Program Execution in Deductive Systems , 1993, DOOD.

[42]  Dan Suciu,et al.  WHY SO? or WHY NO? Functional Causality for Explaining Query Answers , 2009, MUD.

[43]  Abdallah Arioua,et al.  On Conceptual Graphs and Explanation of Query Answering under Inconsistency , 2014, ICCS.

[44]  Anthony Hunter,et al.  An Argumentation-Based Approach for Decision Making , 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

[45]  Diane J. Cook,et al.  Flexible Social Laws , 1995, IJCAI.

[46]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[47]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

[48]  Surajit Chaudhuri,et al.  Eliminating Fuzzy Duplicates in Data Warehouses , 2002, VLDB.

[49]  Madalina Croitoru,et al.  Aggregation Semantics for Link Validity , 2013, SGAI Conf..

[50]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[51]  Renato Paes Leme,et al.  Optimal mechanisms for selling information , 2012, EC '12.

[52]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[53]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[54]  Stefan Schlobach,et al.  Debugging and Semantic Clarification by Pinpointing , 2005, ESWC.

[55]  Sarvapali D. Ramchurn,et al.  Near-Optimal Anytime Coalition Structure Generation , 2006, IJCAI.

[56]  Rafael Peñaloza,et al.  Pinpointing in the Description Logic EL , 2007, Description Logics.

[57]  Iyad Rahwan,et al.  Laying the foundations for a World Wide Argument Web , 2007, Artif. Intell..

[58]  Jean-François Baget,et al.  RDF Entailment as a Graph Homomorphism , 2005, SEMWEB.

[59]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[60]  Leon van der Torre,et al.  Preference-based argumentation: Arguments supporting multiple values , 2008, Int. J. Approx. Reason..

[61]  Christen Krogh,et al.  The Rights of Agents , 1995, ATAL.

[62]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[63]  Wolfgang G. Stock,et al.  Information Markets: A Strategic Guideline for the I-Commerce , 2011 .

[64]  Madalina Croitoru,et al.  What Can Argumentation Do for Inconsistent Ontology Query Answering? , 2013, SUM.

[65]  Madalina Croitoru,et al.  Conflicting viewpoint relational database querying: an argumentation approach , 2014, AAMAS.

[66]  Michael Luck,et al.  Graph-Based Norm Explanation , 2010, SGAI Conf..

[67]  Yining Wu,et al.  Between Argument and Conclusion - Argument-based Approaches to Discussion, Inference and Uncertainty , 2012 .

[68]  Bijan Parsia,et al.  Explaining Inconsistencies in OWL Ontologies , 2009, SUM.

[69]  Umberto Straccia,et al.  Informative Top-k Retrieval for Advanced Skill Management , 2009, Semantic Web Information Management.

[70]  C. Hempel,et al.  Studies in the Logic of Explanation , 1948, Philosophy of Science.

[71]  H. Varian.  BUYING, SHARING AND RENTING INFORMATION GOODS* , 2003 .

[72]  Michael Luck,et al.  Understanding Permissions through Graphical Norms , 2010, DALT.

[73]  F. Lehmann,et al.  Semantic Networks in Artificial Intelligence , 1992 .

[74]  Nicholas R. Jennings,et al.  A Network Flow Approach to Coalitional Games , 2010, ECAI.

[75]  Marie-Laure Mugnier,et al.  On querying simple conceptual graphs with negation , 2007, Data Knowl. Eng..

[76]  Xi Deng,et al.  A Framework for Explaining Reasoning in Description Logics , 2005, ExaCt.

[77]  Madalina Croitoru,et al.  Towards Multi-Agent Knowledge Allocation , 2012 .

[78]  Madalina Croitoru,et al.  How Much Should You Pay for Information? , 2013, 2013 IEEE 10th International Conference on e-Business Engineering.

[79]  Peter F. Patel-Schneider,et al.  Usability Issues in Knowledge Representation Systems , 1998, AAAI/IAAI.

[80]  Henry Prakken,et al.  On logical specifications of the Argument Interchange Format , 2013, J. Log. Comput..

[81]  Yoav Shoham,et al.  Marginal contribution nets: a compact representation scheme for coalitional games , 2005, EC '05.

[82]  Stuart C. Shapiro.  SNePS: a logic for natural language understanding and commonsense reasoning , 2000 .

[83]  David Genest,et al.  Contextual Cognitive Map , 2008, ICCS.

[84]  W. Winkler.  Overview of Record Linkage and Current Research Directions , 2006 .

[85]  Madalina Croitoru,et al.  The HealthAgents ontology: knowledge representation in a distributed decision support system for brain tumours , 2011, The Knowledge Engineering Review.

[86]  Michael Luck,et al.  Handling Mitigating Circumstances for Electronic Contracts , 2008 .

[87]  Zainab Assaghir,et al.  Numerical Information Fusion: Lattice of Answers with Supporting Arguments , 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

[88]  Claudette Cayrol,et al.  On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment , 1995, IJCAI.

[89]  Alberto J. Cañas,et al.  The Origins of the Concept Mapping Tool and the Continuing Evolution of the Tool* , 2006, Inf. Vis..

[90]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[91]  Srdjan Vesic,et al.  Maxi-Consistent Operators in Argumentation , 2012, ECAI.

[92]  M. Chein,et al.  Graph-based Knowledge Representation and Reasoning , 2010, ICEIS.

[93]  Henri Prade,et al.  Reaching Agreement Through Argumentation: A Possibilistic Approach , 2004, KR.

[94]  Madalina Croitoru,et al.  Update Operators for Inconsistent Query Answering: A New Point of View , 2014, SUM.

[95]  Michel Leclère,et al.  Formal and graphical annotations for digital objects , 2007, SADPI.

[96]  Michaël Thomazo,et al.  A Sound and Complete Backward Chaining Algorithm for Existential Rules , 2012, RR.

[97]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[98]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[99]  Sebastian Rudolph,et al.  Walking the Complexity Lines for Generalized Guarded Existential Rules , 2011, IJCAI.

[100]  Guido Governatori,et al.  Characterising Deadlines in Temporal Modal Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[101]  Christopher Ré,et al.  Large-Scale Deduplication with Constraints Using Dedupalog , 2009, 2009 IEEE 25th International Conference on Data Engineering.

[102]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

[103]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[104]  Rajeev Motwani,et al.  Robust identification of fuzzy duplicates , 2005, 21st International Conference on Data Engineering (ICDE'05).

[105]  Michael Luck,et al.  Determining the Trustworthiness of New Electronic Contracts , 2009, ESAW.

[106]  Ulrich Endriss,et al.  Winner determination for mixed multi-unit combinatorial auctions via petri nets , 2007, AAMAS '07.

[107]  Sébastien Destercke,et al.  A flexible bipolar querying approach with imprecise data and guaranteed results , 2011, Fuzzy Sets Syst..

[108]  Thomas Lukasiewicz,et al.  Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs , 2019, SEBD.

[109]  Andrea Calì,et al.  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.

[110]  Guido Boella,et al.  Institutions with a hierarchy of authorities in distributed dynamic environments , 2008, Artificial Intelligence and Law.

[111]  Sylvie Issanchou,et al.  Effect of fibre information on consumer willingness to pay for French baguettes , 2009 .

[112]  Onn Shehory,et al.  Computationally efficient and revenue optimized auctioneer's strategy for expanding auctions , 2006, AAMAS '06.

[113]  Marie-Laure Mugnier,et al.  Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study , 2006, IEA/AIE.

[114]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[115]  Parke Godfrey,et al.  Minimization in Cooperative Response to Failing Database Queries , 1994, Int. J. Cooperative Inf. Syst..

[116]  Craig Boutilier,et al.  Bidding Languages for Combinatorial Auctions , 2001, IJCAI.

[117]  Riccardo Rosati,et al.  Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access , 2013, IJCAI.

[118]  E. Maasland,et al.  Auction Theory , 2021, Springer Texts in Business and Economics.

[119]  Margaret Masterman.  Semantic message detection for machine translation, using an interlingua , 1961, EARLYMT.

[120]  David Genest,et al.  Cognitive Map of Conceptual Graphs: A Graphical Model to Help for Decision , 2003, ICCS.

[121]  Douglas Walton,et al.  A dialogue system specification for explanation , 2011, Synthese.

[122]  Jean-François Baget,et al.  Rules Dependencies in Backward Chaining of Conceptual Graphs Rules , 2006, ICCS.

[123]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[124]  Madalina Croitoru,et al.  Distinguishing Answers in Conceptual Graph Knowledge Bases , 2009, ICCS.

[125]  Ulrich Endriss,et al.  Modelling Combinatorial Auctions in Linear Logic , 2010, KR.

[126]  Nicolás D. Rotstein,et al.  An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation , 2007 .

[127]  Florian Stahl,et al.  Marketplaces for data: an initial survey , 2013, SGMD.

[128]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[129]  Herman J. ter Horst,et al.  Extending the RDFS Entailment Lemma , 2004, SEMWEB.

[130]  Bo Hu,et al.  Indexing ontologies with semantics-enhanced keywords , 2007, K-CAP '07.

[131]  Anthony Wirth,et al.  Correlation Clustering , 2010, Encyclopedia of Machine Learning and Data Mining.

[132]  Nicholas R. Jennings,et al.  Coalition Structure Generation : Dynamic Programming Meets Anytime Optimization , 2008 .

[133]  Dan Suciu,et al.  A theory of pricing private data , 2012, ICDT '13.

[134]  Henri Prade,et al.  Using arguments for making and explaining decisions , 2009, Artif. Intell..

[135]  Stuart C. Shapiro,et al.  THE SNePS SEMANTIC NETWORK PROCESSING SYSTEM , 1979 .

[136]  Madalina Croitoru,et al.  Hierarchical Knowledge Integration Using Layered Conceptual Graphs , 2005, ICCS.

[137]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[138]  Amadou Ndiaye,et al.  Answering queries that may have results in the future: A case study in food science , 2010, Knowl. Based Syst..

[139]  Michel Chein,et al.  A content-search information retrieval process based on conceptual graphs , 2005, Knowledge and Information Systems.

[140]  Henri Prade,et al.  Decision-Making Process: Concepts and Methods , 2009 .

[141]  Madalina Croitoru,et al.  Representing and Reasoning about Different Viewpoints: An Agronomy Application , 2009, ICCS.

[142]  Liang Xiao,et al.  Expressive security policy rules using Layered Conceptual Graphs , 2007, Knowl. Based Syst..

[143]  Madalina Croitoru,et al.  A Viewpoint Approach to Structured Argumentation , 2013, SGAI Conf..

[144]  Cédric Baudrit,et al.  Modelling and analysis of complex food systems: State of the art and new trends , 2011 .

[145]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[146]  Ollivier Haemmerlé,et al.  A semantic validation of conceptual graphs , 2006, Knowl. Based Syst..

[147]  Abdallah Arioua,et al.  Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation , 2014, COMMA.

[148]  Michael Jackman,et al.  Conceptual graphs , 1988 .

[149]  Meghyn Bienvenu,et al.  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.

[150]  Thomas Lukasiewicz,et al.  Inconsistency Handling in Datalog+/- Ontologies , 2012, ECAI.

[151]  Philippe Besnard,et al.  Bridging the Gap between Abstract Argumentation Systems and Logic , 2009, SUM.

[152]  Didier Dubois,et al.  Argumentative inference in uncertain and inconsistent knowledge bases , 1993, UAI.

[153]  Madalina Croitoru,et al.  Information Revelation Strategies in Abstract Argument Frameworks Using Graph Based Reasoning , 2013, GKR.

[154]  Bernhard Haslhofer,et al.  Europeana RDF Store Report , 2011 .

[155]  Guillermo Ricardo Simari,et al.  Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems , 2013, Expert Syst. Appl..

[156]  Parke Godfrey,et al.  An Architecture for a Cooperative Database System , 1994, ADB.

[157]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[158]  Reedchris,et al.  Towards an argument interchange format , 2006 .

[159]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[160]  Wenfei Fan,et al.  Dependencies revisited for improving data quality , 2008, PODS.

[161]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

[162]  Leon van der Torre,et al.  Beyond Maxi-Consistent Argumentation Operators , 2012, JELIA.

[163]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[164]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[165]  Rahul Gupta,et al.  Answering Table Augmentation Queries from Unstructured Lists on the Web , 2009, Proc. VLDB Endow..

[166]  B. Charnomordic,et al.  Artificial intelligence‐based decision support system to manage quality of durum wheat products , 2009 .