Amalgamation in the semantics of CASL.

Lutz Schröder Till Mossakowski Andrzej Tarlecki Bartek Klin Piotr Hoffman

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

Keyphrases

formal semantics
semantic information
e learning
artificial intelligence
decision making
metadata
artificial neural networks
logic programming
conceptual graphs
default reasoning
semantic representation
speech acts
nonmonotonic logics
proof theory