Enhancing DLV for Large-Scale Reasoning-Reference-Cited by-同舟云学术

Enhancing DLV for Large-Scale Reasoning

Published:2019 Issue: Volume: Page:312-325
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Leone Nicola^ORCID,Allocca Carlo^ORCID,Alviano Mario^ORCID,Calimeri Francesco^ORCID,Civili Cristina^ORCID,Costabile Roberta^ORCID,Fiorentino Alessio^ORCID,Fuscà Davide^ORCID,Germano Stefano^ORCID,Laboccetta Giovanni^ORCID,Cuteri Bernardo^ORCID,Manna Marco^ORCID,Perri Simona^ORCID,Reale Kristian^ORCID,Ricca Francesco^ORCID,Veltri Pierfrancesco^ORCID,Zangari Jessica^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-20528-7_23

Reference43 articles.

1. Adrian, W.T., Manna, M., Leone, N., Amendola, G., Adrian, M.: Entity set expansion from the web via ASP. In: ICLP (TC), OASICS, vol. 58, pp. 1:1–1:5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)

2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alviano,2017

3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alviano,2015

4. Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156–192 (2012)

5. Amendola, G.: Preliminary results on modeling interdependent scheduling games via answer set programming. In: RiCeRcA@AI*IA, CEUR WS, vol. 2272 (2018)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Clingo2DSR - A clingo-based software system for declarative spatial reasoning;Spatial Cognition & Computation;2024-03-29

2. Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies;Artificial Intelligence and Law;2023-06-02

3. A Declarative Approach to Contrast Pattern Mining;AIxIA 2022 – Advances in Artificial Intelligence;2023

4. Mining Contrast Sequential Patterns with ASP;AIxIA 2023 – Advances in Artificial Intelligence;2023

5. ValAsp: A Tool for Data Validation in Answer Set Programming;Theory and Practice of Logic Programming;2022-03-14