Haut PDF 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] ...
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, ...
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 ...
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 ...
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 ...
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 ...
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, ...
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 ...
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. ...
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 ...
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, ...
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 ...
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 ...
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 ...
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 ...
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] ...
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 ...
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] ...
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 ...
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 ...
9
