Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus.

Bryson Brown Graham Priest

Published in: J. Philos. Log. (2004)

Keyphrases

search strategy
inference rules
logic programming
backward chaining
optimal strategy
table of contents
information systems
probabilistic inference
possibilistic logic
inference process
grammatical inference
inference mechanism