Cover Image
Read Now

1
by Dix, Jürgen
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

2
by Dix, Jürgen
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

3
by Dix, Jürgen
Published 1998
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited...”
Cover Image
Read Now

7
by Dix, Jürgen
Published 2004
Springer-Verlag Berlin/Heidelberg
Cover Image
Read Now

8
by Dix, Jürgen
Published 2004
Springer-Verlag Berlin/Heidelberg
Cover Image
Read Now

9
Published 2010
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

10
Published 2014
Springer International Publishing
Table of Contents: “... engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic...”
Cover Image
Read Now

11
Published 2005
Springer US
Table of Contents: “...Logic- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent...”
Cover Image
Read Now

12
Published 2009
Springer US
Table of Contents: “...I Languages -- Executing Logical Agent Specifications -- IndiGolog: A High-Level Programming...”
Cover Image
Read Now

13
Published 2018
Springer International Publishing
Table of Contents: “... on Fuzzy Logic and Graph Theory -- Part III: Multi-agent Systems -- Programming the Interaction Space...”