A Logic for Reflective ASMs.

Klaus-Dieter Schewe Flavio Ferrarotti

Published in: ABZ (2020)

Keyphrases

multi valued
modal logic
logic programming
classical logic
proof theory
predicate logic
computational properties
active shape model
artificial intelligence
data sets
description logics
knowledge base
e learning
probability theory
automated reasoning
information retrieval
digital circuits
real time
database