Informatik (15.755 Artikel)

11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

In 2016, the theme of the school was "Logical Foundation of Knowledge Graph Construction and Query Answering". The notion of knowledge graph has become popular since Google started to use it to imp...

Representation and management of knowledge.- A hybrid representation formalism.- Reasoning in the formalism.- Terminological cycles.- Belief revision.- The revision in terminological systems.- Term...

Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

This book constitutes the refereed proceedings of the 4th European Conference on Planning, ECP'97, held in Toulouse, France, in September 1997. The 35 revised full papers presented were carefully r...

Planning as Model Checking.- Conformant Planning via Model Checking.- Strong Cyclic Planning Revisited.- Scaleability in Planning.- Exploiting Competitive Planner Performance.- A Parallel Algorithm...

Tutorial.- Hybrid Algorithms in Constraint Programming.- Technical Papers.- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.- A Constraint Model for State Transitions in Di...

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming ...

Constraint Propagation.- GCC-Like Restrictions on the Same Constraint.- A Note on Bilattices and Open Constraint Programming.- Pruning by Equally Constrained Variables.- Search.- Trying Again to Fa...

Global Constraints.- The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables.- Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domain...

From Marriages to Coalitions: A Soft CSP Approach.- Solving CSPs with Naming Games.- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.- Challenges in C...

Abstract Verification and Debugging of Constraint Logic Programs.- CGRASS: A System for Transforming Constraint Satisfaction Problems.- Interchangeability in Soft CSPs.- Towards Automated Reasoning...

Basic Notation and Terminology.- Janusz Brzozowski.- Maxime Crochemore, Thierry Lecroq.- Jozef Gruska.- Tom Head, Dennis Pixton.- Lucian Ilie.- Jarkko Kari.- Satoshi Kobayashi.- Hans-Jörg Kreowski,...

Recent Advances in Harmony Search Algorithm

Digital systems that bring together the computing capacity for processing large bodies of information with the human cognitive capability are called intelligent systems. Building these systems has ...