Ordering semantics and premise semantics for counterfactuals.

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

Keyphrases

logic programming
formal semantics
logical language
semantic information
default reasoning
database
real time
neural network
website
high level
multi agent
search algorithm