research
∙
09/22/2021
Reactive Answer Set Programming
Logic Production System (LPS) is a logic-based framework for modelling r...
share
research
∙
08/24/2018
Using SWISH to realise interactive web based tutorials for logic based languages
Programming environments have evolved from purely text based to using gr...
research
∙
01/04/2016
Programming in logic without logic programming
In previous work, we proposed a logic-based framework in which computati...
research
∙
01/15/2014
Computational Logic Foundations of KGP Agents
This paper presents the computational logic foundations of a model of ag...
research
∙
01/29/2013