Declarative programming

Functional reactive programming from first principles

Zhanyong Wan, Paul Hudak

Citations: 211 • 2000

Model-based programming of intelligent embedded systems and robotic space explorers

Brian Williams, Michel D. Ingham, Seung Chung, Paul Harrison Elliott

Citations: 187 • 2003

Functional reactive programming from first principles

Zhanyong Wan, Paul Hudak

Citations: 46 • 2000

A Python framework for programming autonomous robots using a declarative approach

Loris Fichera, Fabrizio Messina, Giuseppe Pappalardo, Corrado Santoro

Citations: 37 • 2017

Declarative Programming for Modular Robots

Michael P. Ashley‐Rollman, Michael De Rosa, Siddhartha S Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, Jason Campbell

Citations: 28 • 2018

Arrows, Robots, and Functional Reactive Programming

Antony Courtney, Henrik Nilsson, John Peterson

Citations: 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

Citations: 22 • 2013

Educational Robotics and Tangible Devices for Promoting Computational Thinking

Matthias Funk, José Cascalho, Ana Isabel Santos, Armando􀀁 B. Mendes

Citations: 19 • 2021

An embedding of ConGolog in 3APL

Koen V. Hindriks, Yves Lespérance, Hector J. Levesque

Citations: 17 • 2000

Modeling and Programming Devices and Web Agents

Sheila A. McIlraith

Citations: 11 • 2001

FProlog: A language to integrate logic and functional programming for automated assembly

Seth Hutchinson, A.C. Kak

Citations: 7 • 1986

Reactivity in a Logic-Based Robot Programming Framework

Yves Lespérance, Michael Jenkin

Citations: 7 • 1998

Integrating Reinforcement Learning and Declarative Programming to Learn Causal Laws in Dynamic Domains

Mohan Sridharan, Sarah Rainge

Citations: 6 • 2014

Process planning by logic programming

Kenneth Preiss, Offer Shai

Citations: 6 • 1989

Should I do that? using relational reinforcement learning and declarative programming to discover domain axioms

Mohan Sridharan, Ben Meadows

Citations: 5 • 2016

Programming Autonomous Robots in Curry

Michael Hanus, Klaus Höppner

Citations: 5 • 2002

Integrating true concurrency into the robot programming language GOLOG

Jorge A. Baier, Joana V. Pinto

Citations: 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

Citations: 3 • 2019

Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning

Mohan Sridharan, Prashanth Devarakonda, Rashmica Gupta

Citations: 2 • 2016

Integrating Probabilistic Graphical Models and Declarative Programming for Knowledge Representation and Reasoning in Robotics

Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy Wyatt

Citations: 2 • 2014