Search Results - mathematik logic—logic AND constraint programming*

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p580-614, 35p

Subject Terms: MATHEMATICAL proofs, COMPUTER logic, PHILOSOPHY of science, MATHEMATICAL logic, DISCRETE mathematics, WORD problems (Mathematics), RAMSEY numbers, PROOF theory, KOLMOGOROV complexity

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

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.

Authors: Christiansen, Henning

Source: Constraint Handling Rules (9783540922421); 2008, p85-118, 34p

POSSIBILITY FRAMES AND FORCING FOR MODAL LOGIC.

Authors: Holliday, Wesley H.

Source: Australasian Journal of Logic; 2025, Vol. 22 Issue 2, p44-288, 245p

Subject Terms: OPERATOR algebras, BOOLEAN algebra, SEMANTICS (Philosophy), SET theory, MODEL theory

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

INTERNAL AND EXTERNAL CALCULI: ORDERING THE JUNGLE WITHOUT BEING LOST IN TRANSLATIONS.

Authors: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier et al.

Source: Bulletin of the Section of Logic; Mar2025, Vol. 54 Issue 1, p59-151, 93p

Subject Terms: PROOF theory, NONCLASSICAL mathematical logic, INTUITIONISTIC mathematics, CONDITIONALS (Logic)

2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019.

Source: Bulletin of Symbolic Logic; Dec2019, Vol. 25 Issue 4, p481-530, 50p

2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 Udine, Italy July 23–28, 2018.

Source: Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, p223-273, 51p

2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017.

Source: Bulletin of Symbolic Logic; Jun2018, Vol. 24 Issue 2, p211-277, 67p

THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–31, 2022.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p703-724, 22p

Subject Terms: MATHEMATICAL logic, MODEL theory, ANALYTIC functions, ENTHUSIASM

Company/Entity: ASSOCIATION for Symbolic Logic

Topological Logics with Connectedness over Euclidean Spaces.

Authors: KONTCHAKOV, ROMAN NENOV, YAVOR PRATT-HARTMANN, IAN et al.

Source: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-48, 48p

Subject Terms: TOPOLOGICAL spaces, EUCLIDEAN geometry, PROGRAMMING languages, BOOLEAN algebra, ARTIFICIAL intelligence, MATHEMATICAL proofs, DIMENSIONS

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.

Authors: Benzmüller, Christoph Reiche, Sebastian

Source: Journal of Logic & Computation; Sep2023, Vol. 33 Issue 6, p1243-1269, 27p

Subject Terms: MODAL logic, LOGIC, ANNOUNCEMENTS

REASON NATURALIZED (AN EMPIRICAL JUSTIFICATION OF LOGIC).

Alternate Title: LA RAZÓN NATURALIZADA (UNA JUSTIFICACIÓN EMPÍRICA DE LA LÓGICA). (Spanish)

Authors: ALICIA PAZOS, MARÍA

Source: Revista Colombiana de Filosofia de la Ciencia; jul-dec2023, Vol. 23 Issue 47, p221-253, 33p

Subject Terms: LOGIC, NORMATIVITY (Ethics), PLURALISM, REASON, INFERENCE (Logic)

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015.

Source: Bulletin of Symbolic Logic; Sep2016, Vol. 22 Issue 3, p366-435, 70p

Subject Terms: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Company/Entity: ASSOCIATION for Symbolic Logic

Constraint Handling Rules : Current Research Topics

Authors: Tom Schrijvers Thom Frühwirth

Resource Type: eBook.

Subjects: Constraint programming (Computer science)

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Logic-based specification languages for intelligent software agents.

Authors: MASCARDI, VIVIANA MARTELLI, MAURIZIO STERLING, LEON

Source: Theory & Practice of Logic Programming; Jul2004, Vol. 4 Issue 4, p429-494, 66p

Subject Terms: SOFTWARE engineering, SURVEYS, COMPUTER programming, PROGRAMMING languages, COMPUTER systems

Molecular Biology Meets Logic: Context-Sensitiveness in Focus.

Authors: Boniolo, Giovanni D'Agostino, Marcello Piazza, Mario et al.

Source: Foundations of Science; Mar2023, Vol. 28 Issue 1, p307-325, 19p, 4 Diagrams

Subject Terms: PHILOSOPHY of science, LOGIC

2014 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’14 Vienna, AUSTRIA July 14–19, 2014.

Source: Bulletin of Symbolic Logic; Mar2015, Vol. 21 Issue 1, p34-103, 70p

Subject Terms: MATHEMATICAL logic, NUMBER theory, FIRST-order logic, MODERN logic, CONFERENCES & conventions

Company/Entity: ASSOCIATION for Symbolic Logic, TECHNISCHE Universitat Wien

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Authors: Sergei Artemov Anil Nerode

Resource Type: eBook.

Subjects: Machine theory, Computer arithmetic and logic units, Computer science, Artificial intelligence, Compilers (Computer programs), Computer programming

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, COMPUTERS / Programming / General

2013 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '13.

Source: Bulletin of Symbolic Logic; Jun2014, Vol. 20 Issue 2, p204-255, 52p

Subject Terms: MEETINGS, MATHEMATICAL logic, PHILOSOPHY conferences, LECTURES & lecturing, CONFERENCES & conventions

Geographic Terms: EVORA (Portugal)

Company/Entity: ASSOCIATION for Symbolic Logic