Login / Signup
Peirce's development of quantifiers and of predicate logic.
Richard Beatty
Published in:
Notre Dame J. Formal Log. (1969)
Keyphrases
</>
predicate logic
knowledge based systems
expert systems
software engineering
knowledge acquisition
temporal logic
predicate calculus
formal logic
semantic net
high level
natural language
orders of magnitude
design principles
knowledge representation and reasoning