2540 search results - page 81 / 508 » Abstract Logics as Dialgebras |
168
click to vote
LPNMR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
137
click to vote
SUM
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...
163
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The post-genomic era showed up a wide range of new challenging issues for the areas of knowledge discovery and intelligent information management. Among them, the discove...
183
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
176
click to vote
ILP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...