A Semantics for Persistency in Propositional Dynamic Logic.

Jan M. Broersen Roel J. Wieringa John-Jules Ch. Meyer

Published in: Computational Logic (2000)

Keyphrases

propositional dynamic logic
reasoning about actions
dynamic logic
databases
neural network
data mining
decision trees
database
genetic algorithm
knowledge base
domain knowledge
logic programming