Personensuche
X
?
Lecture Notes in Computer Science; Logic and Argumentation ,
1
A Decidable Multi-agent Logic for Reasoning About Actions, ..:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
2
Cut-Free Calculi and Relational Semantics for Temporal STIT..:
, In:
?
PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science ,
3
Automating Agential Reasoning: Proof-Calculi and Syntactic ..:
, In:
?
Logic, Rationality, and Interaction; Lecture Notes in Computer Science ,
4
A Neutral Temporal Deontic STIT Logic:
, In:
?
Proceedings of the seventh international conference on Knowledge capture ,
5
Linking the kingdom : enriched access to a historiograph..:
, In:
?
Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) ,
6
Using Model Checking to Analyze the System Behavior of the ..:
, In:
?
Proceedings of the Conference on Design, Automation and Test in Europe ,
7
Memory-map selection for firm real-time SDRAM controllers:
, In:
?
Proceedings of the ninth international conference on Architectural support for programming languages and operating systems ,
9