Process calculus
Related papers: 20
Top Researchers
Top Cited Papers
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
Citations: 195 • 2000
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
Citations: 81 • 1997
On Visual Semantic Algebra (VSA)
Yingxu Wang
Citations: 63 • 2009
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
Citations: 59 • 2011
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
Citations: 35 • 2013
Specification and planning of UAV missions: a Process Algebra approach
Sertaç Karaman, Steven A. Rasmussen, Derek Kingston, Emilio Frazzoli
Citations: 30 • 2009
Specifications in stochastic process algebra for a robot control problem
ST Gilmore, Jane Hillston, Robert Holton, M. Rettelbach
Citations: 26 • 1996
Experiments in behavior composition
Jana Košecká, Henrik I. Christensen, Růžena Bajcsy
Citations: 25 • 1997
A process-based approach to task plan representation
Damian M. Lyons
Citations: 21 • 2002
Testing Robots Using CSP
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
Citations: 16 • 2019
Automatic synthesis of cooperative multi-agent systems
Jin Dai, Hai Lin
Citations: 15 • 2014
On Visual Semantic Algebra (VSA)
Yingxu Wang
Citations: 11 • 2012
A new algebraic approach for the description of robotic manipulation tasks
Ernesto Pablo Lana, Bruno Vilhena Adorno, Carlos Andrey Maia
Citations: 8 • 2015
Sensing Actions, Time, and Concurrency in the Situation Calculus
Stephen Zimmerbaum, Richard B. Scherl
Citations: 8 • 2001
Intelligent Mathematics (IM): Indispensable Mathematical Means for General AI, Autonomous Systems, Deep Knowledge Learning, Cognitive Robots, and Intelligence Science
Yingxu Wang
Citations: 7 • 2020
Modeling Motion Qualitatively: Integrating Space and Time
Lledó Museros, M. Teresa Escrig Monferrer
Citations: 6 • 2002
Runtime Composition of Systems of Interacting Cyber-Physical Components
Benjamin Lion, Farhad Arbab, Carolyn Talcott
Citations: 5 • 2023
Programming Robotic Devices with a Timed Concurrent Constraint Language
María del Pilar Muñoz, Andrés René Hurtado
Citations: 4 • 2004
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
Citations: 4 • 2012
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
Citations: 3 • 2012