| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910260610103321 |
|
|
Titolo |
Knowledge representation / / edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, Massachusetts : , : MIT Press, , 1992 |
|
[Piscataqay, New Jersey] : , : IEEE Xplore, , [1992] |
|
|
|
|
|
|
|
|
|
Edizione |
[1st MIT Press ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 PDF (408 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Special issues of Artificial intelligence, an international journal |
|
|
|
|
|
|
Altri autori (Persone) |
|
BrachmanRonald J. <1949-> |
LevesqueHector J. <1951-> |
ReiterRay |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Knowledge representation (Information theory) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"A Bradford book." |
"Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--T.p. verso. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Sommario/riassunto |
|
Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid |
|
|
|
|
|
|
|
|
|
|
|
|
|
Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910699324203321 |
|
|
Titolo |
Final environmental impact statement (EIS) for the Mississippi River-Gulf Outlet (MRGO), Louisiana, and Lake Borgne--wetland creation and shoreline protection project [[electronic resource] /] / U.S. Army Corps of Engineers, New Orleans District |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New Orleans, LA : , : U.S. Army Corps of Engineers, New Orleans District, , [2009] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource : illustrations, charts, maps (chiefly color) |
|
|
|
|
|
|
Soggetti |
|
Wetland restoration - Louisiana - Mississippi River-Gulf Outlet Canal |
Wetland restoration - Louisiana - Borgne, Lake |
Wetland management - Louisiana - Mississippi River-Gulf Outlet Canal |
Wetland management - Louisiana - Borgne, Lake |
Shore protection - Louisiana - Mississippi River-Gulf Outlet Canal |
Shore protection - Louisiana - Borgne, Lake |
Hurricane protection - Louisiana |
Canals - Environmental aspects - Louisiana |
Inland navigation - Environmental aspects - Louisiana |
Environmental impact analysis - Louisiana - Mississippi River-Gulf Outlet Canal |
Environmental impact analysis - Louisiana - Borgne, Lake |
Mississippi River-Gulf Outlet Canal (La.) |
Borgne, Lake (La.) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from PDF title screen (mrgo.gov, viewed July 23, 2010). |
|
|
|
|
|
|
|
|
|
|
Cooperating agency: U.S. Fish and Wildlife Service. |
"June 2009." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
| |