Cerca
Items 1-3 di 3
Eccient evaluation of disjunctive logic programs
(2014-03-31)
Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della
programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle
regole e specificando come l’assunzione di mondo chiuso ...
Design and implementation of a modern ASP grounder
(2018-01-19)
Answer Set Programming (ASP) is a declarative programming paradigm proposed
in the area of non-monotonic reasoning and logic programming in the
late '80 and early '90. Thanks to its expressivity and capability of dealing ...
Tools and Techniques for Easing the Application of Answer Set Programming
(2018-01-19)
Answer Set Programming (ASP) is a well-established declarative problem solving
paradigm; it features high expressiveness and the ability to deal with incomplete
knowledge, so it became widely used in AI and it is now ...