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