Výsledky vyhľadávania - Logic and constraint programming. Keywords and phrases automata theory~

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

Autori: Cristiá, Maximiliano Rossi, Gianfranco

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

Predmety: SET theory, CONSTRAINT programming, LOGIC programming

Injecting Observers into Computational Complexity.

Autori: Daylight, Edgar Graham

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

Predmety: COMPUTATIONAL complexity, MACHINE theory, MATHEMATICAL logic, DETERMINISTIC algorithms, PROPOSITION (Logic), INDUCTION (Logic)

Osoby: PLATO, 428-347 B.C.

Reachability analysis of first-order definable pushdown systems

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

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

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël a ďalší

Prispievatelia: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël a ďalší

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/

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

Dostupnosť: 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

Autori: Claire David Leonid Libkin TONY TAN a ďalší

Prispievatelia: Claire David Leonid Libkin TONY TAN a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

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

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

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

Vulnerability Repair via Concolic Execution and Code Mutations.

Autori: Shariffdeen, Ridwan Timperley, Christopher S. Noller, Yannic a ďalší

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

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

A Survey on String Constraint Solving.

Autori: AMADINI, ROBERTO

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

Predmety: PROBLEM solving, CONSTRAINT programming, INTERNET security

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

Autori: Li, Shenglin Erickson, Caleb Zajac, Michal a ďalší

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

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

A Survey on String Constraint Solving.

Autori: AMADINI, ROBERTO

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

Predmety: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autori: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. a ďalší

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

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

Soft Concurrent Constraint Programming.

Autori: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

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

Additive Number Theory via Automata Theory.

Autori: Rajasekaran, Aayush Shallit, Jeffrey Smith, Tim

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

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

Toward an Automata Theory of Brains.

Autori: Arbib, Michael A.

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

Predmety: 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.

Autori: Campoverde-Molina, Milton Cobos-Torres, Juan-Carlos Luján-Mora, Sergio a ďalší

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

Digital Twin Applications in the Water Sector: A Review.

Autori: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander a ďalší

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

Predmety: 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.

Autori: Ak, Onurhan

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

Predmety: 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))

Autori: Sampathianaki, Aikaterini

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

The Cultural Politics of Artificial Intelligence in China.

Autori: Cai, Qiaoyu

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

Predmety: ARTIFICIAL intelligence, MACHINE learning, ECONOMIC man, SMART cities

Geografický termín: CHINA

Foundations of Software Science and Computation Structures

Autori: Jean Goubault-Larrecq Barbara König

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

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