A Formal Model for Epistemic Interactions.

Pawel Garbacz Piotr Kulicki Marek Lechniak Robert Trypuz

Published in: ICCCI (SCI Volume) (2009)

Keyphrases

logic programs
logic program updates
formal model
formal models
security patterns
anomaly detection
software systems