Search Results - Mathematical 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

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

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

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

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.

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

DECIDABLE CLASSES OF TREE AUTOMATA MIXING LOCAL AND GLOBAL CONSTRAINTS MODULO FLAT THEORIES.

Authors: BARGUñÓ, LUIS CREUS, CARLES GODOY, GUILLEM et al.

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-39, 39p

Subject Terms: DECIDABILITY (Mathematical logic), GLOBAL analysis (Mathematics), PROBLEM solving, MONADS (Mathematics), XML (Extensible Markup Language), MATHEMATICAL logic

Computable Models.

Authors: Turner, Raymond

Source: Journal of Logic & Computation; Apr2008, Vol. 18 Issue 2, p283-318, 36p

Subject Terms: MATHEMATICAL models, TYPE theory, DATA structures, MATHEMATICAL logic, COMPUTER science, CASE studies

Self-Formalisation of Higher-Order Logic.

Authors: Kumar, Ramana Arthan, Rob Myreen, Magnus et al.

Source: Journal of Automated Reasoning; Mar2016, Vol. 56 Issue 3, p221-259, 39p

Subject Terms: MATHEMATICAL logic, MATHEMATICAL proofs, MATHEMATICAL constants, AUTOMATIC theorem proving, SOFTWARE verification

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

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

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

Dissociating Language and Thought in Human Reasoning †.

Authors: Coetzee, John P. Johnson, Micah A. Lee, Youngzie et al.

Source: Brain Sciences (2076-3425); Jan2023, Vol. 13 Issue 1, p67, 18p

Subject Terms: FRONTAL lobe, NATURAL languages, TRANSCRANIAL magnetic stimulation

Foundations of Rule-Based Query Answering.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Reasoning Web (9783540746133); 2007, p1-153, 153p

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Authors: Patrick Blackburn Emiliano Lorini Meiyun Guo

Resource Type: eBook.

Subjects: Mathematical logic, Machine theory, Logic programming, Compilers (Computer programs), Social sciences—Data processing

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Authors: Alexander Raschke Elvinia Riccobene Klaus-Dieter Schewe

Resource Type: eBook.

Subjects: Software engineering, Programming languages (Electronic computers), Computer science, Business information services, Mathematical logic

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Languages / General, MATHEMATICS / Logic

Thinking Programs

Authors: Wolfgang Schreiner

Resource Type: eBook.

Subjects: Mathematical logic, Computer science—Mathematics

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Applied

Logic in Computer Science

Authors: Hantao Zhang Jian Zhang

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical, Computer science, Computer science--Mathematics, Discrete mathematics

Categories: COMPUTERS / Computer Science, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic

Readings in Formal Epistemology

Authors: Horacio Arló-Costa Vincent F. Hendricks Johan van Benthem et al.

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical, Knowledge, Theory of, Philosophy, Game theory

Categories: PHILOSOPHY / Epistemology, COMPUTERS / Computer Science, MATHEMATICS / Game Theory