• Search: "constraint logic programming"

Showing 1 - 20 of 1,800

1

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Fages, François ; Computational systems biology and optimization (Lifeware) ; Centre Inria de Saclay ; et al.
FLOPS 2024 - 17th International Symposium on Functional and Logic Programming, May 2024, Kumamoto, Japan

Kumamoto, Japan ISO-Prolog attributed variables constraint simplificatio... constraint solving meta-predicates …
Conference
Save to List
2

Teaching logic programming: a review
Serhiy O. Semerikov ; Iryna S. Mintii ; Natalia V. Moiseienko
CTE Workshop Proceedings, Vol 12 (2025)

logic programming Datalog constraint logic program... Technology Answer Set Programming Prolog …
Academic journal
Save to List
3

CHC-COMP 2023: Competition Report
De Angelis Emanuele ; Hari Govind V. K.
Electronic Proceedings in Theoretical Computer Science. 402:83-104

Constraint Solving FOS: Computer and inform... Computer Science - Logic... Satisfiability Modulo Th... Constraint Logic Program... Constrained Horn Clauses …
Academic journal
Save to List
4

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Pettorossi, Alberto ; Proietti, Maurizio ; Fioravanti, Fabio ; et al.
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :16-38

Constraint logic program... Program manipulation Partial evaluation Transformation rules Program specialization Program transformation …
Academic journal
Save to List
5

Answer Set Programming based haplotype phasing of long reads for polyploid species
Delahaye, Clara ; Nicolas, Jacques ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; et al.
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France

Villeurbanne - Lyon, Fra... Constraint logic program... partitioning Phasing DNA sequencing data [INFO.INFO-RO]Computer S... …
Conference
Save to List
6

Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023)
Emanuele De Angelis ; Hari Govind Vediramana Krishnan
Lecture Notes in Computer Science ISBN: 9783031676949

Constraint Solving Satisfiability Modulo Th... Constraint Logic Program... Constrained Horn Clauses
Book
Save to List
7

GPU Accelerated Compact-Table Propagation
SANTI, ENRICO ; DOVIER, AGOSTINO ; FORMISANO, ANDREA ; et al.

constraint logic program... GPU parallelism table constraint
Academic journal
Save to List
8

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Cristiá, Maximiliano ; Rossi, Gianfranco
Journal of Automated Reasoning. 68(4)

Academic journal
Save to List
9

Boolean Connexive Logic and Content Relationship: Boolean connexive logic and content relationship
Mateusz Klonowski ; Luis Estrada‐González
Studia Logica. 112:207-248

logic of content relatio... Geometry Set (abstract data type) Computational linguistic... Mathematical logic and f... 0603 philosophy, ethics... …
Academic journal
Save to List
10

Hybrid railway vehicle trajectory optimisation using a non‐convex function and evolutionary hybrid forecast algorithm
Tajud Din ; Zhongbei Tian ; Syed Faisal Ahmed Bukhari ; et al.
IET Intelligent Transport Systems, Vol 17, Iss 12, Pp 2333-2351 (2023)

mayfly algorithm 0211 other engineering a... FOS: Mechanical engineer... 02 engineering and techn... Rescheduling Algorithms Train Scheduling …
Academic journal
Save to List
11

On Detecting Semantic Clones in Constraint Logic Programs
Yernaux, Gonzague ; Vanhoof, Wim
2022 IEEE 16th International Workshop on Software Clones (IWSC). :32-38

Semantic Clone Detection Constraint Logic Program... Anti-unification 0202 electrical engineer... Complexity 02 engineering and techn...
Academic journal
Save to List
12

Modified orca predation algorithm: developments and perspectives on global optimization and hybrid energy systems
Marwa M. Emam ; Hoda Abd El-Sattar ; Essam H. Houssein ; et al.
Neural Computing and Applications. 35:15051-15073

Artificial intelligence History 0211 other engineering a... Energy Engineering and P... Metaheuristic 02 engineering and techn... …
Academic journal
Save to List
13

Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
Bertagnon A. ; Gavanelli M. ; Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati ; et al.

alldifferent constraint circuit constraint Constraint Logic Program... Global constraint Hamiltonian Circuit Prob... Constraint Logic Program... …
Conference
Save to List
14

Non-termination of Dalvik bytecode via compilation to CLP
Payet, Etienne ; Mesnard, Frédéric ; Laboratoire d'Informatique et de Mathématiques (LIM) ; et al.
14th International Workshop on Termination (WST). :65-69

Vienne, Austria 1998 ACM Subject Classif... Program Verification (Fo... F31 Specifying and Verif... F32 Se-mantics of Progra... Android …
Conference
Save to List
15

Cement Transport Vehicle Routing with a Hybrid Sine Cosine Optimization Algorithm
Pham Vu Hong Son ; Van Nam Nguyen
Advances in Civil Engineering, Vol 2023 (2023)

Vehicle Routing Problem... Artificial intelligence Hybrid Algorithms Geometry Stochastic programming 02 engineering and techn... …
Academic journal
Save to List
16

CHR++: An efficient CHR system in C++ with don’t know non-determinism
Barichard, Vincent
In Expert Systems With Applications 15 March 2024 238 Part B

Academic journal
Save to List
17

Some Thoughts on How to Teach Prolog
Hermenegildo, Manuel V. ; Morales, José F. ; López-García, Pedro ; et al.
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)

Prolog Playgrounds Constraint Logic Program... Prolog Prolog Beauty Teaching Prolog Prolog Myths …
Book
Save to List
18

Analysis and Transformation of Constrained Horn Clauses for Program Verification
EMANUELE DE ANGELIS ; FABIO FIORAVANTI ; JOHN P. GALLAGHER ; et al.
Theory and Practice of Logic Programming, ISSN 1475-3081, 2021
Archivo Digital UPM
instname
Universidad Politécnica de Madrid
Theory and practice of logic programming (2022). doi:10.1017/S1471068421000211
info:cnr-pdr/source/autori:De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio/titolo:Analysis and Transformation of Constrained Horn Clauses for Program Verification/doi:10.1017%2FS1471068421000211/rivista:Theory and practice of logic programming/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume

Program Verification Informática FOS: Computer and inform... Constraint logic program... Computer Science - Logic... Program Analysis …
Academic journal
Save to List
19

Functional Test Generation Using Constraint Logic Programming
Zeng, Zhihong ; Ciesielski, Maciej ; Rouzeyre, Bruno ; et al.
SOC Design Methodologies. :375-386

Functional test generati... Satisfiability Constraint Logic Program... Validation Verification [SPI.NANO]Engineering Sc... …
Book
Save to List
20

Local is Best: Efficient Reductions to Modal Logic K
Fabio Papacchini ; Cláudia Nalon ; Ullrich Hustadt ; et al.
Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2022, '"Local is Best: Efficient Reductions to Modal Logic K"', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-022-09630-6

Nonmonotonic Reasoning 4. Education 0102 computer and inform... 02 engineering and techn... 01 natural sciences Algorithm …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter