An order-theoretic analysis of interpretations among propositional deductive systems.

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

theoretic analysis
decision making
database
metadata
data mining
genetic algorithm
learning algorithm
web services
mobile robot
management system
object oriented
distributed systems
intelligent systems
computer systems
complex systems
retrieval systems