Constraints and AI Planning

Alexander, Nareyek; Freuder, EUGENE C.; Robert, Fourer; Giunchiglia, Enrico; Goldman, ROBERT P.; Kautz, HENRY A.; Jussi, Rintanen; Austin, Tate

doi:10.1109/MIS.2005.25

CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

Our goal here is to explore the interplay of constraints and planning, highlighting the differences between propositional satisfiability (SAT), integer programming (IP), and constraint programming (CP), and to discuss their potential in expressing and solving AI planning problems.

Scheda prodotto non validato

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Risorse UNIGE

Titolo:	Constraints and AI Planning
Autori:	ALEXANDER NAREYEK EUGENE C. FREUDER ROBERT FOURER GIUNCHIGLIA, ENRICO ROBERT P. GOLDMAN HENRY A. KAUTZ JUSSI RINTANEN AUSTIN TATE mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2005
Rivista:	IEEE INTELLIGENT SYSTEMS
Abstract:	Our goal here is to explore the interplay of constraints and planning, highlighting the differences between propositional satisfiability (SAT), integer programming (IP), and constraint programming (CP), and to discuss their potential in expressing and solving AI planning problems.
Handle:	http://hdl.handle.net/11567/209552
Appare nelle tipologie:	01.01 - Articolo su rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11567/209552

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.