Expressive power
Related papers: 20
Top Researchers
Top Cited Papers
Reinforcement learning with temporal logic rewards
Xiao Li, Cristian-Ioan Vasile, Călin Belta
Citations: 160 • 2017
The Power of a Pebble: Exploring and Mapping Directed Graphs
Michael A. Bender, Dana Ron, Amit Sahai, Salil Vadhan
Citations: 102 • 2002
Navigating the Maze of Wikidata Query Logs
Angela Bonifati, Wim Martens, Thomas Timm
Citations: 65 • 2019
Incremental execution of guarded theories
Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
Citations: 30 • 2001
Flexible Robot Strategy Design Using Belief-Desire-Intention Model
Loris Fichera, Daniele Marletta, Vincenzo Nicosia, Corrado Santoro
Citations: 16 • 2011
Metaphysics of Planning Domain Descriptions
Siddharth Srivastava, Stuart Russell, Alessandro Pinto
Citations: 16 • 2016
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
Vaishak Belle, Gerhard Lakemeyer
Citations: 16 • 2017
A graphical language for LTL motion and mission planning
Shashank Srinivas, Ramtin Raji Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos
Citations: 15 • 2013
Active Self-Assembly of Simple Units Using an Insertion Primitive
Citations: 14 • 2013
Reversible Effects as Inverse Arrows
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Citations: 12 • 2018
Active Self-Assembly of Simple Units Using an Insertion Primitive
Nadine Dabby, Ho-Lin Chen
Citations: 11 • 2013
The power of words
Anthony Morse, Paul Baxter, Tony Belpaeme, Linda B. Smith, Angelo Cangelosi
Citations: 10 • 2011
Coordinating autonomous entities with STL
Oliver Krone, Fabrice Chantemargue, Thierry Dagaeff, Michael Schumacher
Citations: 9 • 1998
Expressive Optimal Temporal Planning via Optimization Modulo Theory
Stefan Panjkovic, Andrea Micheli
Citations: 7 • 2023
The relative power of immovable markers in topological mapping
Hui Wang, Michael Jenkin, Patrick Dymond
Citations: 6 • 2011
High‐level goal‐directed concurrent processing in icon
Kelvin Nilsen
Citations: 5 • 1990
Modeling Soccer-Robots Strategies through Conversation Policies
Pierre‐Yves Oudeyer, Jean-Luc Koning
Citations: 4 • 2000
Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots
Jarosław Szkoła, Krzysztof Pancerz
Citations: 3 • 2017
Robot Reasoning Using First Order Bayesian Networks
Saleha Raza, Sajjad Haider, Mary‐Anne Williams
Citations: 2 • 2013
Using Spiking Neural Networks for the Generation of Coordinated Action Sequences in Robots
Pilar Caaman̈o, J. A. Becerra, Francisco Bellas, Richard J. Duro
Citations: 2 • 2009