Correct OO Systems in Computational Logic.

Kung-Kiu Lau Mario Ornaghi

Published in: LOPSTR (2003)

Keyphrases

computational logic
distributed systems
artificial intelligence
knowledge base
expert systems
object oriented
intelligent systems
keywords
data model
domain knowledge