• CCalc

  • Referenced in 76 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 170 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 33 articles [sw20859]
  • external actions, or communication actions) and a set of practical reasoning rules through which agents...
  • Tweety

  • Referenced in 7 articles [sw22090]
  • well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility...
  • ROSoClingo

  • Referenced in 3 articles [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...
  • VHPOP

  • Referenced in 10 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...
  • mAL

  • Referenced in 1 article [sw26683]
  • state constraints: the action language mAL. Reasoning about actions forms the basis of many tasks ... dynamic domain. Within the reasoning about actions community, a broad class of languages called action ... reason about both the direct and indirect effects of both ontic and epistemic actions within ... reasoning about dynamic multi-agent domains involving both ontic and epistemic actions, as well...
  • ETPS

  • Referenced in 157 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...
  • REBA

  • Referenced in 3 articles [sw29435]
  • article describes REBA, a knowledge representation and reasoning architecture for robots that is based ... different levels of granularity. An action language is extended to support non-boolean fluents ... fine-resolution outcomes of executing these concrete actions are used to infer coarse-resolution outcomes ... efficient reasoning with violation of defaults, noisy observations and unreliable actions, in complex domains...
  • KARO

  • Referenced in 22 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...
  • COLIN

  • Referenced in 5 articles [sw27480]
  • which require tightly coupled temporal and numeric reasoning during planning. COLIN combines FF-style forward ... each state, reducing the range of actions that need to be considered for application ... planning graph heuristic of CRIKEY3, to support reasoning directly with continuous change. We extend ... continuous numeric change effected by an action. Finally, we explore the potential for employing mixed...
  • SEEC

  • Referenced in 1 article [sw29911]
  • decision engine observes the system and schedules actions automatically, reducing programmer burden. This general ... machine learning to reason about previously unseen applications and actions while automatically adapting to changes...
  • Fable

  • Referenced in 6 articles [sw23081]
  • which programmers may specify security policies and reason that these policies are properly enforced ... associating security labels with the data or actions they protect. Programmers define the semantics...
  • PREGO

  • Referenced in 5 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...
  • 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...
  • TinyOS

  • Referenced in 7 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...
  • 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 5 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...
  • 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...