Fact Calculus: Using ORM and Lisa-D to Reason About Domains.

Stijn Hoppenbrouwers Henderik Alex Proper Theo P. van der Weide

Published in: OTM Workshops (2005)

Keyphrases

real world
conceptual modeling
machine learning
database
application domains
formal language
computer algebra