Implementations of logic Programming
Exploiting term hiding to reduce run-time checking overhead
17
Representing generalization relationships in logic programming
12
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
230
Design and implementation of a FIPA based agent communication model for a logic programming framework
11
Foundations and applications of fuzzy logic programming with weights and similarity relations
304
Analyzing the defeat relation in observation-based defeasible logic programming
10
Event management for the development of multi-agent systems using logic programming
12
Técnicas de transformación de programas lógicos para su optimización y paralelización automática
149
A framework for assertion-based debugging in constraint logic programming
13
Logical properties in defeasible logic programming -a preliminary report
5
TítuloImplementing Parallel Differential Evolution on Spark
16
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
10
Characterizing defeat in observation-based defeasible logic programming
5
Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming
51
Chapter 15 & 16 updated
30
An approach for an algebra applied to a defeasible logic programming
10
Disjunctive logic programming with negation as failure in the head
11
A first approach to abductive defeasible logic programming: formalization and properties
12
The Gödel and the Splitting Translations
30