4513 search results - page 76 / 903 » Logic programming with satisfiability |
104
click to vote
MLQ
2000
15 years 1 months ago
2000
The logic of common belief does not always reect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief ope...
133
click to vote
CLIMA
2006
15 years 3 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
89
Voted
DAC
2002
ACM
16 years 2 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
100
click to vote
CCIA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
105
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...