Results 31 to 40 of about 1,803,631 (274)
Lower Bounds for Existential Pebble Games and k-Consistency Tests [PDF]
Logical Methods in Computer Science, 2013 The existential k-pebble game characterizes the expressive power of the existential-positive k-variable fragment of first-order logic on finite structures.
Christoph Berkholz
doaj +1 more source
Logic and Constraint Logic Programming for Distributed Constraint Optimization
CoRR, 2014 To appear in Theory and Practice of Logic Programming (TPLP)
Tiep Le +3 more
openaire +3 more sources
Typing constraint logic programs [PDF]
Theory and Practice of Logic Programming, 2001 We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically. It introduces a type discipline for constraint logic programs and modules, while maintaining the capabilities of performing the usual coercions between constraint ...
François Fages, Emmanuel Coquery
openaire +4 more sources
Application of CLP for technical objects construction with an exemplary bucket elevation
ITM Web of Conferences, 2018 The paper presents the application of the Constraint Logic Programming (CLP) language for designing technical objects. The method was described and illustrated based with the help of on the bucket elevator design. The hierarchical structure of the object,
Bartnik Grzegorz +2 more
doaj +1 more source
Teaching logic programming: a review
CTE Workshop ProceedingsLogic programming constitutes a significant paradigm within computer science, offering a unique approach to programming based on formal logic rather than conventional imperative instructions.
Serhiy O. Semerikov +2 more
doaj +1 more source
Induction of constraint logic programs [PDF]
, 1998 Inductive Logic Programming (ILP) is concerned with learning hypotheses from examples, where both examples and hypotheses are represented in the Logic Programming (LP) language. The application of ILP to problems involving numerical information has shown the need for basic numerical background knowledge (e.g. relation “less than”).
Michèle Sebag +2 more
openaire +2 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Coinductive Constraint Logic Programming [PDF]
, 2012 Constraint logic programming (CLP) has been proposed as a declarative paradigm for merging constraint solving and logic programming. Recently, coinductive logic programming has been proposed as a powerful extension of logic programming for handling (rational) infinite objects and reasoning about their properties.
Neda Saeedloei, Gopal Gupta 0001
openaire +2 more sources
‘Guide and Prejudice’— How Argonautes recognize targets across domains of life
FEBS Letters, EarlyView.Argonaute proteins use short nucleic‐acid guides to locate and regulate specific targets across all domains of life. Despite striking diversity—from human gene silencing to bacterial immune defence—all Argonautes share a conserved three‐stage recognition logic: guide‐directed sampling, progressive target pairing with a conformational checkpoint and ...
Jack P. K. Bravo
wiley +1 more source
23rd Workshop on (Constraint) Logic Programming 2009. Proceedings
, 2022 The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases ...
core +1 more source