[PDF] Top 20 Closed Types for Logic Programming
Has 1427 "Closed Types for Logic Programming" found on our website. Below are the top 20 most common "Closed Types for Logic Programming".
Closed Types for Logic Programming
... data types for each ...a programming language such as abstraction of a program by modules in a safer way or as a helpful way to understand a program, by reading the types, as well as the safety that ... See full document
60
A Logic for Choreographies
... the logic to the end-point projection [5], the process of automatically generating end-point code from ...in types and logics for session-based commu- ...constraint programming, allowing them to ... See full document
15
Temporal Annotations for a Contextual Logic Programming Language}
... In CxLP with overriding semantics, to solve a goal G in a context C, a search is performed until the topmost unit of C that contains clauses for the predicate of G is found. We propose to adapt this basic mechanism of ... See full document
12
On avoiding redundancy in inductive logic programming
... unforeseen types of redundancy can be handled by the declaration re- dundant(Literal,HypothesisBody):-Body, where Literal is the literal to be added to the HypothesisBody and Body is a conjunction of literals that ... See full document
15
From sequential to parallel Inductive Logic Programming
... lation Shares is reflexive and symmetric. Its transitive closure Linked, defined as the smallest transitive relation that is a superset of Shares, is an equiva- lence relation. If two goals are in the same equivalence ... See full document
6
Resource-oriented Programming Based on Linear Logic
... linear logic and type theory - a phenomenon of Curry-Howard correspondence [5], we are able to consider types as propositions and proofs as ...linear logic can be regarded as computation of ... See full document
10
Machine Ethics via Logic Programming
... like those from the trolley problem cases. The experiments characterize each type in the dual-process with respect to applicable moral principles in these dilemmas. They found that a general principle favoring ... See full document
172
Towards Efficient and Scalable Probabilistic Inductive Logic Programming
... INDUCTIVE LOGIC PROGRAMMING 35 mode declarations), whilst the argument of professor/1 must be of type professor ...argument types, but was not used for the illustrative example presented before, ... See full document
139
A constraint logic programming approach to examination scheduling
... There is a set of student types defined. This enables us to model religious, work or any other type of constraints that limit students available time slots. Some religious constraints imply that sets of students ... See full document
7
Multithreaded Tabling for Logic Programming
... multiple types of data structures ...several types of main ...these types of data structures are mostly used for the support of the delete concurrent ... See full document
233
On the Implementation of the Probabilistic Logic Programming Language ProbLog
... During the generation of the code, it is crucial to exploit the structure sharing (prefixes and suffixes) already in the trie representation of a DNF formula, otherwise CUDD computation time becomes extremely long or ... See full document
28
Linear Logic and Coordination for Parallel Programming
... node types are declared in lines 1 - 2 using the node declaration, allowing us to have differ- ent predicates for consumers and ...generator types become a subtype of node, that is, consumer <: node and ... See full document
257
Types for BioAmbients
... group types: we should check the relation between the group types involved in all possible exit / expel and merge ⊕/ merge − interactions; as a consequence the type system would be very restrictive ... See full document
13
Open and Closed Mirror Symmetry
... the closed-string mirror symmetry conjecture, that we will state in the next subsection, holds for this ...tablished closed mirror symmetry, Abouzaid’s generation criterion [1] tells us that, loosely ... See full document
12
Probabilistic propositional logic
... base logic); and the other consists of putting conditional formulas in the base logic (called Supposicional ...propositional logic, but now for any satisfaction logic system that we want to ... See full document
82
Exploring Visual Programming Concepts for Probabilistic Programming Languages
... Even if parsing C and converting it to an intermediate representation would be simple (Mi- crosoft provides an EBNF grammar for the language [?]), there are a number of questions that should be explored before ... See full document
79
From Logic Programming to Human Reasoning: How to be Artificially Human
... classical logic could be used as an evidence against the suitability of logic in general for modeling human ...classical logic which is not ...a logic that is different than the classical ... See full document
234
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language
... The lari ation/dialogue module uses referent properties to nd relevant. questions trying to rea h an answer the faster it ans[r] ... See full document
15
Uso de robótica no ensino de lógica de programação / Use of robotics in the teaching of programming logic
... of programming, not rarely, use to be the one of the main causes of the student's difficulty to make resolutions in the complex computational ...teaching programming logic is using pedagogics ... See full document
12
temas relacionados