Knowledge representation and non-monotonic reasoning

Laura Giordano; Francesca Toni

doi:10.1007/978-3-642-14309-0_5

Knowledge representation and non-monotonic reasoning

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

Abstract

Logic programming has been deployed to support non-monotonic reasoning since the late '80s. In this paper, we review semantics, formalisms and computational mechanisms for logic programming for non-monotonic reasoning. We also discuss some formalisms that have emerged from the cross fertilization between the two areas and some applications in as diverse areas as reasoning about dynamic domains, security, diagnosis and legal reasoning.

Lingua originale	Inglese
Titolo della pubblicazione ospite	A 25-Year Perspective on Logic Programming
Sottotitolo della pubblicazione ospite	Achievements of the Italian Association for Logic Programming, GULP
Editor	Agostino Dovier, Enrico Pontelli
Pagine	87-111
Numero di pagine	25
DOI	https://doi.org/10.1007/978-3-642-14309-0_5
Stato di pubblicazione	Pubblicato - 2010

Serie di pubblicazioni

Nome	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6125
ISSN (stampa)	0302-9743
ISSN (elettronico)	1611-3349

Accesso al documento

10.1007/978-3-642-14309-0_5

Altri file e collegamenti

Link to publication in Scopus

Cita questo

Giordano, L., & Toni, F. (2010). Knowledge representation and non-monotonic reasoning. In A. Dovier, & E. Pontelli (Edd.), A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (pagg. 87-111). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6125). https://doi.org/10.1007/978-3-642-14309-0_5

Giordano, Laura ; Toni, Francesca. / Knowledge representation and non-monotonic reasoning. A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. curatore / Agostino Dovier ; Enrico Pontelli. 2010. pagg. 87-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{dedfcfc301824624866af92153d65ffa,

title = "Knowledge representation and non-monotonic reasoning",

abstract = "Logic programming has been deployed to support non-monotonic reasoning since the late '80s. In this paper, we review semantics, formalisms and computational mechanisms for logic programming for non-monotonic reasoning. We also discuss some formalisms that have emerged from the cross fertilization between the two areas and some applications in as diverse areas as reasoning about dynamic domains, security, diagnosis and legal reasoning.",

author = "Laura Giordano and Francesca Toni",

year = "2010",

doi = "10.1007/978-3-642-14309-0_5",

language = "English",

isbn = "9783642143083",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "87--111",

editor = "Agostino Dovier and Enrico Pontelli",

booktitle = "A 25-Year Perspective on Logic Programming",

}

Giordano, L & Toni, F 2010, Knowledge representation and non-monotonic reasoning. in A Dovier & E Pontelli (edd.), A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6125, pagg. 87-111. https://doi.org/10.1007/978-3-642-14309-0_5

Knowledge representation and non-monotonic reasoning. / Giordano, Laura; Toni, Francesca.
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. a cura di / Agostino Dovier; Enrico Pontelli. 2010. pag. 87-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6125).

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

TY - CHAP

T1 - Knowledge representation and non-monotonic reasoning

AU - Giordano, Laura

AU - Toni, Francesca

PY - 2010

Y1 - 2010

N2 - Logic programming has been deployed to support non-monotonic reasoning since the late '80s. In this paper, we review semantics, formalisms and computational mechanisms for logic programming for non-monotonic reasoning. We also discuss some formalisms that have emerged from the cross fertilization between the two areas and some applications in as diverse areas as reasoning about dynamic domains, security, diagnosis and legal reasoning.

AB - Logic programming has been deployed to support non-monotonic reasoning since the late '80s. In this paper, we review semantics, formalisms and computational mechanisms for logic programming for non-monotonic reasoning. We also discuss some formalisms that have emerged from the cross fertilization between the two areas and some applications in as diverse areas as reasoning about dynamic domains, security, diagnosis and legal reasoning.

UR - http://www.scopus.com/inward/record.url?scp=79956133931&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-14309-0_5

DO - 10.1007/978-3-642-14309-0_5

M3 - Chapter

SN - 9783642143083

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 87

EP - 111

BT - A 25-Year Perspective on Logic Programming

A2 - Dovier, Agostino

A2 - Pontelli, Enrico

ER -

Giordano L, Toni F. Knowledge representation and non-monotonic reasoning. In Dovier A, Pontelli E, editor, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. 2010. pag. 87-111. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-14309-0_5

Knowledge representation and non-monotonic reasoning

Abstract

Serie di pubblicazioni

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo