(Constraint) Logic programming
Top PDF (Constraint) Logic programming:
Representing generalization relationships in logic programming
... Modeling is one of the most important activities throughout any software de- velopment life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities ...
12
Logical properties in defeasible logic programming -a preliminary report
... Defeasible Logic Programming (DeLP, henceforth), combines a language similar to the one of logic programming with an argumentative inference engine [10, 9, ...defeasible logic program P ...
5
Characterizing defeat in observation-based defeasible logic programming
... In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming ( ODeLP ) [1]. ...
5
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
... membership of individuals to concepts. This approach continues previous work of ours [7] that translates DL ontologies into Defeasible Logic Programming and uses generalized specificity to compare arguments. ...
10
DeLP viewer: a defeasible logic programming visualization tool
... In order to aid users to understand the justification of the derived conclusions, and to improve the analysis of the DeLP process, we present DeLP Viewer, a defeasible logic programming visualization tool. ...
10
Integration of rules and ontologies with defeasible logic programming
... Abstract. The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus en- abling agents to reason about them. As inconsistencies cannot be treated by standard ...
10
Ontology merging using belief revision and defeasible logic programming
... In [1], G´ omez et al. developped a framework called δ-ontologies that allows to reason in the presence of inconsistent description logic ontologies by using Defeasible Logic Programming [15], which ...
10
TítuloA casual semantics for Logic Programming
... There exists a vast literature on causal reasoning in Artificial Intelligence. Pa- pers on reasoning about actions and change by Lin [ 1995 ], Thielscher [ 1997 ], McCain and Turner [ 1997 ] or Turner [ 1997 ] have been ...
341
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
... Set Programming (ASP) has emerged as a successful paradigm for developing intelligent ...For Constraint Answer Set Programming (CASP) systems based on a bottom-up execution, the grounding is still an ...
230
A comparison between non-monotonic formalisms
... It is interesting and important to compare, analyze and as- sess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to ...
5
Análisis de coste en programas funcionales usando CiaoPP
... between logic programming and functional programming (both fall under the hood of declarative programming), we thought an interesting way to try to approach the problem would be to create a ...
31
Constraint programming for type inference in flexible model driven engineering
... In previous work [10, 11], an approach to tackle the error of type omissions was proposed. The algorithm, that is based on Classification and Regression Trees (CART), is trained on the elements of the example models ...
26
Methodology for modeling electricity markets using concurrent constraint programming
... of X; it is necessary to select the propagators that will be used to implement the problem’s constraints. With the propagators we can, as the name indicates, “propagate” or disseminate information of constraints among ...
9
On cumulativity in the context of defeasible argumentation
... underlying logic where knowledge is initially cod- ...this logic leads to an argument, since these systems usually impose addi- tional restrictions on those derivations, such as being based on consistent ...
11