Informatik (15.755 Artikel)

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.  contains intuitive introductory...

Logics for Emerging Applications of Databases

Logics for Emerging Applications of Databases

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The vol...

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers select...

Invited Talks.- 'On Being Informed': Update Logics for Knowledge States.- Considerations on Updates of Logic Programs.- The Approach: Integrating Object Oriented Design and Formal Verification.- Se...

16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings

Invited Talks.- Representing and Reasoning with Preferences.- Engineering of Logics for the Content-Based Representation of Information.- Formal Methods in Robotics.- Multi-agent Systems.- Games fo...

Invited Talks.- From Inductive Logic Programming to Relational Data Mining.- Answer Set Programming: A Declarative Approach to Solving Search Problems.- Inconsistencies in Ontologies.- Technical Pa...

This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 7...

This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 sub...

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The ...

17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings

Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicti...

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, ...