Item type:Journal,

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

Thumbnail Image

Fulltext URI

Document type

Text/Journal

Additional Information

Date

2018

relationships.isAuthorOf

Journal Title

Journal ISSN

Volume Title

Source

KI - Künstliche Intelligenz: Vol. 32, No. 2-3

Publisher

Springer Nature

Abstract

Description

Janhunen, Tomi (2018): Cross-Translating Answer Set Programs Using the ASPTOOLS Collection. KI - Künstliche Intelligenz: Vol. 32, No. 2-3. DOI: 10.1007/s13218-018-0529-9. Berlin Heidelberg: Springer Nature. PISSN: 1610-1987. pp. 183-184

Keywords

Citation

DOI

10.1007/s13218-018-0529-9

URI

URI

https://dl.gi.de/handle/20.500.12116/21864

Collections

Künstliche Intelligenz 32(2+3) - August 2018

Endorsement

Review

Supplemented By

Referenced By

Number of citations to item: 13

  • Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca (2019): Evaluation of Disjunctive Programs in WASP, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-20528-7_18
  • Thomas Eiter, Markus Hecher, Rafael Kiesel (2024): aspmc: New frontiers of algebraic answer set counting, In: Artificial Intelligence, doi:10.1016/j.artint.2024.104109
  • WOLFGANG FABER, GIUSEPPE MAZZOTTA, FRANCESCO RICCA (2023): An Efficient Solver for ASP(Q), In: Theory and Practice of Logic Programming 4(23), doi:10.1017/s1471068423000121
  • Tomi Janhunen (2023): Generalizing Level Ranking Constraints for Monotone and Convex Aggregates, In: Electronic Proceedings in Theoretical Computer Science, doi:10.4204/eptcs.385.12
  • Patrick Doherty, Andrzej Szalas (2021): Rough set reasoning using answer set programs, In: International Journal of Approximate Reasoning, doi:10.1016/j.ijar.2020.12.010
  • Wolf De Wulf, Bart Bogaerts (2020): LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories, In: Electronic Proceedings in Theoretical Computer Science, doi:10.4204/eptcs.325.25
  • Tomi Janhunen (2022): Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-94479-7_9
  • Oleg A. Sychev, Anton Anikin, Mikhail Denisov (2021): Inference Engines Performance in Reasoning Tasks for Intelligent Tutoring Systems, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-86960-1_33
  • CARMINE DODARO, MARCO MARATEA, MAURO VALLATI (2022): On the Configuration of More and Less Expressive Logic Programs, In: Theory and Practice of Logic Programming 2(23), doi:10.1017/s1471068422000096
  • Masood Feyzbakhsh Rankooh, Tomi Janhunen (2022): Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination, In: Lecture Notes in Computer Science, doi:10.1007/978-3-031-15707-3_16
  • Carmine Dodaro (2024): Design and implementation of modern CDCL ASP solvers, In: Intelligenza Artificiale: The international journal of the AIxIA 2(18), doi:10.3233/ia-240019
  • Tomi Janhunen, Michael Sioutis (2020): Allen’s Interval Algebra Makes the Difference, In: Lecture Notes in Computer Science, doi:10.1007/978-3-030-46714-2_6
  • Tomi Janhunen (2022): Proceedings 38th International Conference on Logic Programming, In: Electronic Proceedings in Theoretical Computer Science, doi:10.4204/eptcs.364.28
Please note: Providing information about citations is only possible thanks to to the open metadata APIs provided by crossref.org and opencitations.net. These lists may be incomplete due to unavailable citation data.source: opencitations.net, crossref.org