Výsledky vyhledávání - theory of computation → constraint and (logic OR login) programming

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem Autor Zhuk, Dmitriy

“…The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject…”
Získat plný text

Logic and Computation

“… These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games…”
Získat plný text

Anti-unification in Constraint Logic Programming Autor YERNAUX, GONZAGUE, VANHOOF, WIM

“… In this work we address the problem of anti-unification in CLP, where goals can be seen as unordered sets of atoms and/or constraints…”
Získat plný text

Alignment Completeness for Relational Hoare Logics Autor Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Získat plný text

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic Autor Zhou, Li, Barthe, Gilles, Hsu, Justin, Ying, Mingsheng, Yu, Nengkun

“…We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states…”
Získat plný text

Some constructive variants of S4 with the finite model property Autor Balbiani, Philippe, Dieguez, Martin, Fernandez-Duque, David

“…The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem…”
Získat plný text

Finite-Choice Logic Programming Autor Martens, Chris, Simmons, Robert J., Arntzenius, Michael

“…Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model…”
Získat plný text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses Autor Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication…”
Získat plný text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach Autor Sitek, Pawel, Wikarek, Jarosław

“…The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and…”
Získat plný text

Past and present (and future) of parallel and distributed computation in (constraint) logic programming Autor FIORETTO, FERDINANDO, PONTELLI, ENRICO

“… The potential for transparent exploitation of parallelism in logic programming emerged almost immediately with the birth of the paradigm (Pollard 1981)…”
Získat plný text

Lovász-Type Theorems and Game Comonads Autor Dawar, Anuj, Jakl, Tomas, Reggio, Luca

“…Lovász (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the…”
Získat plný text

On Logics and Homomorphism Closure Autor Bodirsky, Manuel, Feller, Thomas, Knauer, Simon, Rudolph, Sebastian

“…Predicate logic is the premier choice for specifying classes of relational structures…”
Získat plný text

Multiobjective project portfolio selection with fuzzy constraints Autor Perez, F., Gomez, T.

“…Decision makers usually have to face a budget and other type of constraints when they have to decide which projects are going to be undertaken…”
Získat plný text

Categorical models of Linear Logic with fixed points of formulas Autor Ehrhard, Thomas, Jafarrahmani, Farzad

“…We develop a categorical semantics of µLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional…”
Získat plný text

Constraint logic programming with a relational machine Autor Gallego Arias, Emilio Jesús, Lipton, James, Mariño, Julio

“…We present a declarative framework for the compilation of constraint logic programs into variable-free relational theories which are then executed by rewriting…”
Získat plný text

Compositional relational reasoning via operational game semantics Autor Jaber, Guilhem, Murawski, Andrzej S.

“…We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts…”
Získat plný text

In search of lost time: Axiomatising parallel composition in process algebras Autor Aceto, Luca, Anastasiadi, Elli, Castiglioni, Valentina, Ingolfsdottir, Anna, Luttik, Bas

“…This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus…”
Získat plný text

Towards a more efficient approach for the satisfiability of two-variable logic Autor Lin, Ting-Wei, Lu, Chia-Hsuan, Tan, Tony

“…We revisit the satisfiability problem for two-variable logic, denoted by SAT(FO 2 ), which is known to be NEXP-complete…”
Získat plný text

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification Autor Unno, Hiroshi, Terauchi, Tachio, Gu, Yu, Koskinen, Eric

“…We present a novel approach to deciding the validity of formulas in first-order fixpoint logic with background theories and arbitrarily nested inductive and co-inductive predicates defining least and greatest fixpoints…”
Získat plný text