Výsledky vyhledávání - logic and constraint programming. keywords and phrases automatic theory~

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Autoři: Wu, Hao Wang, Qiuye Xue, Bai a další

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-35, 35p

Témata: SEMIDEFINITE programming, POLYNOMIALS, CONSTRAINT programming, INVARIANT theory, ALGORITHMS, ROBUST optimization, CONSTRAINT satisfaction

Chinese Academy of Sciences

Autoři: Yi-dong Shen Jia-huai You Li-yan Yuan a další

Přispěvatelé: Yi-dong Shen Jia-huai You Li-yan Yuan a další

Zdroj: http://www.cs.ust.hk/~qyang/Docs/2003/p417-shen.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.4478

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.4478
http://www.cs.ust.hk/~qyang/Docs/2003/p417-shen.pdf

Schreye. Termination Proofs for Logic Programs with Tabling

Autoři: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927
http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

Polymorphic specialization for ML

Autoři: Simon Helsen Peter Thiemann Universität Freiburg a další

Přispěvatelé: Simon Helsen Peter Thiemann Universität Freiburg a další

Zdroj: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf.

Témata: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022
http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autoři: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. a další

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Témata: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

A Survey on String Constraint Solving.

Autoři: AMADINI, ROBERTO

Zdroj: ACM Computing Surveys; Jan2023, Vol. 55 Issue 1, p1-38, 38p, 1 Illustration

Témata: PROBLEM solving, CONSTRAINT programming, INTERNET security

Typing Linear Constraints

Autoři: Salvatore Ruggieri The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Salvatore Ruggieri The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.di.unipi.it/~ruggieri/Papers/toplas.pdf.

Témata: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic programming, I.2.3 [Artificial Intelligence, Deduction and theorem proving General Terms, Languages, Verification Additional Key Words and Phrases, Linear constraints, polyhedra, constraint logic programming, well-moding

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.6781; http://www.di.unipi.it/~ruggieri/Papers/toplas.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.6781
http://www.di.unipi.it/~ruggieri/Papers/toplas.pdf

A Survey on String Constraint Solving.

Autoři: AMADINI, ROBERTO

Zdroj: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-38, 38p, 2 Illustrations

Témata: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

Digital Twin Applications in the Water Sector: A Review.

Autoři: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander a další

Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 20, p2957, 49p

Témata: DIGITAL twin, WATER management, REAL-time computing, PREDICTIVE control systems, RESOURCE allocation, RESOURCE management, ENVIRONMENTAL infrastructure

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Autoři: Li, Shenglin Erickson, Caleb Zajac, Michal a další

Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Témata: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

AUGS 46th Annual Scientific Meeting.

Zdroj: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

Termination of rewriting under strategies: a generic approach

Autoři: Isabelle Gnaedig Helene Kirchner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Isabelle Gnaedig Helene Kirchner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hal.archives-ouvertes.fr/docs/00/11/31/56/PDF/tocl-second-version-hal.pdf.

Témata: Categories and Subject Descriptors, F.3.1 [LOGICS AND MEANINGS OF PROGRAMS, Specifying and Verifying and Reasoning about Programs—Logics of programs, Mechanical verifi- cation, Specification techniques, F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN- GUAGES, Grammars and Other Rewriting Systems, F.4.3 [MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Formal Languages—Algebraic language theory, I.1.3 [SYM- BOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems—Evaluation stra- tegies, Substitution mechanisms, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Pro- gramming—Automatic analysis of algorithms, Program verification, I.2.3 [ARTIFICIAL IN- TELLIGENCE, Deduction and Theorem Proving—Deduction, Inference engines, Mathemat- ical induction, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification—Correctness proofs, Formal methods, Validation General Terms, Algorithms, Languages, Verification Additional Key Words and Phrases, abstraction, innermost

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.502.464

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.502.464
http://hal.archives-ouvertes.fr/docs/00/11/31/56/PDF/tocl-second-version-hal.pdf

Constraint Programming Systems for Modeling Music Theories and Composition.

Autoři: ANDERS, TORSTEN MIRANDA, EDUARDO R.

Zdroj: ACM Computing Surveys; Oct2011, Vol. 43 Issue 4, p30.1-38, 38p, 11 Diagrams, 9 Charts

Témata: CONSTRAINT programming, COUNTERPOINT, HARMONY in music, MUSIC orchestration, RHYTHM, DATABASE searching, BACKTRACK programming

Guidelines From the American Society of Pain and Neuroscience for Using Artificial Intelligence in Interventional Spine and Nerve Treatment.

Autoři: Massey, Christopher Latif, Usman Deer, Timothy R a další

Zdroj: Journal of Pain Research; Aug2025, Vol. 18, p4211-4235, 25p

Témata: ARTIFICIAL intelligence, PAIN management, NEUROSURGERY, MEDICAL care, PATIENT safety, MEDICAL protocols

Securitizing carceral health: a realist review of Canada's prison needle exchange program.

Autoři: Michaud, Liam Stöver, Heino van der Meulen, Emily a další

Zdroj: Health & Justice; 7/3/2025, Vol. 13 Issue 1, p1-19, 19p

Témata: DRUG abuse, NEEDLE exchange programs, CRIMINAL justice policy, HEPATITIS C virus, HARM reduction

On the Work of the Institute of Control Sciences of the Russian Academy of Sciences in the Field of Pattern Recognition Theory and Applications in the 20th Century.

Autoři: Mandel, A. S. Mikhalsky, A. I.

Zdroj: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p1593-1623, 31p

An Analysis Of The Concept Of Law And Its Importance In Society And Education Of Jean-Jacques Rousseau.

Autoři: P. P., Yathukrishna Neena, T. S.

Zdroj: Journal of Advanced Zoology. 2024, Vol. 45 Issue 2, p42-44. 3p.

Unveiling the Dynamic Mechanisms of Generative AI in English Language Learning: A Hybrid Study Based on fsQCA and System Dynamics.

Autoři: Zhang, Yang Dong, Changqi

Zdroj: Behavioral Sciences (2076-328X); Nov2024, Vol. 14 Issue 11, p1015, 37p

As time goes by: Constraint Handling Rules.

Autoři: Sneyers, Jon van Weert, Peter Schrijvers, Tom a další

Zdroj: Theory & Practice of Logic Programming; Jan2010, Vol. 10 Issue 1, p1-47, 47p, 1 Graph

Témata: CONSTRAINT programming, HIGH-level programming languages, COMPUTER software, SYSTEM analysis, APPLICATION software

Enriching Solutions to Combinatorial Problems via Solution Engineering.

Autoři: Petit, Thierry Trapp, Andrew C.

Zdroj: INFORMS Journal on Computing; Summer2019, Vol. 31 Issue 3, p429-444, 16p

Témata: MATHEMATICAL programming, ENGINEERING, CONSTRAINT programming