• No se han encontrado resultados

Implementations of logic Programming

Exploiting term hiding to reduce run-time
checking overhead

Exploiting term hiding to reduce run-time checking overhead

... In the (constraint) logic programming context, most mature language implementations incorporate module systems, some of which allow programmers to restrict the visibility of some func[r] ...

17

Representing generalization relationships in logic programming

Representing generalization relationships in logic programming

... instances of a class starting from the information of classes and the inheritance ...example of the non-monotonic reasoning, the tweety example [5], is a kind of application of ...

12

Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints

Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints

... class of common aggregates derived from an interpretation of their meaning in a ...existing implementations for tabled logic programming (Santos Costa et ...branches of the ...

230

Design and implementation of a FIPA based agent communication model for a logic programming framework

Design and implementation of a FIPA based agent communication model for a logic programming framework

... The resulting framework has some limitations that we have addressed as future work. One limitation concerns security aspects, for example, the YPA may allow the agents to create private MASs and restrict the access to ...

11

Foundations and applications of fuzzy logic programming with weights and similarity relations

Foundations and applications of fuzzy logic programming with weights and similarity relations

... to logic programming, we state that the strength of this paradigm reside in its declarative component, that allows the construction of software by specifying “what” to compute instead ...

304

Analyzing the defeat relation in observation-based defeasible logic programming

Analyzing the defeat relation in observation-based defeasible logic programming

... evaluation of the employees’ performance, according with their responsibility in the ...basis of a defeasible derivation computed by backward chaining applying the usual SLD inference procedure used in ...

10

Event management for the development of multi-agent systems using logic programming

Event management for the development of multi-agent systems using logic programming

... because of the increased flexibility they provide, although the difference for real applications is ...flexibility of the signals and slots mechanism is well worth the overhead, which users won’t even ...

12

Técnicas de transformación de programas lógicos para su optimización y paralelización automática

Técnicas de transformación de programas lógicos para su optimización y paralelización automática

... El adveni­ miento de otros paradigmas de programación lógica, diferentes del de Prolog, tales como la programación lógica con restricciones "Constraint Logic Programming" — CLP, la progr[r] ...

149

A framework for assertion-based debugging in constraint logic programming

A framework for assertion-based debugging in constraint logic programming

... Given the lack at this point of a standardized set of benchmarks including assertions, for our preliminary evaluation we have opted for a simple and repeatable method of generating ass[r] ...

13

Logical properties in defeasible logic programming -a preliminary report

Logical properties in defeasible logic programming -a preliminary report

... The first inference relation we consider is called strict inference as it only concerns strict rules. In this relation, a conclusion φ is inferred from a program P , noted P ⊢ φ, when it can be derived from P simply by ...

5

TítuloImplementing Parallel Differential Evolution on Spark

TítuloImplementing Parallel Differential Evolution on Spark

... way of solving hard global optimization ...one of the most popular algorithms in that ...most of them focused on traditional parallel programming interfaces and infrastruc- ...emergence ...

16

Reasoning with inconsistent ontologies in possibilistic defeasible logic programming

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 ...

10

Characterizing defeat in observation-based defeasible logic programming

Characterizing defeat in observation-based defeasible logic programming

... In the last thirty years several ways to formalize defeasible reasoning have been studied. A particular approach, defeasible argumentation [3, 9], has been particularly successful to achieve this goal. Defeasible ...

5

Effectiveness of abstract interpretation in automatic
parallelization: a case study in logic programming

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

Chapter 15 & 16 updated

Chapter 15 & 16 updated

... • Symbolic logic provides basis for logic programming • Logic programs should be nonprocedural. • Although there are a number of drawbacks with the current state of logic programming it[r] ...

30

An approach for an algebra applied to a defeasible logic programming

An approach for an algebra applied to a defeasible logic programming

... ability of real-world representation modeling differ- ent attributes associated to the arguments, using an algebra of labels (ALA) for propagate this ...degree of strength in their ...

10

Disjunctive logic programming with negation as failure in the head

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 LQGH‘QLWH LQIRUPDWLRQ (YHQ WKRXJK WKHUH LV QR JHQHUDO FRQVHQVXV RQ DQ\ VSHFL‘F [r] ...

11

A first approach to abductive defeasible logic programming: formalization and properties

A first approach to abductive defeasible logic programming: formalization and properties

... (state of) warrant of a given literal ...Φ of abducibles as an explanation of the warrant of a given literal, Φ must cause the activation of certain arguments and, as we will see ...

12

The Gödel and the Splitting Translations

The Gödel and the Splitting Translations

... embeddings of stable models into modal log- ics can be seen as special cases of two translations that are very well-known in non-classical ...intuitionistic logic H into a modal provability ...

30

Show all 10000 documents...

Related subjects