601 search results - page 5 / 121 » Quantified Equality Constraints |
99
Voted
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
106
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
131
click to vote
AI
2008
Springer
15 years 26 days ago
2008
Springer
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...
87
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
73
Voted
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
