Constraint partitioning in penalty formulations for solving temporal planning problems

&
Artificial Intelligence 170 (3):187-231 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2005.07.001

Links

PhilArchive



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

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

Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP.Minh Binh Do & Subbarao Kambhampati - 2001 - Artificial Intelligence 132 (2):151-182.
A Penalty Function Algorithm with Objective Parameters and Constraint Penalty Parameter for Multi-Objective Programming.Zhiqing Meng - 2014 - AJOR 4:331-339.
Answer Sets and Qualitative Optimization.Gerhard Brewka - 2006 - Logic Journal of the IGPL 14 (3):413-433.
Integrating constraint solving into proof planning.Erica Melis, Jürgen Zimmer & Tobias Müller - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 32--46.
Semipositive LTL with an Uninterpreted Past Operator.John Slaney - 2005 - Logic Journal of the IGPL 13 (2):211-229.
Solving multi-granularity temporal constraint networks.Claudio Bettini, X. Sean Wang & Sushil Jajodia - 2002 - Artificial Intelligence 140 (1-2):107-152.
Local Complexity Adaptable Trajectory Partitioning via Minimum Message Length.Charles R. Twardy - 2011 - In 18th IEEE International Conference on Image Processing. IEEE.
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach.Jesús Cerquides, Juan Antonio Rodríguez-Aguilar, Rémi Emonet & Gauthier Picard - 2021 - Logic Journal of the IGPL 29 (1):72-95.
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.
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.
Solving quantified constraint satisfaction problems.Ian P. Gent, Peter Nightingale, Andrew Rowley & Kostas Stergiou - 2008 - Artificial Intelligence 172 (6-7):738-771.
Judgement aggregation under constraints.Franz Dietrich & Christian List - 2008 - In Thomas A. Boylan & Ruvin Gekker (eds.), Economics, Rational Choice and Normative Philosophy. New York: Routledge. pp. 111-123.
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
Complex Problem Solving: What It Is and What It Is Not.Dörner Dietrich & Funke Joachim - 2017 - Frontiers in Psychology 8.
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems.Osamu Morikawa - 2001 - Notre Dame Journal of Formal Logic 42 (1):55-64.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,554,030)

6 months
5 (#693,173)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

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.

Add more references