Search Results - logic and constraint programming. keywords and phrases (automata OR automatic) theory*

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.

Authors: Cristiá, Maximiliano Rossi, Gianfranco

Source: ACM Transactions on Computational Logic; Jan2024, Vol. 25 Issue 1, p1-34, 34p

Subject Terms: SET theory, CONSTRAINT programming, LOGIC programming

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Authors: Wu, Hao Wang, Qiuye Xue, Bai et al.

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

Subject Terms: SEMIDEFINITE programming, POLYNOMIALS, CONSTRAINT programming, INVARIANT theory, ALGORITHMS, ROBUST optimization, CONSTRAINT satisfaction

A new two-stage constraint programming approach for open shop scheduling problem with machine blocking.

Authors: Abreu, Levi R. Nagano, Marcelo S. Prata, Bruno A.

Source: International Journal of Production Research; Dec2023, Vol. 61 Issue 24, p8560-8579, 20p

Subject Terms: CONSTRAINT programming, RETAIL store openings, JOB shops, LINEAR programming, NP-hard problems, INTEGER programming, SHIFT systems

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

Authors: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

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

Subject Terms: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Reachability analysis of first-order definable pushdown systems

Authors: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Contributors: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Source: http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf.

Subject Terms: putation, F.2.2 [Nonnumerical Algorithms and Problems, Computations on discrete structures, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, F.4.1 [Mathematical Logic, Logic and constraint programming. Keywords and phrases automata theory, pushdown systems, sets with atoms, saturation tech- nique. Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211; http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211
http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Authors: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

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

Subject Terms: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

A Survey on String Constraint Solving.

Authors: AMADINI, ROBERTO

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

Subject Terms: PROBLEM solving, CONSTRAINT programming, INTERNET security

Vulnerability Repair via Concolic Execution and Code Mutations.

Authors: Shariffdeen, Ridwan Timperley, Christopher S. Noller, Yannic et al.

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-27, 27p

Subject Terms: COMPUTER security vulnerabilities, PROGRAM transformation, CONSTRAINT programming, PENETRATION testing (Computer security)

A Survey on String Constraint Solving.

Authors: AMADINI, ROBERTO

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

Subject Terms: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

Digital Twin Applications in the Water Sector: A Review.

Authors: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander et al.

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

Subject Terms: DIGITAL twin, WATER management, REAL-time computing, PREDICTIVE control systems, RESOURCE allocation, RESOURCE management, ENVIRONMENTAL infrastructure

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.

Authors: Mandel, A. S. Mikhalsky, A. I.

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

Platforms as laboratories of the social: How digital capitalism matters for computational social research in North America.

Authors: Ak, Onurhan

Source: Social Studies of Science (Sage Publications, Ltd.); Oct2025, Vol. 55 Issue 5, p711-731, 21p

Subject Terms: SOCIAL media, SOCIAL science research, ARTIFICIAL intelligence, MACHINE learning, DATA science

AUGS 46th Annual Scientific Meeting.

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

Chinese Academy of Sciences

Authors: Yi-dong Shen Jia-huai You Li-yan Yuan et al.

Contributors: Yi-dong Shen Jia-huai You Li-yan Yuan et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

The 2-Dimensional Constraint Loop Problem Is Decidable

Authors: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël et al.

Contributors: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël et al.

Source: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
https://inria.hal.science/hal-04644417
51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn University of Technology, Jul 2024, Tallin, Estonia. pp.21, ⟨10.4230/LIPIcs.ICALP.2024.140⟩
https://compose.ioc.ee/icalp2024/

Subject Terms: Theory of computation → Program verification, Asymptotic Expansions, Linear Constraints Loops, and Theory of Programming ], Semantics, Logic, Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata, Convex Sets, Minkowski-Weyl, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops Minkowski-Weyl Convex Sets Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata Logic Semantics and Theory of Programming ], [INFO]Computer Science [cs]

Subject Geographic: Tallin, Estonia

Time: Tallin, Estonia

Availability: https://inria.hal.science/hal-04644417
https://inria.hal.science/hal-04644417v1/document
https://inria.hal.science/hal-04644417v1/file/LIPIcs.ICALP.2024.140.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2024.140

Efficient Reasoning about Data Trees via Integer Linear Programming

Authors: Claire David Leonid Libkin TONY TAN et al.

Contributors: Claire David Leonid Libkin TONY TAN et al.

Source: http://homepages.inf.ed.ac.uk/libkin/papers/edt-tods.pdf.

Subject Terms: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation—Automata, F.4.1 [Mathematical logic and formal languages, Mathematical logic, G.1.6 [Numerical Analysis, Optimization—Integer programming, H.2.1 [Database Management, Logical Design—Data Models General Terms, Algorithms, Theory Additional Key Words and Phrases, XML, tree languages, data values, Presburger arithmetic, reasoning, integer linear programming ACM Reference Format

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.2607
http://homepages.inf.ed.ac.uk/libkin/papers/edt-tods.pdf

Schreye. Termination Proofs for Logic Programs with Tabling

Authors: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Contributors: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: 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

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

Authors: Simon Helsen Peter Thiemann Universität Freiburg et al.

Contributors: Simon Helsen Peter Thiemann Universität Freiburg et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Soft Concurrent Constraint Programming.

Authors: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Source: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Subject Terms: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

Typing Linear Constraints

Authors: Salvatore Ruggieri The Pennsylvania State University CiteSeerX Archives

Contributors: Salvatore Ruggieri The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: 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

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