Login / Signup
The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating.
Christoph Wernhard
Published in:
PAAR@IJCAR (2016)
Keyphrases
</>
mobile robot
real time
indoor environments
first order logic
database
environmental conditions
virtual world
higher order
mobile robotics
horn clauses
complex environments
autonomous robots
state space
hidden markov models
multi agent
multiscale
case study
machine learning
data mining
data sets