611
click to vote
RULEML
2015
Springer
9 years 11 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...
634
click to vote
RULEML
2015
Springer
9 years 11 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...
590
Voted
RULEML
2015
Springer
9 years 11 months ago
2015
Springer
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 ...
572
click to vote
RULEML
2015
Springer
9 years 11 months ago
2015
Springer
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...