Amanote Research
Register
Sign In
PDT Logic for Stream Reasoning in Multi-Agent Systems
doi 10.29007/ttzg
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Karsten Martiny
Ralf Moeller
Publisher
EasyChair
Related search
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
