Informatik (15 755 Artikel)

Invited Talk.- Playing with Rules.- Invited Papers.- The Refinement of Choreographed Multi-Agent Systems.- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust.- Monitoring Direct...

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers

Knowledge means power - but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methodsto gather,transport,andapplyk...

Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descripti...

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.

This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received ...

This book constitutes the refereed proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, DOOD'97, held in Montreux, Switzerland, in December 1997. The 22 revis...

Symbolic processing has limitations highlighted by the symbol grounding problem. Computational processing methods, like fuzzy logic, neural networks, and statistical methods have appeared to overco...

Deep Generative Modeling

Defense Industry Applications of Autonomous Agents and Multi-Agent Systems

This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and...

This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers i...

NL

Invited Talks.- Probabilistic Validation of Computer System Survivability.- Timed Asynchronous Distributed Systems.- WLAN in Automation - More Than an Academic Exercise?.- Evaluation.- Using Strati...

Invited Talks.- Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract).- Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?.- Fault-Tolerant ...