Search Results - "((\"logic AND constraint programming\") OR (\"login AND constraint programming\"))"

Applying Constraint Logic Programming to SQL Semantic Analysis.

Authors: SÁENZ-PÉREZ, FERNANDO

Source: Theory & Practice of Logic Programming; Sep2019, Vol. 19 Issue 5/6, p808-825, 18p

Subject Terms: CONSTRAINT programming, LOGIC programming, SQL, PLEONASM

Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Authors: Gilles Pesant

Resource Type: eBook.

Subjects: Machine theory, Computer science—Mathematics, Artificial intelligence, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Essentials of Constraint Programming

Authors: Thom Frühwirth Slim Abdennadher

Resource Type: eBook.

Subjects: Software engineering, Compilers (Computer programs), Machine theory, Computer programming, Artificial intelligence, Computer science—Mathematics

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, MATHEMATICS / Applied

Fuzzy order-sorted feature logic

Authors: Milanese, G Pasi, G Milanese G. C. et al.

Index Terms: Approximate reasoning, Fuzzy ontologie, Fuzzy subsumption, Fuzzy unification, Knowledge representation, Order-sorted feature logic, info:eu-repo/semantics/article

URL: https://hdl.handle.net/10281/454386
info:eu-repo/semantics/altIdentifier/wos/WOS:001128990200001
volume:477
issue:1 February 2024
journal:FUZZY SETS AND SYSTEMS

Adaptive Personalized Learning System with Generative AI.

Authors: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Subject Terms: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Constraint Programming and Large Scale Discrete Optimization

Authors: Eugene C. Freuder Richard J. Wallace

Resource Type: eBook.

Subjects: Constraint programming (Computer science)--Congr, Mathematical optimization--Congresses

Categories: MATHEMATICS / Discrete Mathematics, COMPUTERS / Programming / General

The NCL Natural Constraint Language

Authors: Jianyang Zhou

Resource Type: eBook.

Subjects: Constraint programming (Computer science), Programming languages (Electronic computers), Mathematics--Data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Handbook of Constraint Programming

Authors: Francesca Rossi Peter van Beek Toby Walsh

Resource Type: eBook.

Subjects: Computer programming, Constraint programming (Computer science)

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Languages / General

Fuzzy order-sorted feature logic.

Authors: Milanese, Gian Carlo Pasi, Gabriella

Source: Fuzzy Sets & Systems. Feb2024, Vol. 477, pN.PAG-N.PAG. 1p.

Subject Terms: *KNOWLEDGE representation (Information theory), *PROGRAMMING languages, *FUZZY sets, *SEMANTICS (Philosophy), *CONSTRAINT programming

Company/Entity: OPEN Software Foundation

Fuzzy order-sorted feature logic

Authors: Milanese, Gian Carlo Pasi, Gabriella

Index Terms: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2307.14669

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Authors: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Authors: Barry O'Sullivan

Resource Type: eBook.

Subjects: Machine theory, Computer science—Mathematics, Artificial intelligence, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Constraint and Integer Programming

Authors: Michela Milano

Resource Type: eBook.

Subjects: Compilers (Computer programs), Artificial intelligence, Mathematical optimization, Computer science, Operations research

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, MATHEMATICS / Optimization

Ordering Constraints over Feature Trees.

Authors: Müller, Martin Niehren, Joachim Podelski, Andreas

Source: Constraints: An International Journal; Jan2000, Vol. 5 Issue 1/2, p7-41, 35p

Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Authors: Christian Bessiere

Resource Type: eBook.

Subjects: Constraint programming (Computer science)--Congr

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Advantages of Deferred Approach for Time-Critical Tasks.

Authors: Osipov, Pavel Borisov, Arkady

Source: Informatica; 2014, Vol. 25 Issue 3, p467-484, 18p

Subject Terms: BEHAVIOR, INFORMATION storage & retrieval systems, PYTHON programming language, PROGRAMMING languages, ELECTRONIC data processing, CONSTRAINT programming, APPLICATION servers (Computer software), MATHEMATICAL models

Assistive Technology for Inclusive Education: A Single-Case Study of a Child with Spastic Tetraplegia, Visual and Motor Disabilities in Ecuador.

Authors: Campoverde-Molina, Milton Cobos-Torres, Juan-Carlos Luján-Mora, Sergio et al.

Source: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 11, p45-65, 21p

Using probability difference to compare streamflow information of alternatives for efficient operation of monitoring networks.

Authors: Konrad, Christopher P.

Source: PLoS Water; 10/23/2025, Vol. 4 Issue 10, p1-20, 20p

Subject Terms: STREAMFLOW, INFORMATION theory, UNCERTAINTY (Information theory), STATISTICAL measurement, MATHEMATICAL optimization, STREAM measurements, COST benefit analysis

Agile Processes in Software Engineering and Extreme Programming – Workshops : XP 2024 Workshops, Bozen-Bolzano, Italy, June 4–7, 2024, Revised Selected Papers

Authors: Lodovica Marchesi Alfredo Goldman Maria Ilaria Lunesu et al.

Resource Type: eBook.

Subjects: Agile software development--Congresses, eXtreme programming--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems, EDUCATION / Computers & Technology