On the Lumping Semantics of Counterfactuals.

Makoto Kanazawa Stefan Kaufmann Stanley Peters

Published in: J. Semant. (2005)

Keyphrases

logical language
formal semantics
logic programming
real world
image sequences
learning algorithm
knowledge base
multi agent
programming language
database
semantic information
conceptual model
schema mappings
situation calculus
default reasoning
data sets
logical framework
real time