This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.
Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.
Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Well-founded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency.
"Sinopsis" puede pertenecer a otra edición de este libro.
Luís Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal.
Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 17,30 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: Bellwetherbooks, McKeesport, PA, Estados Unidos de America
paperback. Condición: Good. Bruise/tear to cover. Nº de ref. del artículo: MIT-PBD-G-M-0262660830
Cantidad disponible: 1 disponibles
Librería: Bookstore Brengelman, Cincinnati, OH, Estados Unidos de America
Soft cover. Condición: Very Good. Nº de ref. del artículo: 33546
Cantidad disponible: 1 disponibles