39 search results - page 4 / 8 » Inferring Disjunctive Postconditions |
118
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
The objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to find an instantiation which minimizes the number of constraint violations in a constraint network. In t...
118
click to vote
EUSFLAT
2007
15 years 1 months ago
2007
Systems which use a fuzzy rule base and an inference mechanisms are quite frequently used in many applications. Fuzzy rules and inference mechanisms can be described by a system o...
AAAI
2006
15 years 1 months ago
2006
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...
MOBIQUITOUS
2005
IEEE
15 years 5 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
107
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...