Personensuche
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
1
Base-Based Model Checking for Multi-agent only Believing:
, In:
?
Multi-Agent Systems; Lecture Notes in Computer Science ,
2
Qualitative Uncertainty Reasoning in AgentSpeak:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
4
A Computationally Grounded Logic of Graded Belief:
, In:
?
Graphical Models for Security; Lecture Notes in Computer Science ,
7
Library-Based Attack Tree Synthesis:
, In:
?
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems ,
11
Reachability and Coverage Planning for Connected Agents:
, In:
?
Graphical Models for Security; Lecture Notes in Computer Science ,
12
Deciding the Non-emptiness of Attack Trees:
, In:
?
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ,
14