Tuesday, 16 July 2013
 
Home arrow Prova  
Main Menu
Home
ContractLog
RBSLA
RBSLM
User Menu
Download
Documentation
Translator
Validator
Publications
News
Other Menu
Prova
Reaction RuleML
RuleML
Rule Responder
ITSOM
ContractLog Framework 0.2
Written by Adrian Paschke   
Tuesday, 05 December 2006

ContractLog Framework 0.2

ContractLog files

ContractLog.prova - integrates the ContractLog libraries
math.prova - math library
list.prova - list library
list_math.prova - list math library
datetime.prova - date/time library
timeinterval.prova - time interval library
ec.prova - event calculus library
deontic.prova - deontic logic library
defeasible_deontic.prova - defeasible deontic logic library
owl.prova - owl/dl reasoning library
ecaruntime.prova - eca runtime library
cache.prova - goal memoization / caching library
update.prova - transaction logic updates
utils.prova - utils

ContractLog Examples

ContractLog examples

functional examples of the ContractLog KR
RSLA examples of the ContractLog KR
performance test suite of the ContractLog KR
test cases suite of the ContractLog KR
Last Updated ( Friday, 23 February 2007 )
 
2013 rbsla
Contact: Adrian.Paschke@gmx.de
Copyright Adrian Paschke - Some rights reserved