Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

Συγγραφείς: de Mol, Liesbeth, Matiyasevich, Yuri, Omodeo, Eugenio, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine

Συνεισφορές: De Mol, Liesbeth, Matiyasevich, Yuri V, Omodeo, Eugenio, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine J

Πηγή: Philosophia Mathematica. 33:425-450

Θεματικοί όροι: computability, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], history of computing, philosophy of computing, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, unsolvable problems, automated reasoning, [MATH] Mathematics [math], [INFO] Computer Science [cs], unsolvable problem, Logic in Computer Science (cs.LO)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08588
https://academic.oup.com/philmat/article/33/3/425/8286373
https://hdl.handle.net/11368/3118919

Four imprints of Belnap's useful four-valued logic in computer science

Συγγραφείς: Jakl, Tomáš

Θεματικοί όροι: Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.20679

Four Imprints of Belnap’s Useful Four-Valued Logic in Computer Science

Συγγραφείς: Tomáš Jakl

Πηγή: Studia Logica.

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.20679

A Framework for Universality in Physics, Computer Science, and Beyond

Συγγραφείς: Gonda, Tomáš, Reinhart, Tobias, Stengele, Sebastian, Coves, Gemma De les

Πηγή: Compositionality, Volume 6 (2024) (August 29, 2024) compositionality:14134

Θεματικοί όροι: Computer Science - Computational Complexity, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Mathematical Physics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2307.06851

Mathematical Logic in Computer Science

Συγγραφείς: Kfoury, Assaf

Θεματικοί όροι: Computer Science - Logic in Computer Science, 03B70, 68Q99, F.4.1, F.4.m, K.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1802.03292

Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science

Συγγραφείς: Basti, Gianfranco, Capolupo, Antonio, Vitiello, Giuseppe

Θεματικοί όροι: Quantum Physics, Computer Science - Logic in Computer Science, Mathematical Physics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1701.00527

Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?

Συγγραφείς: Makowsky, Johann

Θεματικοί όροι: Computer Science - Computers and Society, Computer Science - Logic in Computer Science, K.3.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1507.03672

LOCALLY TABULAR PRODUCTS OF MODAL LOGICS

Συγγραφείς: ILYA SHAPIROVSKY, VLADISLAV SLIUSAREV

Πηγή: The Journal of Symbolic Logic. :1-27

Θεματικοί όροι: FOS: Computer and information sciences, 03B45, 03B62, 06E25, Computer Science - Logic in Computer Science, FOS: Mathematics, F.4.1, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.01670

On the Unusual Effectiveness of Logic in Computer Science

Συγγραφείς: Halpern, Joseph Y., Harper, Robert, Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y., Vianu, Victor

Πηγή: The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/2687775

Computer Science and Metaphysics: A Cross-Fertilization

Συγγραφείς: Kirchner, Daniel, Benzmüller, Christoph, Zalta, Edward N.

Πηγή: Open Philosophy, 2019

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Mathematics - Logic, 03Axx, 03B15, 03B45, 03B60, 03B80, 68T15, 68T27, 68T30, F.4.0, F.4.1, I.2.3, I.2.4, J.5, I.1.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1905.00787

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Συγγραφείς: Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost

Θεματικοί όροι: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.18172

A Framework for Universality in Physics, Computer Science, and Beyond

Συγγραφείς: Tomás Gonda, Tobias Reinhart, Sebastian Stengele, Gemma De les Coves

Πηγή: Compositionality. 6

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), FOS: Physical sciences, Computer Science - Formal Languages and Automata Theory, Mathematical Physics (math-ph), Computational Complexity (cs.CC), Mathematical Physics, Logic in Computer Science (cs.LO)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2307.06851

Abstraction Logic: A New Foundation for (Computer) Mathematics

Συγγραφείς: Obua, Steven

Θεματικοί όροι: Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2207.05610

Syntactic Effectful Realizability in Higher-Order Logic

Συγγραφείς: Cohen, Liron, Grunfeld, Ariel, Kirst, Dominik, Miquey, Étienne

Πηγή: Logic in Computer Science (LICS), Jun 2025, Singapour, Singapore

Θεματικοί όροι: Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.09458

Complexities of Well-Quasi-Ordered Substructural Logics

Συγγραφείς: Galatos, Nikolaos, Greati, Vitor, Ramanayake, Revantha, John, Gavin St.

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Mathematics - Logic, 03B47, 03F52, 03G10, 06F05, 68Q25, 08B15, 03D20, 68Q17, F.4.1, F.2.2, F.1.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2504.21674

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Συγγραφείς: Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj

Θεματικοί όροι: Computer Science - Human-Computer Interaction, Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08294

Comparing Neural Network Encodings for Logic-based Explainability

Συγγραφείς: Carvalho, Levi Cordeiro, Oliveira, Saulo A. F., Rocha, Thiago Alves

Πηγή: Intelligent Systems. BRACIS 2024. Lecture Notes in Computer Science, vol 15412

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.20269

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Συγγραφείς: Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost

Πηγή: ESANN 2025 proceesdings. :201-206

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.18172

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Συγγραφείς: Meng, Qiaolan, Pu, Juhua, Niu, Hongting, Wang, Yuyi, Wang, Yuanhong, Kuželka, Ondřej

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.19648

Extracting Formulae in Many-Valued Logic From Deep Neural Networks

Συγγραφείς: Yani Zhang, Helmut Bölcskei

Πηγή: IEEE Transactions on Signal Processing. 74:1-12

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), deep neural networks, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2401.12113