<?xml version="1.0" encoding="UTF-8" ?>
<oai_dc:dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</dc:title>
<dc:creator>Francès, Guillem</dc:creator>
<dc:creator>Geffner, Héctor</dc:creator>
<dc:subject>Intel·ligència artificial</dc:subject>
<dc:description>Comunicació presentada a la Twenty-Fifth International Joint Conference on Artificial Intelligence, celebrada els dies 9 a 15 de juliol de 2016 a Nova York.</dc:description>
<dc:description>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</dc:description>
<dc:description>This work is partially supported by the M. de Maeztu Programme (MDM-2015-0502) and by grants TIN2015-67959 and CSD2010-00034, MEC, Spain.</dc:description>
<dc:date>2016</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
<dc:identifier>Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:identifier>
<dc:identifier>http://hdl.handle.net/10230/34084</dc:identifier>
<dc:language>eng</dc:language>
<dc:relation>Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</dc:relation>
<dc:rights>Copyright © 2016 International Joint Conferences on Artificial Intelligence</dc:rights>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:format>application/pdf</dc:format>
<dc:publisher>IJCAI & AAAI Press</dc:publisher>
</oai_dc:dc>
<?xml version="1.0" encoding="UTF-8" ?>
<d:DIDL schemaLocation="urn:mpeg:mpeg21:2002:02-DIDL-NS http://standards.iso.org/ittf/PubliclyAvailableStandards/MPEG-21_schema_files/did/didl.xsd">
<d:DIDLInfo>
<dcterms:created schemaLocation="http://purl.org/dc/terms/ http://dublincore.org/schemas/xmls/qdc/dcterms.xsd">2018-03-12T10:49:54Z</dcterms:created>
</d:DIDLInfo>
<d:Item id="hdl_10230_34084">
<d:Descriptor>
<d:Statement mimeType="application/xml; charset=utf-8">
<dii:Identifier schemaLocation="urn:mpeg:mpeg21:2002:01-DII-NS http://standards.iso.org/ittf/PubliclyAvailableStandards/MPEG-21_schema_files/dii/dii.xsd">urn:hdl:10230/34084</dii:Identifier>
</d:Statement>
</d:Descriptor>
<d:Descriptor>
<d:Statement mimeType="application/xml; charset=utf-8">
<oai_dc:dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</dc:title>
<dc:creator>Francès, Guillem</dc:creator>
<dc:creator>Geffner, Héctor</dc:creator>
<dc:description>Comunicació presentada a la Twenty-Fifth International Joint Conference on Artificial Intelligence, celebrada els dies 9 a 15 de juliol de 2016 a Nova York.</dc:description>
<dc:description>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</dc:description>
<dc:date>2018-03-12T10:49:54Z</dc:date>
<dc:date>2018-03-12T10:49:54Z</dc:date>
<dc:date>2016</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:identifier>Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:identifier>
<dc:identifier>http://hdl.handle.net/10230/34084</dc:identifier>
<dc:language>eng</dc:language>
<dc:relation>Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:rights>Copyright © 2016 International Joint Conferences on Artificial Intelligence</dc:rights>
<dc:publisher>IJCAI & AAAI Press</dc:publisher>
</oai_dc:dc>
</d:Statement>
</d:Descriptor>
<d:Component id="10230_34084_1">
</d:Component>
</d:Item>
</d:DIDL>
<?xml version="1.0" encoding="UTF-8" ?>
<dim:dim schemaLocation="http://www.dspace.org/xmlns/dspace/dim http://www.dspace.org/schema/dim.xsd">
<dim:field element="contributor" lang="ca" mdschema="dc" qualifier="author">Francès, Guillem</dim:field>
<dim:field element="contributor" lang="ca" mdschema="dc" qualifier="author">Geffner, Héctor</dim:field>
<dim:field element="date" mdschema="dc" qualifier="accessioned">2018-03-12T10:49:54Z</dim:field>
<dim:field element="date" mdschema="dc" qualifier="available">2018-03-12T10:49:54Z</dim:field>
<dim:field element="date" mdschema="dc" qualifier="issued">2016</dim:field>
<dim:field element="identifier" mdschema="dc" qualifier="citation">Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dim:field>
<dim:field element="identifier" mdschema="dc" qualifier="uri">http://hdl.handle.net/10230/34084</dim:field>
<dim:field element="description" mdschema="dc">Comunicació presentada a la Twenty-Fifth International Joint Conference on Artificial Intelligence, celebrada els dies 9 a 15 de juliol de 2016 a Nova York.</dim:field>
<dim:field element="description" lang="en" mdschema="dc" qualifier="abstract">Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</dim:field>
<dim:field element="description" lang="en" mdschema="dc" qualifier="provenance">Made available in DSpace on 2018-03-12T10:49:54Z (GMT). No. of bitstreams: 1 Frances_IJCAI2016_stri.pdf: 576057 bytes, checksum: f1d269d70142e6eaa4c3464ae461bfda (MD5) Previous issue date: 2016</dim:field>
<dim:field element="description" mdschema="dc" qualifier="sponsorship">This work is partially supported by the M. de Maeztu Programme (MDM-2015-0502) and by grants TIN2015-67959 and CSD2010-00034, MEC, Spain.</dim:field>
<dim:field element="format" mdschema="dc" qualifier="mimetype">application/pdf</dim:field>
<dim:field element="language" mdschema="dc" qualifier="iso">eng</dim:field>
<dim:field element="publisher" lang="ca" mdschema="dc">IJCAI & AAAI Press</dim:field>
<dim:field element="relation" mdschema="dc" qualifier="ispartof">Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dim:field>
<dim:field element="relation" mdschema="dc" qualifier="projectID">info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</dim:field>
<dim:field element="relation" mdschema="dc" qualifier="projectID">info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</dim:field>
<dim:field element="rights" mdschema="dc">Copyright © 2016 International Joint Conferences on Artificial Intelligence</dim:field>
<dim:field element="rights" mdschema="dc" qualifier="accessRights">info:eu-repo/semantics/openAccess</dim:field>
<dim:field element="subject" mdschema="dc" qualifier="other">Intel·ligència artificial</dim:field>
<dim:field element="title" lang="ca" mdschema="dc">∃-STRIPS: existential quantification in planning and constraint satisfaction</dim:field>
<dim:field element="type" mdschema="dc">info:eu-repo/semantics/conferenceObject</dim:field>
<dim:field element="type" mdschema="dc" qualifier="version">info:eu-repo/semantics/publishedVersion</dim:field>
</dim:dim>
<?xml version="1.0" encoding="UTF-8" ?>
<thesis schemaLocation="http://www.ndltd.org/standards/metadata/etdms/1.0/ http://www.ndltd.org/standards/metadata/etdms/1.0/etdms.xsd">
<title>∃-STRIPS: existential quantification in planning and constraint satisfaction</title>
<creator>Francès, Guillem</creator>
<creator>Geffner, Héctor</creator>
<description>Comunicació presentada a la Twenty-Fifth International Joint Conference on Artificial Intelligence, celebrada els dies 9 a 15 de juliol de 2016 a Nova York.</description>
<description>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</description>
<date>2018-03-12</date>
<date>2018-03-12</date>
<date>2016</date>
<type>info:eu-repo/semantics/conferenceObject</type>
<identifier>Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</identifier>
<identifier>http://hdl.handle.net/10230/34084</identifier>
<language>eng</language>
<relation>Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</relation>
<relation>info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</relation>
<relation>info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</relation>
<rights>info:eu-repo/semantics/openAccess</rights>
<rights>Copyright © 2016 International Joint Conferences on Artificial Intelligence</rights>
<publisher>IJCAI & AAAI Press</publisher>
</thesis>
<?xml version="1.0" encoding="UTF-8" ?>
<record schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd">
<leader>00925njm 22002777a 4500</leader>
<datafield ind1=" " ind2=" " tag="042">
<subfield code="a">dc</subfield>
</datafield>
<datafield ind1=" " ind2=" " tag="720">
<subfield code="a">Francès, Guillem</subfield>
<subfield code="e">author</subfield>
</datafield>
<datafield ind1=" " ind2=" " tag="720">
<subfield code="a">Geffner, Héctor</subfield>
<subfield code="e">author</subfield>
</datafield>
<datafield ind1=" " ind2=" " tag="260">
<subfield code="c">2016</subfield>
</datafield>
<datafield ind1=" " ind2=" " tag="520">
<subfield code="a">Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</subfield>
</datafield>
<datafield ind1="8" ind2=" " tag="024">
<subfield code="a">Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</subfield>
</datafield>
<datafield ind1="8" ind2=" " tag="024">
<subfield code="a">http://hdl.handle.net/10230/34084</subfield>
</datafield>
<datafield ind1="0" ind2="0" tag="245">
<subfield code="a">∃-STRIPS: existential quantification in planning and constraint satisfaction</subfield>
</datafield>
</record>
<?xml version="1.0" encoding="UTF-8" ?>
<mets ID=" DSpace_ITEM_10230-34084" OBJID=" hdl:10230/34084" PROFILE="DSpace METS SIP Profile 1.0" TYPE="DSpace ITEM" schemaLocation="http://www.loc.gov/METS/ http://www.loc.gov/standards/mets/mets.xsd">
<metsHdr CREATEDATE="2022-11-15T19:44:55Z">
<agent ROLE="CUSTODIAN" TYPE="ORGANIZATION">
<name>Repositori digital de la UPF</name>
</agent>
</metsHdr>
<dmdSec ID="DMD_10230_34084">
<mdWrap MDTYPE="MODS">
<xmlData schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
<mods:mods schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
<mods:name>
<mods:role>
<mods:roleTerm type="text">author</mods:roleTerm>
</mods:role>
<mods:namePart>Francès, Guillem</mods:namePart>
</mods:name>
<mods:name>
<mods:role>
<mods:roleTerm type="text">author</mods:roleTerm>
</mods:role>
<mods:namePart>Geffner, Héctor</mods:namePart>
</mods:name>
<mods:extension>
<mods:dateAccessioned encoding="iso8601">2018-03-12T10:49:54Z</mods:dateAccessioned>
</mods:extension>
<mods:extension>
<mods:dateAvailable encoding="iso8601">2018-03-12T10:49:54Z</mods:dateAvailable>
</mods:extension>
<mods:originInfo>
<mods:dateIssued encoding="iso8601">2016</mods:dateIssued>
</mods:originInfo>
<mods:identifier type="citation">Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</mods:identifier>
<mods:identifier type="uri">http://hdl.handle.net/10230/34084</mods:identifier>
<mods:abstract>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</mods:abstract>
<mods:language>
<mods:languageTerm authority="rfc3066">eng</mods:languageTerm>
</mods:language>
<mods:accessCondition type="useAndReproduction">Copyright © 2016 International Joint Conferences on Artificial Intelligence</mods:accessCondition>
<mods:titleInfo>
<mods:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</mods:title>
</mods:titleInfo>
<mods:genre>info:eu-repo/semantics/conferenceObject</mods:genre>
</mods:mods>
</xmlData>
</mdWrap>
</dmdSec>
<amdSec ID="FO_10230_34084_1">
<techMD ID="TECH_O_10230_34084_1">
<mdWrap MDTYPE="PREMIS">
<xmlData schemaLocation="http://www.loc.gov/standards/premis http://www.loc.gov/standards/premis/PREMIS-v1-0.xsd">
<premis:premis>
<premis:object>
<premis:objectIdentifier>
<premis:objectIdentifierType>URL</premis:objectIdentifierType>
<premis:objectIdentifierValue>http://repositori.upf.edu/bitstream/10230/34084/1/Frances_IJCAI2016_stri.pdf</premis:objectIdentifierValue>
</premis:objectIdentifier>
<premis:objectCategory>File</premis:objectCategory>
<premis:objectCharacteristics>
<premis:fixity>
<premis:messageDigestAlgorithm>MD5</premis:messageDigestAlgorithm>
<premis:messageDigest>f1d269d70142e6eaa4c3464ae461bfda</premis:messageDigest>
</premis:fixity>
<premis:size>576057</premis:size>
<premis:format>
<premis:formatDesignation>
<premis:formatName>application/pdf</premis:formatName>
</premis:formatDesignation>
</premis:format>
</premis:objectCharacteristics>
<premis:originalName>Frances_IJCAI2016_stri.pdf</premis:originalName>
</premis:object>
</premis:premis>
</xmlData>
</mdWrap>
</techMD>
</amdSec>
<amdSec ID="FT_10230_34084_2">
<techMD ID="TECH_T_10230_34084_2">
<mdWrap MDTYPE="PREMIS">
<xmlData schemaLocation="http://www.loc.gov/standards/premis http://www.loc.gov/standards/premis/PREMIS-v1-0.xsd">
<premis:premis>
<premis:object>
<premis:objectIdentifier>
<premis:objectIdentifierType>URL</premis:objectIdentifierType>
<premis:objectIdentifierValue>http://repositori.upf.edu/bitstream/10230/34084/2/Frances_IJCAI2016_stri.pdf.txt</premis:objectIdentifierValue>
</premis:objectIdentifier>
<premis:objectCategory>File</premis:objectCategory>
<premis:objectCharacteristics>
<premis:fixity>
<premis:messageDigestAlgorithm>MD5</premis:messageDigestAlgorithm>
<premis:messageDigest>90b7fcd31253344ab4496c090879f87e</premis:messageDigest>
</premis:fixity>
<premis:size>39154</premis:size>
<premis:format>
<premis:formatDesignation>
<premis:formatName>text/plain</premis:formatName>
</premis:formatDesignation>
</premis:format>
</premis:objectCharacteristics>
<premis:originalName>Frances_IJCAI2016_stri.pdf.txt</premis:originalName>
</premis:object>
</premis:premis>
</xmlData>
</mdWrap>
</techMD>
</amdSec>
<fileSec>
<fileGrp USE="ORIGINAL">
<file ADMID="FO_10230_34084_1" CHECKSUM="f1d269d70142e6eaa4c3464ae461bfda" CHECKSUMTYPE="MD5" GROUPID="GROUP_BITSTREAM_10230_34084_1" ID="BITSTREAM_ORIGINAL_10230_34084_1" MIMETYPE="application/pdf" SEQ="1" SIZE="576057">
</file>
</fileGrp>
<fileGrp USE="TEXT">
<file ADMID="FT_10230_34084_2" CHECKSUM="90b7fcd31253344ab4496c090879f87e" CHECKSUMTYPE="MD5" GROUPID="GROUP_BITSTREAM_10230_34084_2" ID="BITSTREAM_TEXT_10230_34084_2" MIMETYPE="text/plain" SEQ="2" SIZE="39154">
</file>
</fileGrp>
</fileSec>
<structMap LABEL="DSpace Object" TYPE="LOGICAL">
<div ADMID="DMD_10230_34084" TYPE="DSpace Object Contents">
<div TYPE="DSpace BITSTREAM">
</div>
</div>
</structMap>
</mets>
<?xml version="1.0" encoding="UTF-8" ?>
<mods:mods schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
<mods:name>
<mods:namePart>Francès, Guillem</mods:namePart>
</mods:name>
<mods:name>
<mods:namePart>Geffner, Héctor</mods:namePart>
</mods:name>
<mods:extension>
<mods:dateAvailable encoding="iso8601">2018-03-12T10:49:54Z</mods:dateAvailable>
</mods:extension>
<mods:extension>
<mods:dateAccessioned encoding="iso8601">2018-03-12T10:49:54Z</mods:dateAccessioned>
</mods:extension>
<mods:originInfo>
<mods:dateIssued encoding="iso8601">2016</mods:dateIssued>
</mods:originInfo>
<mods:identifier type="citation">Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</mods:identifier>
<mods:identifier type="uri">http://hdl.handle.net/10230/34084</mods:identifier>
<mods:abstract>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</mods:abstract>
<mods:language>
<mods:languageTerm>eng</mods:languageTerm>
</mods:language>
<mods:accessCondition type="useAndReproduction">info:eu-repo/semantics/openAccess</mods:accessCondition>
<mods:accessCondition type="useAndReproduction">Copyright © 2016 International Joint Conferences on Artificial Intelligence</mods:accessCondition>
<mods:titleInfo>
<mods:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</mods:title>
</mods:titleInfo>
<mods:genre>info:eu-repo/semantics/conferenceObject</mods:genre>
</mods:mods>
<?xml version="1.0" encoding="UTF-8" ?>
<atom:entry schemaLocation="http://www.w3.org/2005/Atom http://www.kbcafe.com/rss/atom.xsd.xml">
<atom:id>http://oai-repositori.upf.edu/oai/metadata/handle/10230/34084/ore.xml</atom:id>
<atom:published>2018-03-12T10:49:54Z</atom:published>
<atom:updated>2018-03-12T10:49:54Z</atom:updated>
<atom:source>
<atom:generator>Repositori digital de la UPF</atom:generator>
</atom:source>
<atom:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</atom:title>
<atom:author>
<atom:name>Francès, Guillem</atom:name>
</atom:author>
<atom:author>
<atom:name>Geffner, Héctor</atom:name>
</atom:author>
<oreatom:triples>
<rdf:Description about="http://oai-repositori.upf.edu/oai/metadata/handle/10230/34084/ore.xml#atom">
<dcterms:modified>2018-03-12T10:49:54Z</dcterms:modified>
</rdf:Description>
<rdf:Description about="http://repositori.upf.edu/bitstream/10230/34084/3/Frances_IJCAI2016_stri.pdf.jpg">
<dcterms:description>THUMBNAIL</dcterms:description>
</rdf:Description>
<rdf:Description about="http://repositori.upf.edu/bitstream/10230/34084/2/Frances_IJCAI2016_stri.pdf.txt">
<dcterms:description>TEXT</dcterms:description>
</rdf:Description>
<rdf:Description about="http://repositori.upf.edu/bitstream/10230/34084/1/Frances_IJCAI2016_stri.pdf">
<dcterms:description>ORIGINAL</dcterms:description>
</rdf:Description>
</oreatom:triples>
</atom:entry>
<?xml version="1.0" encoding="UTF-8" ?>
<qdc:qualifieddc schemaLocation="http://purl.org/dc/elements/1.1/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dc.xsd http://purl.org/dc/terms/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dcterms.xsd http://dspace.org/qualifieddc/ http://www.ukoln.ac.uk/metadata/dcmi/xmlschema/qualifieddc.xsd">
<dc:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</dc:title>
<dc:creator>Francès, Guillem</dc:creator>
<dc:creator>Geffner, Héctor</dc:creator>
<dcterms:abstract>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</dcterms:abstract>
<dc:date>2016</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:identifier>Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:identifier>
<dc:identifier>http://hdl.handle.net/10230/34084</dc:identifier>
<dc:language>eng</dc:language>
<dc:relation>Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:rights>Copyright © 2016 International Joint Conferences on Artificial Intelligence</dc:rights>
<dc:publisher>IJCAI & AAAI Press</dc:publisher>
</qdc:qualifieddc>
<?xml version="1.0" encoding="UTF-8" ?>
<rdf:RDF schemaLocation="http://www.openarchives.org/OAI/2.0/rdf/ http://www.openarchives.org/OAI/2.0/rdf.xsd">
<ow:Publication about="oai:repositori.upf.edu:10230/34084">
<dc:title>∃-STRIPS: existential quantification in planning and constraint satisfaction</dc:title>
<dc:creator>Francès, Guillem</dc:creator>
<dc:creator>Geffner, Héctor</dc:creator>
<dc:description>Comunicació presentada a la Twenty-Fifth International Joint Conference on Artificial Intelligence, celebrada els dies 9 a 15 de juliol de 2016 a Nova York.</dc:description>
<dc:description>Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</dc:description>
<dc:date>2016</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:identifier>Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:identifier>
<dc:identifier>http://hdl.handle.net/10230/34084</dc:identifier>
<dc:language>eng</dc:language>
<dc:relation>Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</dc:relation>
<dc:relation>info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:rights>Copyright © 2016 International Joint Conferences on Artificial Intelligence</dc:rights>
<dc:publisher>IJCAI & AAAI Press</dc:publisher>
</ow:Publication>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8" ?>
<metadata schemaLocation="http://www.lyncode.com/xoai http://www.lyncode.com/xsd/xoai.xsd">
<element name="dc">
<element name="contributor">
<element name="author">
<element name="ca">
<field name="value">Francès, Guillem</field>
<field name="value">Geffner, Héctor</field>
</element>
</element>
</element>
<element name="date">
<element name="accessioned">
<element name="none">
<field name="value">2018-03-12T10:49:54Z</field>
</element>
</element>
<element name="available">
<element name="none">
<field name="value">2018-03-12T10:49:54Z</field>
</element>
</element>
<element name="issued">
<element name="none">
<field name="value">2016</field>
</element>
</element>
</element>
<element name="identifier">
<element name="citation">
<element name="none">
<field name="value">Francès G, Geffner H. ∃-STRIPS: existential quantification in planning and constraint satisfaction. In: Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</field>
</element>
</element>
<element name="uri">
<element name="none">
<field name="value">http://hdl.handle.net/10230/34084</field>
</element>
</element>
</element>
<element name="description">
<element name="none">
<field name="value">Comunicació presentada a la Twenty-Fifth International Joint Conference on Artificial Intelligence, celebrada els dies 9 a 15 de juliol de 2016 a Nova York.</field>
</element>
<element name="abstract">
<element name="en">
<field name="value">Existentially quantified variables in goals and action preconditions are part of the standard PDDL planning language, yet few planners support them, while those that do compile them away at an exponential cost. In this work, we argue that existential variables are an essential feature for representing and reasoning with constraints in planning, and that it is harmful to compile them away or avoid them altogether, since this hides part of the problem structure that can be exploited computationally. We show how to do this by formulating an extension of the standard delete-relaxation heuristics that handles existential variables. While this extension is simple, the consequences for both modeling and computation are important. Furthermore, by allowing existential variables in STRIPS and treating them properly, CSPs can be represented and solved in a direct manner as action-less,fluent-less STRIPS planning problems, something important for problems involving restrictions. In addition, functional fluents in Functional STRIPS can be compiled away with no effect on the structure and informativeness of the resulting heuristic. Experiments are reported comparing our native ∃-STRIPS planner with state-of-the-art STRIPS planners over compiled and propositional encodings, and with a Functional STRIPS planner.</field>
</element>
</element>
<element name="provenance">
<element name="en">
<field name="value">Made available in DSpace on 2018-03-12T10:49:54Z (GMT). No. of bitstreams: 1 Frances_IJCAI2016_stri.pdf: 576057 bytes, checksum: f1d269d70142e6eaa4c3464ae461bfda (MD5) Previous issue date: 2016</field>
</element>
</element>
<element name="sponsorship">
<element name="none">
<field name="value">This work is partially supported by the M. de Maeztu Programme (MDM-2015-0502) and by grants TIN2015-67959 and CSD2010-00034, MEC, Spain.</field>
</element>
</element>
</element>
<element name="format">
<element name="mimetype">
<element name="none">
<field name="value">application/pdf</field>
</element>
</element>
</element>
<element name="language">
<element name="iso">
<element name="none">
<field name="value">eng</field>
</element>
</element>
</element>
<element name="publisher">
<element name="ca">
<field name="value">IJCAI & AAAI Press</field>
</element>
</element>
<element name="relation">
<element name="ispartof">
<element name="none">
<field name="value">Kambhampati S, editor. Twenty-Fifth International Joint Conference on Artificial Intelligence; 2016 Jul 9-15; New York, NY. Palo Alto (CA): AAAI Press / IJCAI; 2016. p. 3082-8.</field>
</element>
</element>
<element name="projectID">
<element name="none">
<field name="value">info:eu-repo/grantAgreement/ES/1PE/TIN2015-67959</field>
<field name="value">info:eu-repo/grantAgreement/ES/3PN/CSD2010-00034</field>
</element>
</element>
</element>
<element name="rights">
<element name="none">
<field name="value">Copyright © 2016 International Joint Conferences on Artificial Intelligence</field>
</element>
<element name="accessRights">
<element name="none">
<field name="value">info:eu-repo/semantics/openAccess</field>
</element>
</element>
</element>
<element name="subject">
<element name="other">
<element name="none">
<field name="value">Intel·ligència artificial</field>
</element>
</element>
</element>
<element name="title">
<element name="ca">
<field name="value">∃-STRIPS: existential quantification in planning and constraint satisfaction</field>
</element>
</element>
<element name="type">
<element name="none">
<field name="value">info:eu-repo/semantics/conferenceObject</field>
</element>
<element name="version">
<element name="none">
<field name="value">info:eu-repo/semantics/publishedVersion</field>
</element>
</element>
</element>
</element>
<element name="bundles">
<element name="bundle">
<field name="name">THUMBNAIL</field>
<element name="bitstreams">
<element name="bitstream">
<field name="name">Frances_IJCAI2016_stri.pdf.jpg</field>
<field name="originalName">Frances_IJCAI2016_stri.pdf.jpg</field>
<field name="description">IM Thumbnail</field>
<field name="format">image/jpeg</field>
<field name="size">21257</field>
<field name="url">http://repositori.upf.edu/bitstream/10230/34084/3/Frances_IJCAI2016_stri.pdf.jpg</field>
<field name="checksum">4d2042155c2527f858d36b6aa551a94e</field>
<field name="checksumAlgorithm">MD5</field>
<field name="sid">3</field>
</element>
</element>
</element>
<element name="bundle">
<field name="name">TEXT</field>
<element name="bitstreams">
<element name="bitstream">
<field name="name">Frances_IJCAI2016_stri.pdf.txt</field>
<field name="originalName">Frances_IJCAI2016_stri.pdf.txt</field>
<field name="description">Extracted text</field>
<field name="format">text/plain</field>
<field name="size">39154</field>
<field name="url">http://repositori.upf.edu/bitstream/10230/34084/2/Frances_IJCAI2016_stri.pdf.txt</field>
<field name="checksum">90b7fcd31253344ab4496c090879f87e</field>
<field name="checksumAlgorithm">MD5</field>
<field name="sid">2</field>
</element>
</element>
</element>
<element name="bundle">
<field name="name">ORIGINAL</field>
<element name="bitstreams">
<element name="bitstream">
<field name="name">Frances_IJCAI2016_stri.pdf</field>
<field name="format">application/pdf</field>
<field name="size">576057</field>
<field name="url">http://repositori.upf.edu/bitstream/10230/34084/1/Frances_IJCAI2016_stri.pdf</field>
<field name="checksum">f1d269d70142e6eaa4c3464ae461bfda</field>
<field name="checksumAlgorithm">MD5</field>
<field name="sid">1</field>
</element>
</element>
</element>
</element>
<element name="others">
<field name="handle">10230/34084</field>
<field name="identifier">oai:repositori.upf.edu:10230/34084</field>
<field name="lastModifyDate">2018-03-13 03:31:38.53</field>
</element>
<element name="repository">
<field name="name">Repositori digital de la UPF</field>
<field name="mail">repositori@upf.edu</field>
</element>
</metadata>