General Decidability Theorems for Infinite-State Systems.

Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay

Published in: LICS (1996)

Keyphrases

special case
distributed systems
neural network
management system
website
expert systems
description logics
building blocks
database
artificial intelligence
bayesian networks
information retrieval systems
logic programs
knowledge based systems