Search Results - Languages Keywords Constraint logic programming

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

Source: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p1011-1030, 20p

Subject Terms: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Authors: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p612-630, 19p

Subject Terms: LOGIC programming, SOFTWARE verification, PREDICATE calculus, ASSERTIONS (Logic), FORMAL methods (Computer science), FUNCTIONAL programming (Computer science)

Declarative Programming with Intensional Sets in Java Using JSetL.

Authors: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

Source: Computer Journal; Mar2023, Vol. 66 Issue 3, p763-784, 22p

Subject Terms: JAVA programming language, LOGIC programming, FIRST-order logic

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Integrating Cardinality Constraints into Constraint Logic Programming with Sets.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

Source: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p468-502, 35p

Subject Terms: CONSTRAINT programming, LOGIC programming, DATA structures, SOFTWARE verification, LINEAR programming, SATISFIABILITY (Computer science)

A declarative language approach to device configuration

Authors: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Contributors: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Source: http://www.barrelfish.org/barrelfish_asplos11.pdf.

Subject Terms: Categories and Subject Descriptors D.1.6 [Software, Programming Techniques—Logic Programming, D.4.9 [Software, Operating Systems—Systems Programs and Utilities General Terms Algorithms, Design, Languages Keywords Constraint logic programming, Eclipse CLP, Hardware programming, PCI

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511; http://www.barrelfish.org/barrelfish_asplos11.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511
http://www.barrelfish.org/barrelfish_asplos11.pdf

Logic Programming as the Integrator of the Fifth Generation Computer Systems Project.

Authors: Furukawa, Koichi

Source: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p82-92, 11p

Subject Terms: LOGIC programming, PARALLEL programming, FIFTH generation computers, PROGRAMMING languages, GHC (Computer program language), PROLOG (Computer program language), ARTIFICIAL intelligence

Constraint functional logic programming over finite domains.

Authors: FERNÁNDEZ, ANTONIO J. HORTALÁ-GONZÁLEZ, TERESA SÁENZ-PÉREZ, FERNANDO et al.

Source: Theory & Practice of Logic Programming; Sep2007, Vol. 7 Issue 5, p537-582, 46p

Subject Terms: LOGIC programming languages, LOGIC programming, CONSTRAINT satisfaction, FUNCTIONAL programming (Computer science), FUNCTIONAL programming languages, ARTIFICIAL intelligence, COMPUTER science

Performing fully parallel constraint logic programming on a quantum annealer.

Authors: PAKIN, SCOTT

Source: Theory & Practice of Logic Programming; Sep2018, Vol. 18 Issue 5/6, p928-949, 22p

Subject Terms: LOGIC programming, COMPUTER systems, HAMILTONIAN systems, QUANTUM computers, PROLOG (Computer program language)

Adding partial functions to Constraint Logic Programming with sets.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO FRYDMAN, CLAUDIA et al.

Source: Theory & Practice of Logic Programming; Jul2015, Vol. 15 Issue 4/5, p651-665, 15p

Subject Terms: LOGIC programming, SET theory, PROGRAMMING languages, MATHEMATICAL forms, MATHEMATICAL functions

Anna: an open-source platform for real-time integration of machine learning classifiers with veterinary electronic health records.

Authors: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan et al.

Source: BMC Veterinary Research. 10/2/2025, Vol. 21 Issue 1, p1-12. 12p.

Subjects: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”.

Authors: Mark Wallace Joachim Schimpf Kish Shen et al.

Source: Constraints: An International Journal; Jan2004, Vol. 9 Issue 1, p5-34, 30p

Subject Terms: LOGIC programming, COMPUTER programming, ARTIFICIAL languages, PROGRAMMING languages

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming¹.

Authors: Bertagnon, Alessandro Gavanelli, Marco

Source: Intelligenza Artificiale; 2024, Vol. 18 Issue 1, p139-152, 14p

Subject Terms: COST functions, CONSTRAINT programming, LOGIC programming, EUCLIDEAN distance, COMPUTER science

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).

Authors: GAVANELLI, MARCO NONATO, MADDALENA PEANO, ANDREA et al.

Source: Theory & Practice of Logic Programming; Sep2017, Vol. 17 Issue 5/6, p800-818, 19p

Subject Terms: LOGIC programming, CONSTRAINED optimization, CONSTRAINT programming, DECLARATIVE programming, DECLARATIVE programming languages

Building Information Modeling Using Constraint Logic Programming.

Authors: ARIAS, JOAQUÍN TÖRMÄ, SEPPO CARRO, MANUEL et al.

Source: Theory & Practice of Logic Programming; Sep2022, Vol. 22 Issue 5, p723-738, 16p

Subject Terms: BUILDING information modeling, CONSTRAINT programming, LOGIC programming, BUILDING evacuation, KNOWLEDGE representation (Information theory), CIVILIAN evacuation, FIRE prevention

Geographic Terms: SINGAPORE

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Authors: DİLAVER, Hatice DİLAVER, Kamil Fatih

Source: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Subjects: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.

Authors: BETZ, HARIOLF FRÜHWIRTH, THOM

Source: ACM Transactions on Computational Logic; Feb2013, Vol. 14 Issue 1, p1-37, 37p

Subject Terms: LINEAR statistical models, CONSTRAINT satisfaction, SEMANTICS, DISJUNCTION (Logic), PROGRAMMING languages

Selective Unification in (Constraint) Logic Programming^*.

Authors: Mesnard, Fred Payet, Étienne Vidal, Germán et al.

Source: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p359-383, 25p

Subject Terms: OBJECT-oriented programming, CONSTRAINT programming, LOGIC programming, ALGORITHMS

Non-termination of Dalvik bytecode via compilation to CLP

Authors: Payet, Etienne Mesnard, Frédéric Univ, Réunion et al.

Contributors: Payet, Etienne Mesnard, Frédéric Univ, Réunion et al.

Subject Terms: Android, Constraint Logic Programming, F31 Specifying and Verifying and Reasoning about Programs (Mechanical verification), 1998 ACM Subject Classification D24 Software/Program Verification (Formal methods), Dalvik, F32 Se-mantics of Programming Languages (Program analysis) Keywords and phrases Non-Termination, [INFO] Computer Science [cs]

File Description: application/pdf

Access URL: https://hal.univ-reunion.fr/hal-01451692v1

TCHR: a framework for tabled CLP.

Authors: TOM SCHRIJVERS BART DEMOEN DAVID S. WARREN

Source: Theory & Practice of Logic Programming; Jul2008, Vol. 8 Issue 4, p491-526, 36p

Subject Terms: LOGIC programming, LANGUAGE & languages, CONSTRAINT satisfaction, COMPUTER programming, ARTIFICIAL intelligence, PARALLEL logic programming