C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.

Jon Haël Brenas Rachid Echahed Martin Strecker

Published in: SCSS (2017)

Keyphrases

neural network
database
data sets
pattern recognition
combining multiple
dynamic logic
real time
information systems