Suchergebnisse - logic and constraint programming. keywords and phrases (automata OR automaty) theory*

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

Autoren: Cristiá, Maximiliano Rossi, Gianfranco

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

Schlagwörter: SET theory, CONSTRAINT programming, LOGIC programming

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

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

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

Schlagwörter: CONSTRAINT programming, RETAIL store openings, JOB shops, LINEAR programming, NP-hard problems, INTEGER programming, SHIFT systems

Reachability analysis of first-order definable pushdown systems

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

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

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

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

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

Verfügbarkeit: 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

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

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

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

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

Geographisches Schlagwort: Tallin, Estonia

Time: Tallin, Estonia

Verfügbarkeit: 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

Autoren: Claire David Leonid Libkin TONY TAN et al.

Weitere Verfasser: Claire David Leonid Libkin TONY TAN et al.

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

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

Dateibeschreibung: application/pdf

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

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

Vulnerability Repair via Concolic Execution and Code Mutations.

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

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

Schlagwörter: COMPUTER security vulnerabilities, PROGRAM transformation, CONSTRAINT programming, PENETRATION testing (Computer security)

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

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

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

Schlagwörter: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

A Survey on String Constraint Solving.

Autoren: AMADINI, ROBERTO

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

Schlagwörter: PROBLEM solving, CONSTRAINT programming, INTERNET security

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

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

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

Schlagwörter: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

A Survey on String Constraint Solving.

Autoren: AMADINI, ROBERTO

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

Schlagwörter: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

Digital Twin Applications in the Water Sector: A Review.

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

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

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

Autoren: Ak, Onurhan

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

Schlagwörter: SOCIAL media, SOCIAL science research, ARTIFICIAL intelligence, MACHINE learning, DATA science

Soft Concurrent Constraint Programming.

Autoren: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

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

Foundations of Software Science and Computation Structures

Autoren: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

AI and Democracy: Concerns, scenarios and ethical dilemmas.

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

Autoren: Sampathianaki, Aikaterini

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

The Cultural Politics of Artificial Intelligence in China.

Autoren: Cai, Qiaoyu

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

Schlagwörter: ARTIFICIAL intelligence, MACHINE learning, ECONOMIC man, SMART cities

Geografische Kategorien: CHINA

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.

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

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

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

Autoren: KULIK, DEAN

How to Write Effective Prompts for Screening Biomedical Literature Using Large Language Models.

Autoren: Colangelo, Maria Teresa Guizzardi, Stefano Meleti, Marco et al.

Quelle: BioMedInformatics; Mar2025, Vol. 5 Issue 1, p15, 20p

Application of the JDL Model for Care and Management of Greenhouse Banana Cultivation.

Autoren: Kwabena Oppong, Paul Mao, Hanping Nyatuame, Mexoese et al.

Quelle: Water (20734441); Feb2025, Vol. 17 Issue 3, p325, 30p

Schlagwörter: WATER management, WATER resources development, LEAF area index, GROWING season, BANANA growing