Search Results - (mathematical OR matematika) logic and formal languages—logic and constraint programming*

Branch-and-prune search strategies for numerical constraint solving

Authors: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud et al.

Contributors: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

Authors: Jian, Pengpeng Guo, Fucheng Pan, Cong et al.

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

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

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

Authors: MILLER, DALE

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

Subject Terms: 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.

Authors: Hsiao, Tsung-Chih Chuang, Ya-Hsueh Chang, Chien-Yun et al.

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

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

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

Authors: André Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses

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

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

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

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

Subject Terms: LOGIC programming, IMPLICATION (Logic), LOGIC

Geographic Terms: NELSON (N.Z.)

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

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

Authors: Dunning, David E.

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

Subject Terms: NATIONALISM, POLISH language, INTERNATIONAL relations, POLITICAL doctrines, LOGIC

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

Authors: Pitsiladis, Georgios V Stefaneas, Petros S

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

Subject Terms: SOFTWARE frameworks, COMPUTER software development, PROGRAMMING languages, MACHINE translating

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

Authors: Basti, Gianfranco

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

Subject Terms: 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.

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

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

Foundational Certified Code in the Twelf Metalogical Framework.

Authors: CRARY, KARL SARKAR, SUSMIT

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

Subject Terms: 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.

Authors: Billones, Robert Kerwin C. Lauresta, Dan Arris S. Dellosa, Jeffrey T. et al.

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

Subject Terms: VALUE chains, VALUE creation, TALENT development, SUPPLY chains, SOCIOTECHNICAL systems

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

Authors: Carmona-Galindo, Víctor D. Ung, Hou Zeng, Manhao et al.

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

Subject Terms: 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.

Authors: Li, Sihao Wang, Jiali Xu, Zhao

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

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

Quantum Software Engineering: Roadmap and Challenges Ahead.

Authors: Murillo, Juan Manuel Garcia-Alonso, Jose Moguel, Enrique et al.

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

Subject Terms: QUANTUM computing, RESEARCH personnel, METHODS engineering, COMPUTER software

Logical English meets legal English for swaps and derivatives.

Authors: Kowalski, Robert Datoo, Akber

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

Subject Terms: NATURAL language processing, LOGIC programming, ELECTRONIC data processing

Company/Entity: INTERNATIONAL Swaps & Derivatives Association Inc.

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

Authors: Casas, Amadeo Cabeza, Daniel Hermenegildo, Manuel V. et al.

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

Declarative programming for agent applications.

Authors: Lloyd, J. Ng, K.

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

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

Using the Internal Logic of a Topos to Model Search Spaces for Problems.

Authors: do Amaral, Fernando Náufel Haeusler, Edward Hermann

Source: Logic Journal of the IGPL; Oct2007, Vol. 15 Issue 5/6, p457-474, 18p

Subject Terms: MATHEMATICAL logic, LANGUAGE & logic, SET theory, LOGIC, COMPUTER science

There is no opposition between Formal and Cognitive Semantics.

Authors: Hamm, Fritz Kamp, Hans Lambalgen, Michiel van

Source: Theoretical Linguistics; Jan2006, Vol. 32 Issue 1, p1-40, 40p

Subject Terms: COMPARATIVE linguistics, INFORMATION theory, COMMUNICATION, SEMANTICS, COMPREHENSION, COGNITIVE science, LINGUISTICS, LANGUAGE & logic, MODERN languages