Výsledky vyhledávání - theory of computation → constraint and (logic OR login) programming

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Real‐Time Optimal Operation of Water Systems Under Demand Uncertainty and Maximum Water Age Constraints.

Autoři: Salomons, Elad Cao, Hao Korder, Kristina a další

Zdroj: Water Resources Research; Jul2025, Vol. 61 Issue 7, p1-18, 18p

Témata: WATER quality, MIXED integer linear programming, AQUEDUCTS, PREDICTIVE control systems, REAL-time computing, UNCERTAINTY (Information theory), COST effectiveness of energy consumption

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

As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007

Autoři: Sneyers, Jon Van Weert, Peter Schrijvers, Tom a další

Zdroj: Theory and Practice of Logic Programming. 10:1-47

Témata: FOS: Computer and information sciences, Technology, PROLOG, Logic, cs.PL, J.0, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computation Theory & Mathematics, Computer Science, Theory & Methods, SEMANTICS, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, survey, BASE STATIONS, 0802 Computation Theory and Mathematics, 4613 Theory of computation, D.3.0, D.1.3, Science & Technology, Computer Science - Programming Languages, Constraint Handling Rules, 4602 Artificial intelligence, D.1.6, 0803 Computer Software, F.3.2, Constraint Handling Rules (CHR), Computer Science, Software Engineering, Computer Science, Science & Technology - Other Topics, Programming Languages (cs.PL)

Přístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/222627/3/chr_survey.pdf
http://arxiv.org/abs/0906.4474

Towards verification of computation orchestration

Autoři: Dong, Jin Song Liu, Yang Sun, Jun a další

Přispěvatelé: Dong, Jin Song Liu, Yang Sun, Jun a další

Zdroj: Formal Aspects of Computing. 26:729-759

Témata: Engineering::Computer science and engineering [DRNTU], Uppaal, Constraint logic programming, Verification, 1. No poverty, DRNTU::Engineering::Computer science and engineering, Software Engineering, Software engineering not elsewhere classified, 0102 computer and information sciences, 02 engineering and technology, Web service orchestration, 01 natural sciences, Programming Languages and Compilers, Orc, 0202 electrical engineering, electronic engineering, information engineering, Timed automata, Theory of computation

Popis souboru: application/pdf

Přístupová URL adresa: https://ink.library.smu.edu.sg/sis_research/4977
http://hdl.handle.net/10220/17739
https://hdl.handle.net/10356/97865

Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica

Autoři: Morales Caballero, José Francisco

Thesis Advisors: Carro Liñares, Manuel, Hermenegildo Salinas, Manuel de

Témata: Informática

Přístupová URL adresa: http://hdl.handle.net/10803/452078

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoři: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Using probability difference to compare streamflow information of alternatives for efficient operation of monitoring networks.

Autoři: Konrad, Christopher P.

Zdroj: PLoS Water; 10/23/2025, Vol. 4 Issue 10, p1-20, 20p

Témata: STREAMFLOW, INFORMATION theory, UNCERTAINTY (Information theory), STATISTICAL measurement, MATHEMATICAL optimization, STREAM measurements, COST benefit analysis

TCHR: a framework for tabled CLP

Autoři: Schrijvers, Tom Demoen, Bart Warren, David Scott

Zdroj: Theory and Practice of Logic Programming. 8:491-526

Témata: 4613 Theory of computation, FOS: Computer and information sciences, constraint logic programming, Technology, Science & Technology, Computer Science - Programming Languages, Constraint Handling Rules, tabled execution, Logic, 4602 Artificial intelligence, cs.PL, 0803 Computer Software, 02 engineering and technology, Computer Science, Software Engineering, constraint handling rules, CONSTRAINT HANDLING RULES, Computation Theory & Mathematics, CHECKING, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, 0802 Computation Theory and Mathematics, Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/0712.3830
http://arxiv.org/abs/0712.3830
https://lirias.kuleuven.be/handle/123456789/140718
https://doi.org/10.1017/s147106840800327x

Interpreting First-Order Theories into a Logic of Records

Autoři: van de Vel, Marcel

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2002 Dec 01. 72(3), 411-432.

Přístupová URL adresa: https://www.jstor.org/stable/20016475

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

Autoři: Jha, Susmit Raman, Vasumathi Sadigh, Dorsa a další

Zdroj: Journal of Automated Reasoning. 60(1)

Témata: Affordable and Clean Energy, Autonomy, Temporal logic, Safe Control, Artificial Intelligence and Image Processing, Computation Theory and Mathematics, Cognitive Sciences, Computation Theory & Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/4sz5x7tt
https://escholarship.org/content/qt4sz5x7tt/qt4sz5x7tt.pdf

Improving PARMA trailing

Autoři: Schrijvers, Tom Demoen, Bart De la Banda, Maria Garcia a další

Zdroj: Theory and Practice of Logic Programming. 6:609-644

Témata: FOS: Computer and information sciences, Technology, program analysis, Logic, cs.PL, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computation Theory & Mathematics, framework, Computer Science, Theory & Methods, ABSTRACT INTERPRETATION, LOGIC, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, cs.PF, 0802 Computation Theory and Mathematics, 4613 Theory of computation, constraint logic programming, Science & Technology, Computer Science - Programming Languages, Computer Science - Performance, 4602 Artificial intelligence, D.3.4, D.1.6, trailing, D.3.3, 0803 Computer Software, Computer Science, Software Engineering, FRAMEWORK, prolog, Performance (cs.PF), Computer Science, Science & Technology - Other Topics, logic programs, Programming Languages (cs.PL)

Přístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/123989/1/trailing.pdf
http://arxiv.org/abs/cs/0505085

Foundations of Software Science and Computation Structures

Autoři: Patricia Bouyer Lutz Schröder

Resource Type: eBook.

Témata: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Checking modes of HAL programs

Autoři: De la Banda, M.G. Harvey, W. Marriott, K. a další

Zdroj: Theory and Practice of Logic Programming. 5:623-667

Témata: FOS: Computer and information sciences, Technology, Logic, cs.PL, mode checking, DEPENDENCIES, 02 engineering and technology, Logic programming, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, regular grammars, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, D.3.2, F.3.2, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, Computer Science - Programming Languages, strong modes, 4602 Artificial intelligence, 0803 Computer Software, dependencies, Computer Science, Software Engineering, constraint logic programming languages, CLP languages, Computer Science, Grammars and rewriting systems, Science & Technology - Other Topics, logic programs, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/124779/1/TPLPHALpaper.pdf
http://arxiv.org/abs/cs/0409038
https://zbmath.org/2242964
https://doi.org/10.1017/s1471068404002327

From Integer Programming to Machine Learning: A Technical Review on Solving University Timetabling Problems.

Autoři: Gu, Xin Krish, Muralee Sohail, Shaleeza a další

Zdroj: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p

Témata: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications.

Autoři: Komizu, Ikkei Kobayashi, Koichi Yamashita, Yuh

Zdroj: Computation; Oct2024, Vol. 12 Issue 10, p196, 11p

Témata: COST functions, INTEGER programming, PREDICTION models, LOGIC

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

Flood control of reservoir systems: Learning-based explicit and switched model predictive control approaches.

Autoři: Koo, Ja-Ho Moradvandi, Ali Abraham, Edo a další

Zdroj: PLoS Water; 5/9/2025, Vol. 4 Issue 5, p1-31, 31p

Témata: ARTIFICIAL neural networks, FLOOD control, LINEAR programming, REAL-time control, COMPUTATIONAL complexity

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Stefan Kiefer Christine Tasson

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing

Clingo2DSR - A clingo-based software system for declarative spatial reasoning.

Autoři: Li, Beidi Schultz, Carl

Zdroj: Spatial Cognition & Computation; 2025, Vol. 25 Issue 1, p69-119, 51p