Výsledky vyhľadávania - (mathematical OR matematika) logic and formal languages—logic and constraint programming

Branch-and-prune search strategies for numerical constraint solving

Autori: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a ďalší

Prispievatelia: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a ďalší

Zdroj: http://arxiv.org/pdf/cs/0512045v2.pdf.

Predmety: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392
http://arxiv.org/pdf/cs/0512045v2.pdf

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Autori: André Platzer Kristin Yvonne Rozier Matteo Pradella a ďalší

Typ zdroja: eBook.

Predmet: Formal methods (Computer science)--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.

Autori: Casas, Amadeo Cabeza, Daniel Hermenegildo, Manuel V. a ďalší

Zdroj: Functional & Logic Programming (9783540334385). 2006, p146-162. 17p.

Models and emerging trends of concurrent constraint programming.

Autori: Olarte, Carlos Rueda, Camilo Valencia, Frank

Zdroj: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

Interpretable Geometry Problem Solving Using Improved RetinaNet and Graph Convolutional Network.

Autori: Jian, Pengpeng Guo, Fucheng Pan, Cong a ďalší

Zdroj: Electronics (2079-9292); Nov2023, Vol. 12 Issue 22, p4578, 17p

Predmety: NATURAL language processing, PROBLEM solving, FORMAL languages, COMPUTER vision, PROGRAMMING languages, MATHEMATICAL convolutions

A Survey of the Proof-Theoretic Foundations of Logic Programming.

Autori: MILLER, DALE

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p859-904, 46p

Predmety: LOGIC programming, PROOF theory, FIRST-order logic, PROGRAMMING languages

Combining Building Block Process With Computational Thinking Improves Learning Outcomes of Python Programming With Peer Assessment.

Autori: Hsiao, Tsung-Chih Chuang, Ya-Hsueh Chang, Chien-Yun a ďalší

Zdroj: SAGE Open; Oct-Dec2023, Vol. 13 Issue 4, p1-15, 15p

Predmety: PYTHON programming language, EDUCATIONAL outcomes, TECHNICAL education, INFORMATION technology, DESCRIPTIVE statistics, TEACHING methods

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic.

Autori: FANDINNO, JORGE FARIÑAS DEL CERRO, LUIS

Zdroj: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p444-467, 24p

Predmety: LOGIC programming, IMPLICATION (Logic), LOGIC

Geografický termín: NELSON (N.Z.)

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

Autori: Naoki Kobayashi James Worrell

Typ zdroja: eBook.

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

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

The logic of the nation: Nationalism, formal logic, and interwar Poland.

Alternate Title: Logika narodu: Nacjonalizm, logika formalna i międzywojenna Polska. (Polish)

Autori: Dunning, David E.

Zdroj: Studia Historiae Scientiarum; 2018, Issue 17, p207-251, 45p

Predmety: NATIONALISM, POLISH language, INTERNATIONAL relations, POLITICAL doctrines, LOGIC

A logical framework to model software development by multiple agents following a common specification.

Autori: Pitsiladis, Georgios V Stefaneas, Petros S

Zdroj: Journal of Logic & Computation; Jul2024, Vol. 34 Issue 5, p977-1000, 24p

Predmety: SOFTWARE frameworks, COMPUTER software development, PROGRAMMING languages, MACHINE translating

The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.

Autori: Basti, Gianfranco

Zdroj: Philosophies; Dec2022, Vol. 7 Issue 6, p121, 84p

Predmety: PHILOSOPHY of nature, OPERATOR algebras, PHILOSOPHY of science, PHYSICS, QUANTUM field theory, MODAL logic

2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022.

Zdroj: Bulletin of Symbolic Logic; Dec2022, Vol. 28 Issue 4, p566-606, 41p

Predmety: MATHEMATICAL logic, MATHEMATICAL variables, GRADUATE students, PHILOSOPHY of mathematics, SET theory

Foundational Certified Code in the Twelf Metalogical Framework.

Autori: CRARY, KARL SARKAR, SUSMIT

Zdroj: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p16.1-16.26, 26p, 5 Charts

Predmety: INFORMATION theory, MACHINE theory, PROGRAMMING languages, LANGUAGE & logic, COMPUTER programming, MATHEMATICAL programming

AI Ecosystem and Value Chain: A Multi-Layered Framework for Analyzing Supply, Value Creation, and Delivery Mechanisms.

Autori: Billones, Robert Kerwin C. Lauresta, Dan Arris S. Dellosa, Jeffrey T. a ďalší

Zdroj: Technologies (2227-7080); Sep2025, Vol. 13 Issue 9, p421, 34p

Predmety: VALUE chains, VALUE creation, TALENT development, SUPPLY chains, SOCIOTECHNICAL systems

Generative AI as a Sociotechnical Challenge: Inclusive Teaching Strategies at a Hispanic-Serving Institution.

Autori: Carmona-Galindo, Víctor D. Ung, Hou Zeng, Manhao a ďalší

Zdroj: Knowledge; Sep2025, Vol. 5 Issue 3, p18, 34p

Predmety: GENERATIVE artificial intelligence, HISPANIC-serving institutions, STEM education, INCLUSIVE education, SOCIOTECHNICAL systems, CULTURALLY relevant education, EDUCATIONAL equalization, DIGITAL literacy

Automated compliance checking for BIM models based on Chinese-NLP and knowledge graph: an integrative conceptual framework.

Autori: Li, Sihao Wang, Jiali Xu, Zhao

Zdroj: Engineering Construction & Architectural Management (09699988); 2025, Vol. 32 Issue 6, p3832-3856, 25p

Predmety: NATURAL language processing, KNOWLEDGE graphs, BUILDING information modeling, ENGINEERING standards, CONCEPTUAL structures, DEEP learning

Quantum Software Engineering: Roadmap and Challenges Ahead.

Autori: Murillo, Juan Manuel Garcia-Alonso, Jose Moguel, Enrique a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-48, 48p

Predmety: QUANTUM computing, RESEARCH personnel, METHODS engineering, COMPUTER software

Logical English meets legal English for swaps and derivatives.

Autori: Kowalski, Robert Datoo, Akber

Zdroj: Artificial Intelligence & Law; Jun2022, Vol. 30 Issue 2, p163-197, 35p

Predmety: NATURAL language processing, LOGIC programming, ELECTRONIC data processing

Korporácia: INTERNATIONAL Swaps & Derivatives Association Inc.

Declarative programming for agent applications.

Autori: Lloyd, J. Ng, K.

Zdroj: Autonomous Agents & Multi-Agent Systems; Sep2011, Vol. 23 Issue 2, p224-272, 49p

Predmety: DECLARATIVE programming languages, MULTIAGENT systems, LOGIC programming, MODAL analysis, PROBABILISTIC number theory, LANGUAGE & logic, PROGRAMMING languages, APPLICATION software, AGENT (Philosophy)