3793 search results - page 540 / 759 » Expressive Description Logics |
174
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
175
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
176
click to vote
DATESO
2009
15 years 4 months ago
2009
In order to realize the idea of the Semantic Web, many tools and technologies need to be developed, including a query language. One of the most important technologies that creates ...
170
click to vote
FLAIRS
2009
15 years 4 months ago
2009
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
176
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...