1455 search results - page 54 / 291 » Programming in Logic with Constraints for Natural Language P... |
ECSQARU
2009
Springer
13 years 5 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
DBPL
1999
Springer
14 years 1 days ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec
FASE
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...