Process calculus
相关论文数: 20
顶级研究者
最高引用论文
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
引用数: 195 • 2000
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
引用数: 81 • 1997
On Visual Semantic Algebra (VSA)
Yingxu Wang
引用数: 63 • 2009
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
引用数: 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
引用数: 35 • 2013
Specification and planning of UAV missions: a Process Algebra approach
Sertaç Karaman, Steven A. Rasmussen, Derek Kingston, Emilio Frazzoli
引用数: 30 • 2009
Specifications in stochastic process algebra for a robot control problem
ST Gilmore, Jane Hillston, Robert Holton, M. Rettelbach
引用数: 26 • 1996
Experiments in behavior composition
Jana Košecká, Henrik I. Christensen, Růžena Bajcsy
引用数: 25 • 1997
A process-based approach to task plan representation
Damian M. Lyons
引用数: 21 • 2002
Testing Robots Using CSP
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
引用数: 16 • 2019
Automatic synthesis of cooperative multi-agent systems
Jin Dai, Hai Lin
引用数: 15 • 2014
On Visual Semantic Algebra (VSA)
Yingxu Wang
引用数: 11 • 2012
A new algebraic approach for the description of robotic manipulation tasks
Ernesto Pablo Lana, Bruno Vilhena Adorno, Carlos Andrey Maia
引用数: 8 • 2015
Sensing Actions, Time, and Concurrency in the Situation Calculus
Stephen Zimmerbaum, Richard B. Scherl
引用数: 8 • 2001
Intelligent Mathematics (IM): Indispensable Mathematical Means for General AI, Autonomous Systems, Deep Knowledge Learning, Cognitive Robots, and Intelligence Science
Yingxu Wang
引用数: 7 • 2020
Modeling Motion Qualitatively: Integrating Space and Time
Lledó Museros, M. Teresa Escrig Monferrer
引用数: 6 • 2002
Runtime Composition of Systems of Interacting Cyber-Physical Components
Benjamin Lion, Farhad Arbab, Carolyn Talcott
引用数: 5 • 2023
Programming Robotic Devices with a Timed Concurrent Constraint Language
María del Pilar Muñoz, Andrés René Hurtado
引用数: 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
引用数: 4 • 2012
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
引用数: 3 • 2012