1486 search results - page 111 / 298 » A Logically Saturated Extension of |
160
click to vote
AAAI
2007
15 years 8 months ago
2007
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
161
click to vote
CLIMA
2004
15 years 7 months ago
2004
Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environm...
168
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
130
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study neste...
146
click to vote
DLOG
2010
15 years 3 months ago
2010
In this paper, we revisit the problem of definitorial completeness, i.e., whether a given general TBox T in a description logic (DL) L can be rewritten to an acyclic TBox T in L . ...