From post

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.

, , , , , и . AI*IA, том 11298 из Lecture Notes in Computer Science, стр. 225-237. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)., , , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 96-106. Springer, (2023)A model building framework for answer set programming with external computations., , , , , и . Theory Pract. Log. Program., 16 (4): 418-464 (2016)Nonmonotonic Description Logic Programs: Implementation and Experiments., , , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 511-527. Springer, (2004)Efficiently Querying RDF(S) Ontologies with Answer Set Programming., , , и . J. Log. Comput., 19 (4): 671-695 (2009)NP-SPEC: an executable specification language for solving all problems in NP., , , , и . Comput. Lang., 26 (2-4): 165-195 (2000)Rethinking Answer Set Programming Templates., , , и . CoRR, (2023)Decidable Fragments of Logic Programming with Value Invention., , и . JELIA, том 4160 из Lecture Notes in Computer Science, стр. 95-110. Springer, (2006)Enhancing ASP by Functions: Decidable Classes and Implementation Techniques., , , и . AAAI, стр. 1666-1670. AAAI Press, (2010)Specification of Assessment-test Criteria through ASP Specifications., , и . Answer Set Programming, том 142 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)Answer Set Programming with Templates., , , и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)