Anaphoric Constraints and Dualities in the Semantics of Nominals.

António Horta Branco

Published in: J. Log. Lang. Inf. (2005)

Keyphrases

description logics
semantic properties
artificial intelligence
model theoretic
constraint language
constraint satisfaction
constrained optimization
global constraints
formal semantics
linear constraints
reasoning tasks
derivation rules