1
Published 2011
Springer Berlin Heidelberg
Table of Contents: ... Descriptions into an Action Language -- Revisiting Epistemic Specifications -- Interlude: Answer Set...

2
Published 2018
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External...

4
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... -- An Application of ASP to the Field of Second Language Acquisition -- Turner's Logic of Universal Causation...

5
Published 2016
Springer International Publishing
Table of Contents: ...Foundations of agent theory -- Engineering aspects of agent systems -- Emerging interdisciplinary...