Search Results for author:
Found 6 papers, 1 papers with code
Rethinking Answer Set Programming Templates
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 interest.
Incremental maintenance of overgrounded logic programs with tailored simplifications
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing.
ASP-Core-2 Input Language Format
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 applications.
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
Incremental Answer Set Programming with Overgrounding
In this context, we propose an incremental grounding approach for the answer set semantics.
A model building framework for Answer Set Programming with external computations
As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats.
