Sciweavers

RULEML
2015
Springer
7 years 11 months ago
Transformation and Aggregation Preprocessing for Top-k Recommendation GAP Rules Induction
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...
Marta Vomlelová, Michal Kopecky, Peter Vojt...
RULEML
2015
Springer
7 years 11 months ago
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
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, ...
Jean-François Baget, Alain Gutierrez, Miche...
RULEML
2015
Springer
7 years 11 months ago
An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language
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...
Alexei A. Morozov, Alexander F. Polupanov, Olga Su...
RULEML
2015
Springer
7 years 11 months ago
A Translator of Actor Prolog to Java
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...
Alexei A. Morozov, Alexander F. Polupanov, Olga Su...
RULEML
2015
Springer
7 years 11 months ago
Input/Output STIT Logic for Normative Systems
Abstract. In this paper we study input/output STIT logic. We introduce the semantics, proof theory and prove the completeness theorem. Input/output STIT logic has more expressive p...
Xin Sun 0001
RULEML
2015
Springer
7 years 11 months ago
GROOLS: Reactive Graph Reasoning for Genome Annotation
GROOLS (Genomic Rule Oriented Object Logic System) is an expert system to help biologists in the evaluation of genome functional annotation through biological processes like metabo...
Jonathan Mercier, David Vallenet
RULEML
2015
Springer
7 years 11 months ago
CAPAS: A Service for Improving the Assignments of Common Agriculture Policy Funds to Farmers and Land Owners
The Tragsa Group is part of the group of companies administered by the Spanish state-owned holding company Sociedad Estatal de Participaciones Industriales (SEPI). Its 37 years of ...
Mariano Navarro, Ramón Baiget, Jesús...
RULEML
2015
Springer
7 years 11 months ago
RuleML 1.02: Deliberation, Reaction and Consumer Families
Tara Athan, Harold Boley, Adrian Paschke
RULEML
2015
Springer
7 years 11 months ago
Assessing Elements of Crime Based on an Agent Simulation of a Street Robbery
Agent-based simulation is a useful tool in terms of assessing human behaviour under the criminal law. We developed a street robbery scenario generator with elements of a criminal l...
Jakub Nowakowski, Czeslaw Jedrzejek, Jakub Dutkiew...
RULEML
2015
Springer
7 years 11 months ago
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog
We present a novel technological approach, based on Textual Rulelog, to automated decision support for financial regulatory/policy compliance, via a case study on banking Regulati...
Benjamin N. Grosof, Janine Bloomfield, Paul Fodor,...