100
click to vote
CALCO
2015
Springer
9 years 11 months ago
2015
Springer
In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced ‘stateand-effect’ trian...
573
click to vote
RULEML
2015
Springer
9 years 11 months ago
2015
Springer
In this paper we describe the KTIML team approach to RuleML 2015 Rule-based Recommender Systems for the Web of Data Challenge Track. The task is to estimate the top 5 movies for ea...
595
click to vote
RULEML
2015
Springer
9 years 11 months ago
2015
Springer
This paper is devoted to formats and translations for Datalog+. We first introduce the dlgp format, which extends classical Datalog format to Datalog+. It allows to encode facts, ...
597
click to vote
RULEML
2015
Springer
9 years 11 months ago
2015
Springer
A method for the monitoring of anomalous human behaviour that is based on the logical description of complex human behaviour patterns and special kinds of blob (a separated area of...
593
click to vote
RULEML
2015
Springer
9 years 11 months ago
2015
Springer
Actor Prolog is a concurrent object-oriented logic language developed in [1]. We demonstrate a state-of-the-art translator of Actor Prolog to Java developed in the framework of the...