Semantics for Default Logic based on Specific Branching Time Models.

Joeri Engelfriet Jan Treur

Published in: ECAI (1996)

Keyphrases

probabilistic model
databases
data mining
artificial intelligence
information systems
accurate models
business process models
database
database systems
logic programming
statistical models
conceptual model
epistemic logic