Partial Realization in Dynamic Justification Logic.

Samuel Bucheli Roman Kuznets Thomas Studer

Published in: WoLLIC (2011)

Keyphrases

logic programming
dynamic environments
evolutionary algorithm
data sets
neural network
machine learning
decision making
expert systems
probabilistic model
modal logic
multi valued
partial information
dynamically changing
predicate logic
formal theory