Magidor-Malitz Quantifiers in Modules.

Andreas Baudisch

Published in: J. Symb. Log. (1984)

Keyphrases

nonmonotonic reasoning
natural language
information systems
building blocks
first order logic
default logic
functional modules
modular robots
modular design
decision making
bayesian networks
support vector
modular structure