Utilizing problem structure in planning : :: SCD d'Orléans

Utilizing problem structure in planning : a local search approach

Utilizing problem structure in planning : a local search approach

Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For this reason, planning, as a central research area of artificial intelligence from its beginnings, has gained even more attention and importance recently...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Hoffmann, Jörg
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science. Lecture notes in artificial intelligence 2854
Hasła przedmiotowe:	Informatique Théorie de la démonstration Algorithmes Intelligence artificielle Résolution de problème
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Utilizing problem structure in planning, a local search approach, Jorg Hoffmann, Berlin, Springer, 2003, 1 vol. (XIII-251 p.), Lecture notes in computer science, 3-540-20259-5 • Utilizing Problem Structure in Planning, Texte imprimé, 9783662182208

Podobne zapisy

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
od: Kahle, Reinhard, 1967-

The logic of information structures
od: Wansing, Heinrich, 1963-

Instantiation theory : on the foundations of automated deduction
od: Williams, James G., 1939-

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Automated deduction in equational logic and cubic curves
od: McCune, William Walker, 1953-, i wsp.

Term indexing
od: Graf, Peter, 1966-

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
od: Wang, Dongming, 1961-...., mathématicien

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Problem-solving methods : understanding, description, development, and reuse
od: Fensel, Dieter, 1960-

Intelligent problem solving : methodologies and approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000 : proceedings

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Local search for planning and scheduling : ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 : revised papers

Théorie des graphes : au-delà des ponts de Königsberg : problèmes, théorèmes, algorithmes
od: Cogis, Olivier, 19..-, i wsp.
Wydane: (2003)

Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings

The thinking computer : mind inside matter
od: Raphael, Bertram, 1936-
Wydane: (1976)

Efficient structures for geometric data management
od: Günther, Oliver, 1961-

A resolution principle for a logic with restricted quantifiers
od: Bürckert, Hans-Jürgen

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
od: Schaub, Torsten

Théorie des graphes
od: Cogis, Olivier, 19..-, i wsp.
Wydane: (2018)

Logique. Méthodes pour l'informatique fondamentale
od: Gochet, Paul, 1932-2011, logicien, i wsp.
Wydane: (1990)

Theory reasoning in connection calculi
od: Baumgartner, Peter, 1953-

Modélisation cognitive et résolution de problèmes
od: Caplat, Guy, 1950-
Wydane: (2002)

The problem of incomplete information in relational databases
od: Grahne, Gösta, 1955-

Le contrôle dans les systèmes à base de connaissances : contribution à l'épistémologie de l'intelligence artificielle
od: Bachimont, Bruno, 1963-
Wydane: (1992)

Autonomous dynamic reconfiguration in multi-agent systems : improving the quality and efficiency of collaborative problem solving
od: Hannebauer, Markus, 1976-

Time structures : formal description and algorithmic representation
od: Hajnicz, Elzbieta, 19..-

KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9 12, 1997 : proceedings

Integer optimization by local search : a domain-independent approach
od: Walser, Joachim Paul

Isabelle : a generic theorem prover
od: Paulson, Lawrence C., 1955-...., informaticien

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

Types for proofs and programs : third international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

Sequence learning : paradigms, algorithms, and applications
od: Sun, Ron, 1960-

ITC : informatique en tronc commun : cours et exercices corrigés
od: Butin, Frédéric
Wydane: (2022)

Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
od: McCune, William Walker, 1953-

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

Automated deduction in classical and non-classical logics : selected papers

Automated deduction : Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
od: McRobbie, Michael A., 1950-

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales