Filter dates
Overview
- logic programs
- answer set programming
- deductive database systems
- ontological reasoning
- mathcal shiq
Publications
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
PADL
Rethinking Answer Set Programming Templates.
PADL
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Efficient compliance checking of RDF data.
J. Log. Comput.
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).
PADL
Rethinking Answer Set Programming Templates.
CoRR