627
click to vote
RULEML
9 years 10 months ago
2015 Springer 
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...
607
Voted
RULEML
9 years 10 months ago
2015 Springer 
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...
594
click to vote
RULEML
9 years 10 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...
592
click to vote
RULEML
9 years 10 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, ...
588
click to vote
RULEML
9 years 10 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...
|
Internet Technology