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