Graph-Based Representation and Reasoning

This book constitutes the proceedings of the 21st International Conference on Conceptual Structures, ICCS 2014, held in Iasi, Romania, in July 2014. The 17 regular papers and 6 short papers presented in this volume were carefully reviewed and selected from 40 and 10 submissions, respectively. The topics covered are: conceptual structures, knowledge representation, reasoning, conceptual graphs, formal concept analysis, semantic Web, information integration, machine learning, data mining and information retrieval.

[1]  Ramona Enache,et al.  Typeful Ontologies with Direct Multilingual Verbalization , 2010, CNL.

[2]  Andrea Calì,et al.  Datalog+/-: A Family of Languages for Ontology Querying , 2010, Datalog.

[3]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[4]  Richard Dapoigny,et al.  Modeling Ontological Structures with Type Classes in Coq , 2013, ICCS.

[5]  Johan de Kleer,et al.  Using Crude Probability Estimates to Guide Diagnosis , 1990, Artif. Intell..

[6]  Jean-François Baget,et al.  Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe , 2010, ICCS.

[7]  Philippe Besnard,et al.  Logical limits of abstract argumentation frameworks , 2013, J. Appl. Non Class. Logics.

[8]  Yves Bertot,et al.  Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions , 2010 .

[9]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[10]  Jean-François Baget,et al.  Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms , 2003 .

[11]  Leila Amgoud,et al.  Ranking-Based Semantics for Argumentation Frameworks , 2013, SUM.

[12]  Alan L. Rector,et al.  Granularity, scale and collectivity: When size does and does not matter , 2006, J. Biomed. Informatics.

[13]  Bas Spitters,et al.  Type classes for mathematics in type theory† , 2011, Mathematical Structures in Computer Science.

[14]  John F. Sowa,et al.  Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..

[15]  Barry Smith,et al.  Biomedical Informatics and Granularity , 2004, Comparative and functional genomics.

[16]  Andrew W. Appel,et al.  Dependent types ensure partial correctness of theorem provers , 2004, J. Funct. Program..

[17]  Thomas Eiter,et al.  Prioritizing Default Logic: Abridged Report , 2007 .

[18]  John F. Sowa,et al.  Using a lexicon of canonical graphs in a semantic interpreter , 1989 .

[19]  Hans Jürgen Ohlbach,et al.  Types for Web Rule Languages: a preliminary study. , 2004 .

[20]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[21]  Matthieu Sozeau,et al.  First-Class Type Classes , 2008, TPHOLs.

[22]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[23]  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..

[24]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[25]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[26]  Marie-Laure Mugnier,et al.  Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.

[27]  Marie-Laure Mugnier.  Ontological Query Answering with Existential Rules , 2011, RR.

[28]  Laurence Cholvy.  Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics , 1995, ECSQARU.

[29]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[30]  Cornelius Rosse,et al.  A formal theory for spatial representation and reasoning in biomedical ontologies , 2006, Artif. Intell. Medicine.

[31]  Madalina Croitoru,et al.  Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application , 2009, ICCS.

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

[33]  Madalina Croitoru,et al.  Translations between RDF(S) and Conceptual Graphs , 2010, ICCS.

[34]  Barry Smith,et al.  Mereotopology: A Theory of Parts and Boundaries , 1996, Data Knowl. Eng..

[35]  Yves Bertot,et al.  Dependent Types, Theorem Proving, and Applications for a Verifying Compiler , 2005, VSTTE.

[36]  Simone Pribbenow,et al.  Midwinters, end games, and body parts: a classification of part-whole relations , 1995, Int. J. Hum. Comput. Stud..