Logical argumentation by dynamic proof systems.

Ofer Arieli Christian Straßer

Published in: Theor. Comput. Sci. (2019)

Keyphrases

database
dynamic environments
neural network
expert systems
databases
data mining
information retrieval
information systems
management system
distributed systems
computer systems
changing environment
dynamic constraints
logical rules