| On the effects of hyper-parameters adjustments to the PSO-GMPPT algorithm for a photovoltaic system under partial shading conditions | 0 | 0.34 | 2020 |
| Observation systems | 0 | 0.34 | 2000 |
| Semantic domains based on sets with families of equivalences | 6 | 1.20 | 1998 |
| Entailment-based actions for coordination | 0 | 0.34 | 1998 |
| Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi | 11 | 3.32 | 1998 |
| Proof Net Semantics of Proof Search Computation | 1 | 0.62 | 1997 |
| Modules and Specifications | 0 | 0.34 | 1996 |
| Handling Calls to Missing Predicates | 0 | 0.34 | 1996 |
| The Retrieval Problem in a Concept Language with Number Restrictions | 0 | 0.34 | 1995 |
| An Approach to Verification in Contextual Logic Programming | 0 | 0.34 | 1995 |
| Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics | 1 | 0.35 | 1994 |
| PP-clauses: A Means for Handling Resources | 0 | 0.34 | 1994 |
| Towards Complete Answers in Concept Languages | 2 | 0.38 | 1993 |
| Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming | 3 | 0.45 | 1992 |
| A Contraint Logic Programming Scheme for Taxonomic Reasoning | 3 | 0.96 | 1992 |
| Syntactic and Semantic Inheritance in Logic Programming | 8 | 1.61 | 1991 |
| A Constraint-Based Language for Querying Taxonomic Systems | 2 | 0.44 | 1991 |
| Contextual Logic Programming | 83 | 6.81 | 1989 |
| A Sheaf-Theoretic Model of Concurrency | 4 | 0.78 | 1986 |
| A Horn Clause-like Logic for Specifying Concurrency | 2 | 0.36 | 1982 |
