| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910453706503321 |
|
|
Autore |
Sinclair John McH |
|
|
Titolo |
How to Use Corpora in Language Teaching |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : John Benjamins Publishing Company, 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-282-16049-4 |
9786612160493 |
90-272-9557-3 |
|
|
|
|
|
|
|
|
Collana |
|
Studies in corpus linguistics How to use corpora in language teaching |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Language and languages - Computer-assisted instruction |
Languages & Literatures |
Philology & Linguistics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910767520903321 |
|
|
Titolo |
Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / / Oliviero Stock, Marco Schaerf (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, 2006 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 343 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science. Lecture notes in artificial intelligence, , 0302-9743 ; ; 4155 |
LNCS sublibrary. SL 7, Artificial intelligence |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
StockOliviero |
SchaerfMarco |
Carlucci AielloL <1946-> (Luigia) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence -- Research Perspectives for Logic and Deduction -- Reductio ad Absurdum: Planning Proofs by Contradiction -- Computational Logic in an Object-Oriented World -- Best-First Rippling -- Partial Solutions with Unique Completion -- A Computerized Referee -- About Implicit and Explicit Shape Representation -- Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems -- Coordination of Actions in an Autonomous Robotic System -- Artificial Intelligence in RoboCup -- Planning Under Uncertainty and Its Applications -- Reasoning About Web Services in a Temporal Action Logic -- Intelligent Search on the Internet -- Cracking Crosswords: The Computer Challenge -- Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis -- Examples of Integration of Induction and Deduction in Knowledge Discovery -- SharedLife: Towards Selective Sharing of Augmented Personal Memories. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci |
|
|
|
|
|
|
|
|
|
|
Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work. |
|
|
|
|
|
| |