Rule Based Programming with Constraints and Strategies
Identifieur interne : 001499 ( Istex/Curation ); précédent : 001498; suivant : 001500Rule Based Programming with Constraints and Strategies
Auteurs : Hubert Dubois [France] ; Héléne Kirchner [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We present a framework for Rule Based Programming with Constraints and Strategies. It is implemented in the ELAN language, that provides an environment for specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon them, and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.
Url:
DOI: 10.1007/3-540-44654-0_14
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001517
Links to Exploration step
ISTEX:5B2FC9192F573E52637495E7A5948C3879B15F9FLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Rule Based Programming with Constraints and Strategies</title><author><name sortKey="Dubois, Hubert" sort="Dubois, Hubert" uniqKey="Dubois H" first="Hubert" last="Dubois">Hubert Dubois</name><affiliation wicri:level="1"><mods:affiliation>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea></affiliation></author><author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Héléne" last="Kirchner">Héléne Kirchner</name><affiliation wicri:level="1"><mods:affiliation>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:5B2FC9192F573E52637495E7A5948C3879B15F9F</idno><date when="2000" year="2000">2000</date><idno type="doi">10.1007/3-540-44654-0_14</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-4VJJKWZ3-5/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">001517</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001517</idno><idno type="wicri:Area/Istex/Curation">001499</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Rule Based Programming with Constraints and Strategies</title><author><name sortKey="Dubois, Hubert" sort="Dubois, Hubert" uniqKey="Dubois H" first="Hubert" last="Dubois">Hubert Dubois</name><affiliation wicri:level="1"><mods:affiliation>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea></affiliation></author><author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Héléne" last="Kirchner">Héléne Kirchner</name><affiliation wicri:level="1"><mods:affiliation>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA-UHP & CNRS, BP 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We present a framework for Rule Based Programming with Constraints and Strategies. It is implemented in the ELAN language, that provides an environment for specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon them, and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001499 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001499 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Curation
|type= RBID
|clé= ISTEX:5B2FC9192F573E52637495E7A5948C3879B15F9F
|texte= Rule Based Programming with Constraints and Strategies
}}
| This area was generated with Dilib version V0.6.33. |  |