Informatik (14.427 Artikel)

Low Discrepancy Allocation of Two-Dimensional Data.- A Family of Nested Query Languages for Semi-structured Data.- Decomposition of Database Classes under Path Functional Dependencies and Onto Cons...

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The ...

Invited Talks.- Coupling Design and Verification in Software Product Lines.- Random Geometric Identification.- Strategic Abilities of Agents.- Regular Papers.- Aggregation of Attack Relations: A So...

Invited Talks.- Tools and Techniques in Qualitative Reasoning about Space.- A Simple but Formal Semantics for XML Manipulation Languages.- Algorithmic Definability and Completeness in Modal Logic.-...

This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 ...

This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014. The 14 revised ful...

9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. 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 rev...

Invited Talks.- Hypergraph Transversals.- Abstract State Machines: An Overview of the Project.- Regular Papers.- Database Repair by Signed Formulae.- Simplification of Integrity Constraints for Dat...

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022.

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in...

Invited Papers.- Methodologies for Automated Telephone Answering.- Anomaly Detection in Computer Security and an Application to File System Accesses.- Regular Papers.- A Machine Text-Inspired Machi...

Invited Talks.- Active Media Human-Computer Interaction.- Computational Intelligence.- Intelligent Agent Technology.- Intelligent Information Retrieval.- Intelligent Infomation Systems.- Knowledge ...

This book constitutes the refereed proceedings of the 11th International Symposium on Methodologies for Intelligent Systems, ISMIS '99, held in Warsaw, Poland, in June 1999.The 66 revised full pape...

This volume contains the papers selected for presentation at the 17th Inter- tional Symposium on Methodologies for Intelligent Systems (ISMIS 2008), held in York University, Toronto, Canada, May 21...