Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork.

Philippe Balbiani Joseph Boudou

Published in: DALI@TABLEAUX (2017)

Keyphrases

machine learning
search engine
state space search
neural network
objective function
propositional dynamic logic
information retrieval
natural language
lower bound
multiresolution
domain specific
iterative process
general theory
dynamic logic