Your search returned 436 results.

Sort
Results
Advances in Artificial Intelligence (vol. # 4013) [Recurso electrónico] / 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, Proceedings edited by Luc La

by Lamontagne, Luc | Marchand, Mario | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4013Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

KI 2005: Advances in Artificial Intelligence [Recurso electrónico] / 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings edited by Ulrich Furbach.

by Furbach, Ulrich | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3698Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Advances in Artificial Intelligence (vol. # 3501) [Recurso electrónico] / 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005, Proceedings edited by Balázs Kégl

by Kégl, Balázs | Lapalme, Guy | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3501Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

PRICAI 2006: Trends in Artificial Intelligence [Recurso electrónico] / 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings edited by Quiang Yang, Geoff Webb.

by Yang, Quiang | Webb, Geoff | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4099Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Environments for Multi-Agent Systems [Recurso electrónico] / First International Workshop, E4MAS, 2004, New York, NY, July 19, 2004, Revised Selected Papers edited by Fabien Michel, H. Van Dyke Parunak, Danny Weyns.

by Michel, Fabien | Van Dyke Parunak, H | Weyns, Danny | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3374Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Environments for Multi-Agent Systems II [Recurso electrónico] / Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers edited by Danny Weyns, H. Van Dyke Parunak, Fabien Michel.

by Weyns, Danny | Michel, Fabien | Parunak, H. Van Dyke | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3830Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Learning and Adaption in Multi-Agent Systems [Recurso electrónico] / First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers edited by Karl Tuyls, Pieter Jan 't Hoen, Katja Verbeeck, Sandip S

by Tuyls, Karl | Sen, Sandip | 't Hoen, Pieter Jan | Verbeeck, Katja | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3898Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Knowledge Discovery in Inductive Databases (vol. # 3377) [Recurso electrónico] / Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers edited by Bart Goethals, Arno Siebes.

by Goethals, Bart | Siebes, Arno | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3377Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Knowledge Discovery in Inductive Databases (vol. # 3933) [Recurso electrónico] / 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers edited by Francesco Bonchi, Jean-Francois Boulicaut.

by Bonchi, Francesco | Boulicaut, Jean-Francois | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3933Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Declarative Programming for Knowledge Management [Recurso electrónico] / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

by Umeda, Masanobu | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | Wolf, Armin | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4369Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Applications of Declarative Programming and Knowledge Management [Recurso electrónico] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP

by Bartenstein, Oskar | Geske, Ulrich | Hanus, Michael | Seipel, Dietmar | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3392Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [Recurso electrónico] / 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings edited by Lluis Godo.

by Godo, Lluis | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3571Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Conditionals, Information, and Inference [Recurso electrónico] / International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm RÃœdder.

by Kern-Isberner, Gabriele | Kulmann, Friedhelm | RÃœdder, Wilhelm | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3301Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Deontic Logic and Artificial Normative Systems [Recurso electrónico] / 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings edited by Lou Goble, John-Jules Ch. Mey

by Goble, Lou | Meyer, John-Jules Ch | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4048Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.

by Baral, Chitta | Greco, Gianluigi | Leone, Nicola | Terracina, Giorgio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3662Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Logics in Artificial Intelligence [Recurso electrónico] / 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa.

by Fisher, Michael | Konev, Boris | Lisitsa, Alexei | van der Hoek, Wiebe | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4160Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Computational Logic in Multi-Agent Systems (vol. # 3487) [Recurso electrónico] / 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers edited by João Leite, Paolo Torroni.

by Leite, João | Torroni, Paolo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3487Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Computational Logic in Multi-Agent Systems (vol. # 3900) [Recurso electrónico] / 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers edited by Francesca Toni, Paolo Torroni.

by Toni, Francesca | Torroni, Paolo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3900Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

AI*IA 2005: Advances in Artificial Intelligence [Recurso electrónico] / 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings edited by Stefania Bandini, Sara Manzoni.

by Bandini, Stefania | Manzoni, Sara | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3673Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

The Seventeen Provers of the World [Recurso electrónico] / Foreword by Dana S. Scott edited by Freek Wiedijk.

by Wiedijk, Freek | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3600Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Pages

Powered by Koha