( en | de | ru )

 

Disambiguation of "Pacenza, Francesco"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental Answer Set Programming with Overgrounding.

, , , , and . Theory Pract. Log. Program., 19 (5-6): 957-973 (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Pinosa

Francesco Solimena

Francesco Knechtli

Francesco Virili

 

Other publications of authors with the same name

Reasoning in Highly Reactive Environments.. ICLP Technical Communications, volume 306 of EPTCS, page 420-426. (2019)Incremental maintenance of overgrounded logic programs with tailored simplifications., , and . Theory Pract. Log. Program., 20 (5): 719-734 (2020)Incremental Answer Set Programming with Overgrounding., , , , and . Theory Pract. Log. Program., 19 (5-6): 957-973 (2019)From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games., , , , and . KR, page 44-54. (2023)EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring., , , , , and . Big Data Cogn. Comput., 7 (3): 135 (2023)Rethinking Answer Set Programming Templates., , , and . CoRR, (2023)Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)., , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 96-106. Springer, (2023)Tight Integration of Rule-Based Tools in Game Development., , and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 3-17. Springer, (2019)Efficient compliance checking of RDF data., , , , , and . J. Log. Comput., 33 (8): 1753-1776 (December 2023)An Infrastructure for Multi-shot Reasoning with Incremental Grounding., , and . CILC, volume 2396 of CEUR Workshop Proceedings, page 269-278. CEUR-WS.org, (2019)