• 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 155 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...
  • 3APL

  • Referenced in 29 articles [sw20859]
  • external actions, or communication actions) and a set of practical reasoning rules through which agents...
  • VHPOP

  • Referenced in 9 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 128 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...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • reasoning help to establish the vital connection between knowledge, perception, and actions that realize self...
  • 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...
  • KnowRob

  • Referenced in 9 articles [sw21530]
  • identify them in the instructions, reason about suitable information sources, and combine pieces of information ... common vocabulary for representing knowledge about robot actions, events, objects, environments, and the robot...
  • 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...