hex-Programs with Existential Quantification-Reference-Cited by-同舟云学术

hex-Programs with Existential Quantification

Published:2014 Issue: Volume: Page:99-117
ISSN:0302-9743
Container-title:Declarative Programming and Knowledge Management
language:
Short-container-title:

Author:

Eiter Thomas,Fink Michael,Krennwallner Thomas,Redl Christoph

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08909-6_7

Reference18 articles.

1. Lecture Notes in Computer Science;A Aavani,2011

2. Alviano, M., Faber, W., Leone, N., Manna, M.: Disjunctive datalog with existential quantifiers: semantics, decidability, and complexity issues. TPLP 12(4–5), 701–718 (2012)

3. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)

4. Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3–4), 333–361 (2007)

5. Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Grounding HEX-programs with expanding domains. In: Workshop on Grounding and Transformations for Theories with Variables (GTTV’13), pp. 3–15 (2013)

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

1. SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog;Proceedings of the VLDB Endowment;2023-09

2. Abstraction for non-ground answer set programs;Artificial Intelligence;2021-11

3. Answer Set Programming with External Source Access;Reasoning Web. Semantic Interoperability on the Web;2017

4. Extending Answer Set Programs with Interpreted Functions as First-Class Citizens;Practical Aspects of Declarative Languages;2016-12-17

5. Domain expansion for ASP-programs with external sources;Artificial Intelligence;2016-04