CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer set semantics. For understanding of approaches to logic programming built on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications. © 2002 Elsevier Science B.V. All rights reserved.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Logic Programming and Knowledge Representation - the A-Prolog perspective |
| Autori: | |
| Data di pubblicazione: | 2002 |
| Rivista: | |
| Citazione: | Logic Programming and Knowledge Representation - the A-Prolog perspective / Gelfond, M; Leone, Nicola. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - 138, N. 1-2(2002), pp. 3-38. |
| Handle: | http://hdl.handle.net/20.500.11770/124850 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/20.500.11770/124850
Copyright © 2019