[PDF] Top 20 Parallel logic programming systems
Has 8564 "Parallel logic programming systems" found on our website. Below are the top 20 most common "Parallel logic programming systems".
Parallel logic programming systems
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
49
Programming tools for intelligent systems
... preferred programming style, gradually introducing constraints to enjoy the benefits of stronger type checking and avail themselves of its richer functional programming ...linear logic [Ehrhard, ... Voir le document complet
166
Distributed and Parallel Programming Paradigms on the K computer and a Cluster
... tasks programming was previously used on Grid and ...distributed systems to the super-computer. Some of the main programming models using graph of tasks are listed in this ...data-centric ... Voir le document complet
21
Implementing HOL in an Higher Order Logic Programming Language
... these systems often implement in user space a second programming language, exposed to the user to write tactics, that takes care of binding, metavariables, back- tracking and its ...a programming ... Voir le document complet
11
Conjunto: Constraint Logic Programming with Finite Set Domains
... 2.2 Systems of set constraints A related line of work is program analysis systems [7] [1] [2] among others. They handle a larger class of sets (in nite sets) than Conjunto, f log g or CLPS. The set ... Voir le document complet
22
Dynamic Logic for Data-aware Systems: Decidability Results
... some programming language ...most programming languages are typed, here we consider an untyped ...aware systems and DaS in the technical sense of ... Voir le document complet
8
Modelling Moral Reasoning and Ethical Responsibility with Logic Programming
... Formally, we chose the use of nonmonotonic logic as its study has been put forward by A.I. researchers as a way to handle the kind of defeasible generali- sations that pervade much of our commonsense reasoning, ... Voir le document complet
17
Rational programming of history-dependent logic in cellular populations
... For microfluidic analysis, experiments were performed using a mother machine microfluidic device consisting in arrays of parallel chambers (1 µm × 1 µm × 25 µm) connected to a large channel. Chambers were fabricated ... Voir le document complet
15
Implementing Type Theory in Higher Order Constraint Logic Programming
... ground terms. Typically a proof term is incrementally built by the elaborator: start- ing from a metavariable that has the type of the conjecture, the proof commands make progress by instantiating it with partial terms. ... Voir le document complet
27
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
... ─ domain specific properties verification [16,17,18,26] consists in “finding undesirable properties, such as redundant or contradictory information”; In this paper, we are interested in the conformance checking of ... Voir le document complet
11
Par Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs
... linear logic”, our typing system is closer to a natural ...typing parallel programs, but not much so for modeling human ...functional programming language should have: subject reduction, progress, ... Voir le document complet
37
Private types in Higher Order Logic Programming
... Hol in the example. Instead, destruction of terms is allowed everywhere. In contrast, in LP languages, the action of inspecting data and building data are conflated into unifi- cation, which is a cornerstone of the ... Voir le document complet
4
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
... monotonic logic that defines satisfaction of a rule body before applying the rule to derive a new ...classical logic, both ...Equilibrium Logic or Clark’s ... Voir le document complet
14
Postulates for logic-based argumentation systems
... argumentation systems that may satisfy them? If yes, what are the characteristics of those systems? These questions are very ambitious since an argumentation system has three main parameters: an underlying ... Voir le document complet
23
Robustness maximization of parallel multichannel systems
... Contrary to system margin maximization, the BER minimization needs the knowledge of constellation and coding schemes, and it is based on accurate expressions of BER functions. In this paper, the used constellations are ... Voir le document complet
17
Parallel Programming with the System Applications to Numerical Code Coupling
... Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex France Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois -[r] ... Voir le document complet
30
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
... disjunctive logic programs in all ASP semantics, the first proposals for negation in the head (or double negation in the body) [ 3 ] already violated minimality, this being also the case of Equilibrium ... Voir le document complet
15
An object-oriented model in the concurrent logic programming language PARLOG
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
16
Logic programming reveals alteration of key transcription factors in multiple myeloma
... Conclusion In this study, we used a specific approach to study and understand the heterogeneous gene expression profiles of approximately 600 multiple myeloma (MM) patients. Our primary goal was to provide mechanistic ... Voir le document complet
13
A parallel tabu search for the unconstrained binary quadratic programming problem
... that parallel TS algorithms exist for other problem ...simple parallel variant of TS based on exchanging best ...heterogeneous parallel TS algorithm for the VLSI placement problem, which integrates ... Voir le document complet
9
Sujets connexes