Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karsten Martiny
PDT Logic for Stream Reasoning in Multi-Agent Systems
Related publications
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robotics, Temporal Logic and Stream Reasoning
A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
An MDE Approach for Modelling and Reasoning About Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Logic Multi-Agent System
The First Contest on Multi-Agent Systems Based on Computational Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
Consensus in Multi-Agent Systems
