A System with Template Answer Set Programs-Reference-Cited by-同舟云学术

A System with Template Answer Set Programs

Published:2004 Issue: Volume: Page:693-697
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Calimeri Francesco,Ianni Giovambattista,Ielpa Giuseppe,Pietramala Adriana,Santoro Maria Carmela

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30227-8_59.pdf

Reference16 articles.

1. Cadoli, M., Ianni, G., Palopoli, L., Schaerf, A., Vasile, D.: NP-SPEC: An executable specification language for solving all the problems in NP. Computer Languages, Elsevier Science, Amsterdam (Netherlands) 26(2-4), 165–195 (2000)

2. Chen, W., Kifer, M., Warren, D.S.: Hilog: A foundation for higher-order logic programming. Journal of Logic Programming 15, 187–230 (1993)

3. Dell’Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: Proceedings IJCAI-2003, Acapulco, Mexico (August 2003)

4. The DLPT web site, http://dlpt.gibbi.com

5. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79–103. Kluwer Academic Publishers, Dordrecht (2000)

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

1. Adding Metalogic Features to Knowledge Representation Languages*;Fundamenta Informaticae;2021-06-30

2. An Introduction to Answer Set Programming and Some of Its Extensions;Reasoning Web. Declarative Artificial Intelligence;2020

3. Answer Set Programming;Reasoning Web. Semantic Technologies for Intelligent Data Access;2013

4. Answer Set Programming;Lecture Notes in Computer Science;2010

5. Modular Action Language ${\cal ALM}$;Logic Programming;2009