Amanote Research
Register
Sign In
Robotics, Temporal Logic and Stream Reasoning
doi 10.29007/pmj5
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Patrick Doherty
Fredrik Heintz
Jonas Kvarnström
Publisher
EasyChair
Related search
Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models
PDT Logic for Stream Reasoning in Multi-Agent Systems
A Modal Temporal Logic for Reasoning About Change
Special Issue on Stream Reasoning
Semantic Web
Computer Networks
Computer Science Applications
Information Systems
Communications
Patterns and Logic for Reasoning With Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Updating, Temporal Reasoning, and the Domain of Time
Behavioral and Brain Sciences
Physiology
Physiological Psychology
Neuropsychology
Behavioral Neuroscience
Logic-Based Reasoning Support for SBVR
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Reasoning by Cases in Default Logic
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science