Declarative programming
相关论文数: 20
顶级研究者
最高引用论文
Functional reactive programming from first principles
Zhanyong Wan, Paul Hudak
引用数: 211 • 2000
Model-based programming of intelligent embedded systems and robotic space explorers
Brian Williams, Michel D. Ingham, Seung Chung, Paul Harrison Elliott
引用数: 187 • 2003
Functional reactive programming from first principles
Zhanyong Wan, Paul Hudak
引用数: 46 • 2000
A Python framework for programming autonomous robots using a declarative approach
Loris Fichera, Fabrizio Messina, Giuseppe Pappalardo, Corrado Santoro
引用数: 37 • 2017
Declarative Programming for Modular Robots
Michael P. Ashley‐Rollman, Michael De Rosa, Siddhartha S Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, Jason Campbell
引用数: 28 • 2018
Arrows, Robots, and Functional Reactive Programming
Antony Courtney, Henrik Nilsson, John Peterson
引用数: 24 • 2002
SitLog: A Programming Language for Service Robot Tasks
Luis A. Pineda, Lisset Salinas, Iván Meza, Caleb Rascón, Gibrán Fuentes-Pineda
引用数: 22 • 2013
Educational Robotics and Tangible Devices for Promoting Computational Thinking
Matthias Funk, José Cascalho, Ana Isabel Santos, Armando B. Mendes
引用数: 19 • 2021
An embedding of ConGolog in 3APL
Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
引用数: 17 • 2000
Modeling and Programming Devices and Web Agents
Sheila A. McIlraith
引用数: 11 • 2001
FProlog: A language to integrate logic and functional programming for automated assembly
Seth Hutchinson, A.C. Kak
引用数: 7 • 1986
Reactivity in a Logic-Based Robot Programming Framework
Yves Lespérance, Michael Jenkin
引用数: 7 • 1998
Integrating Reinforcement Learning and Declarative Programming to Learn Causal Laws in Dynamic Domains
Mohan Sridharan, Sarah Rainge
引用数: 6 • 2014
Process planning by logic programming
Kenneth Preiss, Offer Shai
引用数: 6 • 1989
Should I do that? using relational reinforcement learning and declarative programming to discover domain axioms
Mohan Sridharan, Ben Meadows
引用数: 5 • 2016
Programming Autonomous Robots in Curry
Michael Hanus, Klaus Höppner
引用数: 5 • 2002
Integrating true concurrency into the robot programming language GOLOG
Jorge A. Baier, Joana V. Pinto
引用数: 3 • 2003
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
引用数: 3 • 2019
Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning
Mohan Sridharan, Prashanth Devarakonda, Rashmica Gupta
引用数: 2 • 2016
Integrating Probabilistic Graphical Models and Declarative Programming for Knowledge Representation and Reasoning in Robotics
Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy Wyatt
引用数: 2 • 2014