135 citations · 136 across the 5 of their papers we have counts for
6 papers · 1 filter
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza +2
DLV2 is an AI tool for Knowledge Representation and Reasoning which supports Answer Set Programming (ASP) - a logic-based declarative formalism, successfully used in both academic…
Rethinking Answer Set Programming Templates
Mario Alviano, Giovambattista Ianni, Francesco Pacenza +1
In imperative programming, the Domain-Driven Design methodology helps in coping with the complexity of software development by materializing in code the invariants of a domain of i…
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual…
Incremental Answer Set Programming with Overgrounding
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza +2
Repeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning. In this context, we propose an incremental grounding…
Parametric external predicates for the DLV System
G. Ianni, F. Calimeri, A. Pietramala +1
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is re…
Intelligent Anticipated Exploration of Web Sites
Giovambattista Ianni
In this paper we describe a web search agent, called Global Search Agent (hereafter GSA for short). GSA integrates and enhances several search techniques in order to achieve signif…