Composition-nominative logics of free-quantifier levels.

Stepan S. Shkilniak Dmytro Volkovytskyi

Published in: UkrPROG (2016)

Keyphrases

expressive power
neural network
modal logic
levels of abstraction
database
case study
inference rules
high levels
classical logic
multi agent
constraint satisfaction problems
default logic