Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics.

Kiyoshi Akama Ekawit Nantajeewarawat Hidekatsu Koike

Published in: ICSECS (3) (2011)

Keyphrases

computational model
probabilistic model
management system
statistical model
conceptual model
formal model
finite state machines
prior knowledge
computer systems
mathematical model
complex systems
semantic models
theorem prover
computational models
information systems
search space
objective function