1313 search results - page 42 / 263 » Prioritized Reasoning in Logic Programming |
141
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
153
click to vote
FSS
2008
15 years 4 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
161
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
115
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
140
Voted
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...