• # CCalc

• Referenced in 56 articles [sw09899]
• system for representing commonsense knowledge about action and change. It implements a fragment ... McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas...
• # GOLOG

• Referenced in 154 articles [sw02159]
• actions and the initial state of the world. This allows programs to reason about ... effects of various possible courses of action before committing to a particular behavior...
• # VHPOP

• Referenced in 8 articles [sw20688]
• planning with durative actions by incorporating standard techniques for temporal constraint reasoning. We demonstrate that ... effective in domains with durative actions as well. The result is a versatile heuristic POCL...
• # ROSoClingo

• Referenced in 1 article [sw13474]
• they provide higher level functionalities for reasoning about actions, environments, goals, perception, etc. Although answer ... system can be harnessed to provide appropriate reasoning capacities within a robotic system ... results of the robot’s actions...
• # ETPS

• Referenced in 127 articles [sw06302]
• these disciplines, expert systems which can reason, and certain aspects of artificial intelligence ... immediate feedback for both correct and incorrect actions. ETPS permits students to work forwards, backwards...
• # KARO

• Referenced in 21 articles [sw03116]
• KARO) framework that we proposed before to reason about Knowledge, Abilities, Results and Opportunities ... agent to perform sequentially composed actions. In this chapter, we reconsider these matters and come...
• # Cplus2ASP

• Referenced in 3 articles [sw09897]
• CCalc, it’s an implementation of the action language C+ (an extension of causal logic ... that is very useful for describing and reasoning about time- and state-based domains using...
• # RealPlan

• Referenced in 9 articles [sw01619]
• most real-world reasoning problems, planning and scheduling phases are loosely coupled . For example ... similar way in which there is an action selection phase where actions are selected...
• # IndiGolog

• Referenced in 4 articles [sw16792]
• high-level programming language for embedded reasoning agents. IndiGolog isaprogramming languagefor autonomousagentsthat sense their environment ... high-level nondeterministicprograminvolving domain-speci? c actions andteststo perform the agent’s tasks. The IndiGolog...
• # TinyOS

• Referenced in 5 articles [sw02023]
• determinism in the execution ordering of primitive actions - an issue exacerbated by the fact that ... swamp developers’ unaided ability to reason about program behavior. In this paper, we present...
• # MoMo

• Referenced in 4 articles [sw10020]
• MoMo: A modal logic for reasoning about mobility. A temporal logic is proposed ... dealing with state properties and impact of actions and movements over the different sites...
• # PREGO

• Referenced in 2 articles [sw16793]
• PREGO: An action language for belief-based cognitive robotics in continuous domains. The area ... situation calculus, that is able to reason effectively about degrees of belief against noisy sensors ... representational richness of conventional logic-based action languages, such as contextsensitive successor state axioms...
• # BAAC

• Referenced in 1 article [sw20858]
• BAAC: a Prolog system for action description and agents coordination. The paper presents a system ... knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents ... modeled using an extension of the action description language $mathcal {B}$. A distributed planning problem...
• # AltAltp

• Referenced in 2 articles [sw20689]
• parallel plans in classical planning. The reason is that directly searching for parallel solutions ... branch on all possible subsets of parallel actions, thus increasing the branching factor exponentially...
• # FRPNow

• Referenced in 1 article [sw20016]
• simple and expressive way for performing IO actions from FRP code. We also provide ... technique (using Kripke logical relations) for reasoning about which FRP functions may “forget their past...
• # KB-VISION

• Referenced in 1 article [sw00483]
• manipulation options and by evaluating each graphical action in the underlying knowledge representation formalism ... knowledge-based graphical simulation environment for various reasoning components (e.g. planners, path generators...
• # InstQL

• Referenced in 1 article [sw02055]
• Institutions provide a mechanism to capture and reason about “correct” and “incorrect” behaviour within ... service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help ... interest in order to investigate and reason over the underlying normative models. The semantics...
• # PPlan

• Referenced in 1 article [sw20685]
• used to support arbitrary dynamical reasoning tasks. The semantics of the first-order preference language ... preference formulae. PPLAN takes as input, an action theory, a specification of the initial state...