Partial pushout semantics of generics in DOL.

Till Mossakowski Bernd Krieg-Brückner

Published in: Theor. Comput. Sci. (2018)

Keyphrases

formal semantics
logic programming
relational databases
semantic information
artificial intelligence
case study
neural network
knowledge base
high level
co occurrence
description logics
model theoretic
update semantics