Combining Logics: Parchments Revisited.

Carlos Caleiro Paulo Mateus Jaime Ramos Amílcar Sernadas

Published in: WADT (2001)

Keyphrases

expressive power
artificial intelligence
modal logic
inference rules
real world
image processing
neural network
web services
similarity measure
special case