Parameterisation of Logics.

Carlos Caleiro Cristina Sernadas Amílcar Sernadas

Published in: WADT (1998)

Keyphrases

expressive power
shape model
modal logic
inference rules
propositional calculus
epistemic logic
search engine
knowledge representation formalisms
computational properties
propositional dynamic logic
database
nonmonotonic logics
classical logic
query language
knowledge base
real world
neural network