Reasoning, action and interaction in AI theories and systems
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:34792/Details |
|---|---|
| Ostali autori: | Stock, Oliviero (-), Schaerf, Marco |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
2006.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
4155. Lecture notes in computer science. Lecture notes in artificial intelligence. Lecture notes in computer science. Festschrift. |
| Predmet: | |
| Online pristup: |
Publisher description |
| LEADER | 03497cam a22006137a 4500 | ||
|---|---|---|---|
| 005 | 20140416114243.0 | ||
| 008 | 060719s2006 gw ac b 011 0 eng d | ||
| 010 | |a 2006931263 | ||
| 015 | |a GBA684790 |2 bnb | ||
| 016 | 7 | |a 013565214 |2 Uk | |
| 020 | |a 3540379010 (pbk.) | ||
| 024 | 3 | |a 9783540379010 | |
| 035 | |a (OCoLC)ocm71299058 | ||
| 035 | |a (OCoLC)71299058 | ||
| 040 | |a OHX |c OHX |d UKM |d BAKER |d CUS |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a Q334 |b .R422 2006 |
| 072 | 7 | |a Q |2 lcco | |
| 082 | 0 | 4 | |a 006.3 |2 22 |
| 245 | 0 | 0 | |a Reasoning, action and interaction in AI theories and systems : |b essays dedicated to Luigia Carlucci Aiello / |c Oliviero Stock, Marco Schaerf (eds.). |
| 260 | |a Berlin ; |a New York : |b Springer, |c 2006. | ||
| 300 | |a xviii, 342 p. : |b ill., port. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 4155. |a Lecture notes in artificial intelligence | |
| 490 | 1 | |a Festschrift | |
| 504 | |a Includes bibliographical references and index. | ||
| 506 | 0 | |a Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence --- Roberto Cordeschi | |
| 506 | 0 | |a Research Perspectives for Logic and Deduction --- Wolfgang Bibel | |
| 506 | 0 | |a Reductio ad Absurdum: Planning Proofs by Contradiction --- Erica Melis, Martin Pollet, Jörg Siekmann | |
| 506 | 0 | |a Computational Logic in an Object-Oriented World --- Bob Kowalski | |
| 506 | 0 | |a Best-First Rippling --- Moa Johansson, Alan Bundy, Lucas Dixon | |
| 506 | 0 | |a Partial Solutions with Unique Completion --- Marco Cadoli, Marco Schaerf | |
| 506 | 0 | |a A Computerized Referee Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz | |
| 506 | 0 | |a About Implicit and Explicit Shape Representation --- Fiora Pirri | |
| 506 | 0 | |a Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems --- Roberto Serra, Marco Villani | |
| 506 | 0 | |a Coordination of Actions in an Autonomous Robotic System --- Erik Sandewall | |
| 506 | 0 | |a Artificial Intelligence in RoboCup --- Daniele Nardi, Luca Iocchi | |
| 506 | 0 | |a Planning Under Uncertainty and Its Applications --- Paolo Traverso | |
| 506 | 0 | |a Reasoning About Web Services in a Temporal Action Logic --- Alberto Martelli, Laura Giordano | |
| 506 | 0 | |a Intelligent Search on the Internet --- Alessandro Micarelli, Fabio Gasparetti, Claudio Biancalana | |
| 506 | 0 | |a Cracking Crosswords: The Computer Challenge --- Marco Gori, Marco Ernandes, Giovanni Angelini | |
| 506 | 0 | |a Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis --- Pietro Torasso, Gianluca Torta | |
| 506 | 0 | |a Examples of Integration of Induction and Deduction in Knowledge Discovery --- Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo | |
| 506 | 0 | |a SharedLife: Towards Selective Sharing of Augmented Personal Memories --- Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann | |
| 650 | 0 | |a Artificial intelligence. | |
| 700 | 1 | |a Stock, Oliviero. | |
| 700 | 1 | |a Schaerf, Marco. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 4155. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 830 | 0 | |a Lecture notes in computer science. |p Festschrift. | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0825/2006931263-d.html |
| 906 | |a 7 |b cbc |c copycat |d 2 |e ncip |f 20 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a jx85 2006-11-28 z-processor |i jx85 2006-11-28 | ||
| 999 | |c 34792 |d 34792 | ||