Suchergebnisse - Logic AND constraint programming. Keywords AND phrases automata 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

Injecting Observers into Computational Complexity.

Autoren: Daylight, Edgar Graham

Quelle: Philosophies; Aug2025, Vol. 10 Issue 4, p76, 24p

Schlagwörter: COMPUTATIONAL complexity, MACHINE theory, MATHEMATICAL logic, DETERMINISTIC algorithms, PROPOSITION (Logic), INDUCTION (Logic)

People: PLATO, 428-347 B.C.

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

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

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

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; Jan2022, Vol. 54 Issue 1, p1-38, 38p, 2 Illustrations

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

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

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

Additive Number Theory via Automata Theory.

Autoren: Rajasekaran, Aayush Shallit, Jeffrey Smith, Tim

Quelle: Theory of Computing Systems; Apr2020, Vol. 64 Issue 3, p542-567, 26p

Schlagwörter: MACHINE theory, ROBOTS, FIRST-order logic, FINITE state machines, NATURAL numbers, ADDITIVE number theory

Toward an Automata Theory of Brains.

Autoren: Arbib, Michael A.

Quelle: Communications of the ACM; Jul1972, Vol. 15 Issue 7, p521-527, 7p

Schlagwörter: MACHINE theory, ARTIFICIAL intelligence, HUMAN information processing, BIONICS, BRAIN, ROBOTICS, AUTOMATION, LOGIC

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

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

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

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