453 citations · 1.2k across the 20 of their papers we have counts for
5 papers · 1 filter
Qsmodels: ASP Planning in Interactive Gaming Environment
Luca Padovani, Alessandro Provetti
Qsmodels is a novel application of Answer Set Programming to interactive gaming environment. We describe a software architecture by which the behavior of a bot acting inside the Qu…
RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality
Carlo Bernava, Giacomo Fiumara, Dario Maggiorini +2
We have designed and implemented an application running inside Second Life that supports user annotation of graphical objects and graphical visualization of concept ontologies, thu…
Characterizing and computing stable models of logic programs: The non-stratified case
Gianpaolo Brignoli, Stefania Costantini, Ottavio D'Antona +1
Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-…
A primer on Answer Set Programming
Alessandro Provetti
A introduction to the syntax and Semantics of Answer Set Programming intended as an handout to [under]graduate students taking Artificial Intlligence or Logic Programming classes.
Normal forms for Answer Sets Programming
Stefania Costantini, Alessandro Provetti
Normal forms for logic programs under stable/answer set semantics are introduced. We argue that these forms can simplify the study of program properties, mainly consistency. The fi…