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

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

Autoři: Cristiá, Maximiliano Rossi, Gianfranco

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

Témata: SET theory, CONSTRAINT programming, LOGIC programming

Reachability analysis of first-order definable pushdown systems

Autoři: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: 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

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

The 2-Dimensional Constraint Loop Problem Is Decidable

Autoři: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël a další

Přispěvatelé: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël a další

Zdroj: 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/

Témata: 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]

Geografické téma: Tallin, Estonia

Time: Tallin, Estonia

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

Autoři: Claire David Leonid Libkin TONY TAN a další

Přispěvatelé: Claire David Leonid Libkin TONY TAN a další

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

Témata: 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

Popis souboru: application/pdf

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

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

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

Autoři: Abreu, Levi R. Nagano, Marcelo S. Prata, Bruno A.

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

Témata: CONSTRAINT programming, RETAIL store openings, JOB shops, LINEAR programming, NP-hard problems, INTEGER programming, SHIFT systems

Vulnerability Repair via Concolic Execution and Code Mutations.

Autoři: Shariffdeen, Ridwan Timperley, Christopher S. Noller, Yannic a další

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

Témata: COMPUTER security vulnerabilities, PROGRAM transformation, CONSTRAINT programming, PENETRATION testing (Computer security)

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

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

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

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

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

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

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

Autoři: Campoverde-Molina, Milton Cobos-Torres, Juan-Carlos Luján-Mora, Sergio a další

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

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

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

Autoři: Ak, Onurhan

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

Témata: SOCIAL media, SOCIAL science research, ARTIFICIAL intelligence, MACHINE learning, DATA science

AI and Democracy: Concerns, scenarios and ethical dilemmas.

Alternate Title: ΤΝ και Δημοκρατία: Προβληματισμοί, σενάρια και ηθικά διλήμματα. (Greek, Ancient (to 1453))

Autoři: Sampathianaki, Aikaterini

Zdroj: Bioethica; Sep2025, Vol. 11 Issue 2, p41-56, 16p

The Cultural Politics of Artificial Intelligence in China.

Autoři: Cai, Qiaoyu

Zdroj: Theory, Culture & Society; May2025, Vol. 42 Issue 3, p21-40, 20p

Témata: ARTIFICIAL intelligence, MACHINE learning, ECONOMIC man, SMART cities

Geografický termín: CHINA

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

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

The White Puzzle: A Framework for Computation as a Recursive‑Harmonic Phenomenon

Autoři: KULIK, DEAN

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