A Family of Unification-Oblivious Program Transformations and Their Applications

von Tarau, Paul
Veröffentlicht in PADL (23. : 2021 : Online) Practical aspects of declarative languages (2021)

Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistüc Logic

von Tarau, Paul
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

Interactive Text Graph Mining with a Prolog-based Dialog Engine

von Tarau, Paul
Veröffentlicht in PADL (22. : 2020 : New Orleans, La.) Practical aspects of declarative languages (2020)

DocTalk: Combining Dependency-Based Text Graphs and Deep Learning into a Practical Dialog Engine

von Guo, Yifan
Veröffentlicht in FQAS (14. : 2021 : Bratislava) Flexible Query Answering Systems (2021)

Technical communications of the 34th International Conference on Logic Programming : ICLP 2018 : July 14-17, 2018, Oxford, United Kingdom

Veröffentlicht 2018