Negation in Logic Programming
Disjunctive logic programming with negation as failure in the head
... 'LVMXQFWLYH ORJLF SURJUDPV KDYH EHHQ VWXGLHG LQ RUGHU WR LQFUHDVH H[SUHVVLYLW\ HVSH FLDOO\ LQ UHSUHVHQWLQJ LQGHQLWH LQIRUPDWLRQ (YHQ WKRXJK WKHUH LV QR JHQHUDO FRQVHQVXV RQ DQ\ VSHFLF [r] ...
11
Representing generalization relationships in logic programming
... relationship. In fact, the paradigmatic example of the non-monotonic reasoning, the tweety example [5], is a kind of application of reasoning about class ...characteristics, in consequence a reasoning ...
12
Modelling derivation in defeasible logic programming with perceptron-based neural networks
... facts in the context of logic programming, and represent the knowledge an agent has about the world; more for- mally, an observation is a grounded literal L representing some fact about the world, ...
12
The Gödel and the Splitting Translations
... provability in formal systems can be given a modal interpretation and so the new negation as failure-to-prove in logic programming might perhaps turn out to be related in a ...
30
TítuloRevisiting Explicit Negation in Answer Set Programming
... second negation ‘∼ ’ inside intuitionistic logic was provided by (Fari˜ nas del Cerro and Herzig 1996) using a classical negation ...second negation, it actually provides undesired effects from ...
17
TítuloA casual semantics for Logic Programming
... justifications in ASP by Gebser et ...]. In particular, from a technical point of view, the why-not provenance approach followed by Dam´asio et ...semantics in which values form a Boolean alge- ...
341
Characterizing defeat in observation-based defeasible logic programming
... logic programming. Concepts like signature, alphabet and atoms are used in their description with their usual ...strict negation, as in ...facts in the context of logic ...
5
Analyzing the defeat relation in observation-based defeasible logic programming
... logic programming. Concepts like signature, alphabet and atoms are used in their description with their usual ...strict negation, as in ELP ...facts in the context of ...
10
THE POSSIBILITIES OF DISJUNCTION IN THE MENTAL MODELS THEORY
... forms. In this way, given that, as also indicated, in the case of DIR, ‘q’ is compatible both with [A] and with [B], the only conclusion that can be drawn from the fact that people usually do not apply this ...
7
Processing interaction protocols in parallel: a logic programming implementation for robotic soccer
... handled in the perception/action cycle of the ...shown in Figure 3, may have one or more rules for each specific interaction protocol managed, specially those that do not require the execution of an action ...
11
DeLP viewer: a defeasible logic programming visualization tool
... Logic Programming Visualization is a Software Visualization ...efforts in this area are devoted to Prolog language execution visualization and debug- ...understand logic dependencies and ...
10
Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming
... methodology for the application of the results of abstract interpretation-based data flow analysis in automatic parallelization of logic programs (using the "indepen- dent and-paral[r] ...
51
Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
... (Constraint) Logic Programming, Concurrent Constraint Programming, Compile-time Analysis, Abstract Interpretation, Independent And-Parallelism, Program Transforma- tion, Parallelization[r] ...
32
Local-as-view integration of ontologies in defeasible logic programming
... that in the GAV systems the problem is simply reduced to unfolding the views, since the reformulation is explicit in the ...mappings. In the LAV case, the problem requires more complex reasoning ...
10
Análisis de coste en programas funcionales usando CiaoPP
... difference in the nuances with which they’re used; functions can refer to either Haskell’s functions, whose context should be clear, or Ciao’s predicates in functional syntax, which still are predicates ...
31
Ontology merging using belief revision and defeasible logic programming
... update, in which new information must be considered with respect to a set of old beliefs, then update refers to the operation of changing the old beliefs to take into ac- count the change; and revision, where ...
10
Assuring safety in an air traffic control system with defeasible logic programming
... environment in which information sensor is gathered at real time, with a running ...application. In that regard, infinite lists can be processed with a functional programming approach based on lazy ...
8
Comparative Study of the Use of Double Negatives by Native English Speakers and Spanish Learners of English
... obtained. In the case of the participants with the lower level of English, a total of 97 of the possible answers were responded correctly; this corresponds to the ...Cervantes, in A2 level, double ...
39
Logical properties in defeasible logic programming -a preliminary report
... It is worth remarking that DeLP semantics (i.e., the set of warranted conclusions) does not verify cumulativity. As we mentioned before, to some authors DeLP would not be deemed as a logical system. Nevertheless, DeLP ...
5
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
... defined in terms of ...Agents in the SW are supposed to reason over web resources by using standard reasoning systems, thus being able to compute an implicit hierarchy of concepts defined in an ...
10