9 search results - page 1 / 2 » Platypus: A Constraint-Based Reasoning System |
IJCAI
1989
13 years 6 months ago
1989
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
JLP
1998
13 years 4 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
CONSTRAINTS
2002
13 years 4 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
CP
2007
Springer
13 years 11 months ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
OPODIS
2004
13 years 6 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...