Towards a Logic of Perishable Propositions.

Flávio S. Corrêa da Silva

Published in: Appl. Intell. (2005)

Keyphrases

truth values
logic programming
classical logic
logical framework
modal logic
multi valued
predicate logic
nonmonotonic logics
database
asynchronous circuits
inventory systems
joint replenishment
defeasible logic
probability theory
expressive power
knowledge base
neural network