Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated...”
Cover Image
Read Now

4
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

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

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

7
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Developing Agent Interaction Protocols Using Graphical and Logical Methodologies -- Norm Adoption...”
Cover Image
Read Now

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

9
Published 2017
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

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

11
Published 2010
Springer US
Table of Contents: “... Logics of Strategic Ability: Complexity* -- Correctness of Multi-Agent Programs: A Hybrid Approach...”
Cover Image
Read Now

12
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Paper -- Open Knowledge -- Agent Reasoning and Semantics -- Probabilistic and Logical...”
Cover Image
Read Now

13
Published 2010
Springer Berlin Heidelberg
“...-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical...”
Cover Image
Read Now

14
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

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

16
Published 2019
Springer International Publishing
Table of Contents: “... Modeling Approach for Building Evacuation -- Imperfect Information in Alternating-time Temporal Logic...”