3970 search results - page 277 / 794 » A Logic For Causal Reasoning |
183
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
148
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
For a two-variable formula (X, Y ) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y = F(X) such that (X, F(X)) ...
160
click to vote
DLOG
2008
15 years 9 months ago
2008
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications. The problem has been studied by many au...
173
click to vote
DLOG
2008
15 years 9 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
198
Voted
DLOG
2008
15 years 9 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...