Suchergebnisse - "((\"logic AND constraint programming\") OR (\"login AND constraint programming\"))*"

Applying Constraint Logic Programming to SQL Semantic Analysis.

Autoren: SÁENZ-PÉREZ, FERNANDO

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

Schlagwörter: 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

Autoren: Gilles Pesant

Resource Type: eBook.

Schlagworte: 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

Autoren: Thom Frühwirth Slim Abdennadher

Resource Type: eBook.

Schlagworte: 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

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

Index Begriffe: 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.

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

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

Schlagwörter: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Constraint Programming and Large Scale Discrete Optimization

Autoren: Eugene C. Freuder Richard J. Wallace

Resource Type: eBook.

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

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

The NCL Natural Constraint Language

Autoren: Jianyang Zhou

Resource Type: eBook.

Schlagworte: 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

Autoren: Francesca Rossi Peter van Beek Toby Walsh

Resource Type: eBook.

Schlagworte: Computer programming, Constraint programming (Computer science)

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

Fuzzy order-sorted feature logic.

Autoren: Milanese, Gian Carlo Pasi, Gabriella

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

Schlagwörter: *KNOWLEDGE representation (Information theory), *PROGRAMMING languages, *FUZZY sets, *SEMANTICS (Philosophy), *CONSTRAINT programming

Firma/Körperschaft: OPEN Software Foundation

Fuzzy order-sorted feature logic

Autoren: Milanese, Gian Carlo Pasi, Gabriella

Index Begriffe: 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.

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

Quelle: 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

Autoren: Barry O'Sullivan

Resource Type: eBook.

Schlagworte: 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

Autoren: Michela Milano

Resource Type: eBook.

Schlagworte: 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.

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

Quelle: 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

Autoren: Christian Bessiere

Resource Type: eBook.

Schlagworte: 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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

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

Advantages of Deferred Approach for Time-Critical Tasks.

Autoren: Osipov, Pavel Borisov, Arkady

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

Schlagwörter: 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.

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

Quelle: 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.

Autoren: Konrad, Christopher P.

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

Schlagwörter: 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

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

Resource Type: eBook.

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

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