Definitions in Epistemic Specifications.

Michael Gelfond Halina Przymusinska

Published in: LPNMR (1991)

Keyphrases

formal specification
high level
belief change
functional requirements
delay insensitive
database
precise definition
neural network
concurrent systems
epistemic logic
bayesian networks
software development
natural language
control flow
data structure
website
artificial intelligence
data sets
real time