Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Journal of philosophical logic, 2011-08, Vol.40 (4), p.499-530
2011
Link zum Volltext

Open Access
Representing Strategies
Electronic proceedings in theoretical computer science, 2016-07, Vol.218 (Proc. SR 2016), p.15-26
2016
Link zum Volltext

Journal of applied logic, 2011-06, Vol.9 (2), p.137-152
2011
Link zum Volltext

Synthese (Dordrecht), 2019-01, Vol.196 (1), p.31-68
2019
Link zum Volltext

International journal of approximate reasoning, 2013-06, Vol.54 (4), p.467-477
2013
Link zum Volltext





Declarative Agent Languages and Technologies VI, p.47-59
Link zum Volltext

Journal of logical and algebraic methods in programming, 2021-11, Vol.123, p.100708, Article 100708
2021
Link zum Volltext

Deontic Logic in Computer Science, p.140-154
Link zum Volltext


Electronic proceedings in theoretical computer science, 2021, Vol.335, p.281-294
2021
Link zum Volltext

Open Access
DOING WITHOUT ACTION TYPES
The review of symbolic logic, 2021-06, Vol.14 (2), p.380-410
2021
Link zum Volltext

Logics in Artificial Intelligence, p.629-641
Link zum Volltext

Philosophical studies, 2019-04, Vol.176 (4), p.1097-1118
2019
Link zum Volltext

A Stit Logic of Intentionality
Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.125-153
2023
Link zum Volltext

Deontic Logic and Artificial Normative Systems, 2006, p.53-68
2006
Link zum Volltext

Organized Adaption in Multi-Agent Systems, p.1-17
Link zum Volltext

Journal of applied logic, 2004, Vol.2 (1), p.153-168
2004
Link zum Volltext

Journal of logic and computation, 2006-10, Vol.16 (5), p.559-578
2006
Link zum Volltext

Models of Strategic Reasoning, 2015, Vol.8972, p.137-173
2015
Link zum Volltext

A STIT-Extension of ATL
Lecture notes in computer science, 2006, p.69-81
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt