• MCMAS

  • Referenced in 73 articles [sw09463]
  • Systems. While temporal logic in its various forms has proven essential to reason about reactive...
  • TLAPS

  • Referenced in 9 articles [sw09528]
  • release of TLAPS does not perform temporal reasoning, and it does not handle some features ... trivial algorithms. (Only trivial temporal-logic reasoning that is easily checked by hand is needed...
  • PDDL

  • Referenced in 94 articles [sw07079]
  • rover exploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning ... focus the community on the modelling and reasoning issues that must be confronted to make ... modelling language capable of expressing temporal and numeric properties of planning domains. In this paper...
  • VHPOP

  • Referenced in 10 articles [sw20688]
  • actions by incorporating standard techniques for temporal constraint reasoning. We demonstrate that the same heuristic...
  • HASL

  • Referenced in 6 articles [sw13330]
  • provides a unifying verification framework where temporal reasoning is naturally blended with elaborate reward-based...
  • COSMOS

  • Referenced in 5 articles [sw13329]
  • unifying framework where sophisticated temporal reasoning is naturally blended with elaborate reward-based analysis. COSMOS...
  • SLMC

  • Referenced in 71 articles [sw04604]
  • most widely used techniques to check temporal properties of software systems. However, when the analysis ... mobility, or topology, it is crucial to reason about spatial properties and structural dynamics...
  • MuTACLP

  • Referenced in 4 articles [sw01597]
  • exploited to perform sophisticated spatio-temporal reasoning. This unifying language seems also promising to address...
  • COLIN

  • Referenced in 5 articles [sw27480]
  • reasoning with COntinuous LINear numeric change, in addition to the full temporal semantics of PDDL ... terms of expressive reasoning capabilities of planners: the handling of continuous linear change ... which require tightly coupled temporal and numeric reasoning during planning. COLIN combines FF-style forward ... temporal relaxed planning graph heuristic of CRIKEY3, to support reasoning directly with continuous change...
  • AntNet

  • Referenced in 65 articles [sw11975]
  • nodes and under several paradigmatic spatial and temporal traffic distributions. Results are very encouraging. AntNet ... algorithm and try to explain the reasons for its superiority...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • paraconsistent and certain types of temporal and spatial reasoning. In combination with an extensible type...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • RGITL: A temporal logic framework for compositional reasoning about interleaved programs. This paper gives ... transferred to a concurrent setting with temporal logic. We include an interleaving operator with compositional ... calculus permits proving decomposition theorems which reduce reasoning about an interleaved program to reasoning about...
  • TimeML

  • Referenced in 3 articles [sw21219]
  • address four problems in event and temporal expression markup: Time stamping of events (identifying ... versus discourse properties of ordering); Reasoning with contextually underspecified temporal expressions (temporal functions such ... last week’ and ’two weeks before’); Reasoning about the persistence of events (how long does ... natural language question answering systems to answer temporally-based questions about the events and entities...
  • ConceptNet

  • Referenced in 30 articles [sw10660]
  • tool-kit which supports many practical textual-reasoning tasks over real-world documents including topic ... commonsense knowledge encompassing the spatial, physical, social, temporal, and psychological aspects of everyday life. ConceptNet...
  • MoMo

  • Referenced in 4 articles [sw10020]
  • MoMo: A modal logic for reasoning about mobility. A temporal logic is proposed...
  • Ecosim

  • Referenced in 15 articles [sw10699]
  • questions in marine science. For all these reasons, Ecopath software was recently recognized ... policy exploration; and Ecospace – a spatial and temporal dynamic module primarily designed for exploring impact...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • standard properties to model checking of established temporal logics. MARCIE’s analysis engines for bounded ... approximative engines to allow for quantitative reasoning on unbounded models. Most of the quantitative analyses...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • wide class of modal logics, including usual temporal, epistemic or dynamic logics. We survey ... Prolog, and appears to be of reasonable efficiency for most current examples. Experimental results...
  • Petri-PDL

  • Referenced in 3 articles [sw15081]
  • Petri nets, providing a theoretical background to reason about Petri nets, inheriting their properties with ... rewrite theories defined for the Linear Temporal Logic model checker available in the Maude system...
  • Cool

  • Referenced in 4 articles [sw11992]
  • coalgebraic ontology logic solver Cool, a generic reasoner that decides the satisfiability of modal ... next-step fragment of alternating-time temporal logic), plus every logic that arises ... Cool with state-of-the-art reasoners...