2911 search results - page 44 / 583 » A Logic of Graph Constraints |
84
Voted
DLOG
2007
15 years 2 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
ISMB
1994
15 years 1 months ago
1994
Thispaperdescribesthe applicationof the Inductive Logic Programming0LP) program GOLEMto the discoveryof constraintsin the packingof beta-sheets in alpha/betaproteins. Theseconstra...
110
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
97
Voted
AUTOMATICA
2004
15 years 14 days ago
2004
The paper deals with the supervisory control of a nonlinear uncertain system in which the switching is directed by the recently introduced state-dependent dwell-time switching log...
84
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...