Výsledky vyhledávání - 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.

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

Témata: 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.

Autoři: MILLER, DALE

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

Témata: LOGIC programming, PROOF theory, FIRST-order logic, PROGRAMMING languages

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.

Autoři: Christiansen, Henning

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

POSSIBILITY FRAMES AND FORCING FOR MODAL LOGIC.

Autoři: Holliday, Wesley H.

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

Témata: 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.

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

Témata: MATHEMATICAL logic, MATHEMATICAL variables, GRADUATE students, PHILOSOPHY of mathematics, SET theory

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

Autoři: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier a další

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

Témata: 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.

Zdroj: 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.

Zdroj: 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.

Zdroj: 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.

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

Témata: MATHEMATICAL logic, MODEL theory, ANALYTIC functions, ENTHUSIASM

Korporace: ASSOCIATION for Symbolic Logic

Topological Logics with Connectedness over Euclidean Spaces.

Autoři: KONTCHAKOV, ROMAN NENOV, YAVOR PRATT-HARTMANN, IAN a další

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

Témata: 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.

Autoři: Benzmüller, Christoph Reiche, Sebastian

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

Témata: 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)

Autoři: ALICIA PAZOS, MARÍA

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

Témata: 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.

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

Témata: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Korporace: ASSOCIATION for Symbolic Logic

Constraint Handling Rules : Current Research Topics

Autoři: Tom Schrijvers Thom Frühwirth

Resource Type: eBook.

Témata: 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.

Autoři: MASCARDI, VIVIANA MARTELLI, MAURIZIO STERLING, LEON

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

Témata: SOFTWARE engineering, SURVEYS, COMPUTER programming, PROGRAMMING languages, COMPUTER systems

Molecular Biology Meets Logic: Context-Sensitiveness in Focus.

Autoři: Boniolo, Giovanni D'Agostino, Marcello Piazza, Mario a další

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

Témata: PHILOSOPHY of science, LOGIC

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

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

Témata: MATHEMATICAL logic, NUMBER theory, FIRST-order logic, MODERN logic, CONFERENCES & conventions

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

Autoři: Sergei Artemov Anil Nerode

Resource Type: eBook.

Témata: 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.

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

Témata: MEETINGS, MATHEMATICAL logic, PHILOSOPHY conferences, LECTURES & lecturing, CONFERENCES & conventions

Geografický termín: EVORA (Portugal)

Korporace: ASSOCIATION for Symbolic Logic