Juraj Dzifcak

Available identifiers

zbMath Open dzifcak.jurajMaRDI QIDQ3608639

List of research outcomes

Publication	Date of Publication	Type
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them	2013-03-13	Paper
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs	2009-03-05	Paper
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming	2008-03-11	Paper

Research outcomes over time

This page was built for person: Juraj Dzifcak