Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14{u2013}18, 2018, Proceedings

This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018. The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.​ Front Matter ....Pages I-XXII Front Matter ....Pages 1-1 Old Keys that Open New Doors (Sebastian Link)....Pages 3-13 Front Matter ....Pages 15-15 Concatenation, Separation, and Other Properties of Variably Polyadic Relations (Heba Aamer, Haythem O. Ismail)....Pages 17-33 Compilation of Conditional Knowledge Bases for Computing C-Inference Relations (Christoph Beierle, Steven Kutsch, Kai Sauerwald)....Pages 34-54 Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs (Leopoldo Bertossi)....Pages 55-76 Inferences from Attribute-Disjoint and Duplicate-Preserving Relational Fragmentations (Joachim Biskup, Marcel Preuß)....Pages 77-96 ASP Programs with Groundings of Small Treewidth (Bernhard Bliem)....Pages 97-113 Rationality and Context in Defeasible Subsumption (Katarina Britz, Ivan Varzinczak)....Pages 114-132 Haydi: Rapid Prototyping and Combinatorial Objects (Stanislav Böhm, Jakub Beránek, Martin Šurkovský)....Pages 133-149 Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports (Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex)....Pages 150-169 A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators (Dragan Doder, Nenad Savić, Zoran Ognjanović)....Pages 170-185 Probabilistic Team Semantics (Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema)....Pages 186-206 Strategic Dialogical Argumentation Using Multi-criteria Decision Making with Application to Epistemic and Emotional Aspects of Arguments (Emmanuel Hadoux, Anthony Hunter, Jean-Baptiste Corrégé)....Pages 207-224 First-Order Definable Counting-Only Queries (Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu)....Pages 225-243 The Power of Tarski’s Relation Algebra on Trees (Jelle Hellings, Yuqing Wu, Marc Gyssens, Dirk Van Gucht)....Pages 244-264 Improving the Performance of the k Rare Class Nearest Neighbor Classifier by the Ranking of Point Patterns (Zsolt László, Levente Török, György Kovács)....Pages 265-283 Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains (Xudong Liu, Miroslaw Truszczynski)....Pages 284-302 Enumeration Complexity of Poor Man’s Propositional Dependence Logic (Arne Meier, Christian Reinbold)....Pages 303-321 Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis (Gábor Rácz, Attila Sali, Klaus-Dieter Schewe)....Pages 322-339 OntoDebug: Interactive Ontology Debugging Plug-in for Protégé (Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid)....Pages 340-359 A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries (Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht)....Pages 360-378 A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies (Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle)....Pages 379-399 Back Matter ....Pages 401-401