no code implementations • 20 Apr 2023 • Diego Figueira, Santiago Figueira, Edwin Pin
We investigate the expressive power, characterization of bisimulation, satisfiability, and model checking for CPDL+.
no code implementations • 17 May 2018 • Pablo Tano, Sergio Romano, Mariano Sigman, Alejo Salles, Santiago Figueira
Recent approaches to human concept learning have successfully combined the power of symbolic, infinitely productive rule systems and statistical learning to explain our ability to learn new concepts from just a few examples.