Extracting mutual exclusion invariants from lifted temporal planning domains

, &
Artificial Intelligence 258 (C):1-65 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.01.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Long-distance mutual exclusion for planning.Yixin Chen, Ruoyun Huang, Zhao Xing & Weixiong Zhang - 2009 - Artificial Intelligence 173 (2):365-391.
Tool use, planning and future thinking in children and animals.Teresa McCormack & Christoph Hoerl - 2011 - In Teresa McCormack, Christoph Hoerl & Stephen Butterfill (eds.), Tool use and causal cognition. Oxford: Oxford University Press. pp. 129-147.
Invariants and Mathematical Structuralism.Georg Schiemer - 2014 - Philosophia Mathematica 22 (1):70-107.
Linear temporal logic as an executable semantics for planning languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
Analysis of the role of information in planning: The case of town and country planning. [REVIEW]Mathieu C. H. Wagemans - 1990 - Knowledge, Technology & Policy 3 (4):72-90.
Perturbative 3-manifold invariants by cut-and-paste topology.Kuperberg Greg & P. Thurston Dylan - unknown
Detecting knot invertibility.Kuperberg Greg - unknown
Getting real about invariants.Alan Costall, Giulia Parovel & Michele Sinico - 2001 - Behavioral and Brain Sciences 24 (2):219-220.
An infinitary variant of Metric Temporal Logic over dense time domains.S. Baratella - 2004 - Mathematical Logic Quarterly 50 (3):249.
Cognitive incompatibility-automatic mutual exclusion or mutual inhibition.A. Irannejad - 1988 - Bulletin of the Psychonomic Society 26 (6):492-492.
Seeing, acting, and knowing.Zenon W. Pylyshyn - 2001 - Behavioral and Brain Sciences 24 (5):999-999.
From Inevitable Establishment to Mutual Exclusion: The Challenge for Liberal Neutrality.Avigail Ferdman - 2017 - Public Reason 9 (1-2).
Invariants and cues.James E. Cutting - 2001 - Behavioral and Brain Sciences 25 (1):102-103.
Permissive planning: extending classical planning to uncertain task domains.Gerald F. DeJong & Scott W. Bennett - 1997 - Artificial Intelligence 89 (1-2):173-217.
The Visual Perception of Material Properties Affects Motor Planning in Prehension : An Analysis of Temporal and Spatial Components of Lifting Cups.Kristín Ósk Ingvarsdóttir & Christian Balkenius - 2020 - Frontier in Psychology 2020.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,715,951)

6 months
1 (#1,478,781)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.
Concise finite-domain representations for PDDL planning tasks.Malte Helmert - 2009 - Artificial Intelligence 173 (5-6):503-535.

View all 6 references / Add more references