601 search results - page 19 / 121 » Quantified Equality Constraints |
CIRA
2007
IEEE
14 years 4 months ago
2007
IEEE
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
SLOGICA
2008
13 years 8 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
AI
2001
Springer
14 years 2 months ago
2001
Springer
In recent years, interval constraint-based solvers have shown their ability to efficiently solve challenging non-linear real constraint problems. However, most of the working syst...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
DLT
2008
13 years 11 months ago
2008
A tree automaton with global tree equality and disequality constraints, TAGED for short, is an automaton on trees which allows to test (dis)equalities between subtrees which may be...