Towords a Constraint-based Implementation of F-Logic.

Liviu-Virgil Ciortuz Mihaela Juganaru

Published in: Deductive Databases / Abduction in Deductive Databases (1995)

Keyphrases

knowledge representation and reasoning
description logics
data sets
efficient implementation
implementation details
real time
neural network
decision making
multimedia
management system
software development
implementation issues