Propositional attitudes and formal ontology.

Steven E. Boër

Published in: Synth. (1994)

Keyphrases

propositional logic
attitudes toward
first order logic
multi valued
information systems
default logic
database
databases
genetic algorithm
artificial intelligence
individual differences
horn clauses
disjunctive logic programming
knowledge compilation
probabilistic logic
background knowledge
neural network
real time