Formal Logic Definitions for Interchange Languages.

Feryal Fulya Horozal Florian Rabe

Published in: CICM (2015)

Keyphrases

formal logic
interchange format
predicate logic
expressive power
description logics
logic programming
design theory
databases
artificial intelligence
formal methods
data mining
case study
computational linguistics