Abstract: This paper presents an extension of Disjunctive Datalog (DATALOG/sup V,/spl sim//) by integrity constraints. These are of two types: strong, that is, classical integrity constraints and weak ...

Constrained beam search allows the user to exert control over the output of text generation based on forcing certain terms (like phrase table entries). Currently beam search limits the user to just ...

We focus on nonlinear minimization problems whose only combinatorial aspect comes from their disjunctive constraints. The recently introduced continuous quadrant penalty formulation of logical ...

HOPA_Instances: Consistent and inconsistent HOPA benchmark problem instances used in experiments OPRA_Instances: Consistent and inconsistent OPRA benchmark problem instances used in experiments ...

[This entry reprinted by kind permission of the author: Philippe Blache <pb@llaor.unice.fr>, University of Nice-Sophia Antipolis] Current linguistics theories often describe syntactic relations as ...