601 search results - page 19 / 121 » Quantified Equality Constraints |
177
click to vote
CIRA
2007
IEEE
16 years 9 days 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...
158
click to vote
SLOGICA
2008
15 years 4 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...
170
click to vote
AI
2001
Springer
15 years 10 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...
134
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
170
click to vote
DLT
2008
15 years 7 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...