Výsledky vyhledávání - Computer Science - Logic in Computer Science

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

Autoři: De Mol, Liesbeth Matiyasevich, Yuri V. Omodeo, Eugenio G. a další

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2506.08588

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

Autoři: Jakl, Tomáš

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2503.20679

On the Unusual Effectiveness of Logic in Computer Science

Autoři: Halpern, Joseph Y. Harper, Robert Immerman, Neil a další

Zdroj: The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236.

Přístupová URL adresa: https://www.jstor.org/stable/2687775

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Autoři: Vandevelde, Simon Mertens, Laurent Lauwers, Sverre a další

Zdroj: ESANN 2025 proceesdings. :201-206

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

Přístupová URL adresa: http://arxiv.org/abs/2411.18172

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

Autoři: Gonda, Tomáš Reinhart, Tobias Stengele, Sebastian a další

Zdroj: Compositionality. 6

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

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2307.06851

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images

Autoři: Bloch, Isabelle Bonnot, Enzo Gori, Pietro a další

Přispěvatelé: Bloch, Isabelle Bonnot, Enzo Gori, Pietro a další

Zdroj: 2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-6

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [SDV.IB] Life Sciences [q-bio]/Bioengineering, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, segmentation, Mathematics - Logic, fuzzy semantics, fiber bundles, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), FOS: Mathematics, spatial reasoning, recognition, Logic (math.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.00173
https://telecom-paris.hal.science/hal-05052868v1

Sequent Calculi for Data-Aware Modal Logics

Autoři: Areces, Carlos Cassano, Valentin Dutto, Danae a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 430:8-25

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2510.01868
http://arxiv.org/abs/2505.17240

The Impact of the Lambda Calculus in Logic and Computer Science

Autoři: Barendregt, Henk

Zdroj: The Bulletin of Symbolic Logic, 1997 Jun 01. 3(2), 181-215.

Přístupová URL adresa: https://www.jstor.org/stable/421013

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects

Autoři: Noam Zilberstein

Zdroj: ACM Transactions on Programming Languages and Systems. 47:1-71

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2401.04594

Cumulative-Time Signal Temporal Logic

Autoři: Hongkai Chen Zeyu Zhang Shouvik Roy a další

Zdroj: ACM Transactions on Embedded Computing Systems. 24:1-23

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2504.10325

Probabilistic Strategy Logic with Degrees of Observability

Autoři: Mu, Chunyan Motamed, Nima Alechina, Natasha a další

Přispěvatelé: Mu, Chunyan Motamed, Nima Alechina, Natasha a další

Zdroj: Mu, C, Motamed, N, Alechina, N & Logan, B 2025, Probabilistic Strategy Logic with Degrees of Observability. in T Walsh, J Shah & Z Kolter (eds), Special Track on AI Alignment. 14 edn, Association for the Advancement of Artificial Intelligence, Proceedings of the AAAI Conference on Artificial Intelligence, no. 14, vol. 39, pp. 15092-15099, 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025, Philadelphia, Pennsylvania, United States, 25/02/25. https://doi.org/10.1609/aaai.v39i14.33655

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2412.15135
https://research-portal.uu.nl/en/publications/74071c89-6317-400b-ac86-36eb9385efe3
https://doi.org/10.1609/aaai.v39i14.33655
https://research.ou.nl/en/publications/bd91095d-52a0-48cc-bdf4-01e565cb6999
https://doi.org/10.1609/aaai.v39i14.33655
https://research.ou.nl/en/publications/bd91095d-52a0-48cc-bdf4-01e565cb6999
https://doi.org/10.1609/aaai.v39i14.33655
https://www.scopus.com/pages/publications/105004001482

Fuzzy Lattice-based Description Logic

Autoři: Ding, Yiwen Manoorkar, Krishna

Zdroj: Electronic Proceedings in Theoretical Computer Science. 421:44-63

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2506.05833
https://research.vu.nl/en/publications/9221bcfd-231e-438a-b4c6-e474e31311f3
https://hdl.handle.net/1871.1/9221bcfd-231e-438a-b4c6-e474e31311f3
https://doi.org/10.4204/EPTCS.421.3

Query Answering in Lattice-based Description Logic

Autoři: Manoorkar, Krishna Wang, Ruoding

Zdroj: Electronic Proceedings in Theoretical Computer Science. 421:21-43

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2409.02289
https://hdl.handle.net/1871.1/9adf0436-c987-46a1-aa60-74f263d5e2ff
https://research.vu.nl/en/publications/9adf0436-c987-46a1-aa60-74f263d5e2ff
https://doi.org/10.4204/EPTCS.421.2

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

Autoři: Villadsen, Jørgen

Zdroj: Electronic Proceedings in Theoretical Computer Science. 419:75-89

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, F.4, K.3.1, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2505.05988

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts

Autoři: Markovic, Dorde Denecker, Marc

Zdroj: Electronic Proceedings in Theoretical Computer Science. 416:253-266

Témata: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Science & Technology, Artificial Intelligence (cs.AI), Computer Science, Theory & Methods, Computer Science - Artificial Intelligence, Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2502.09224
https://lirias.kuleuven.be/handle/20.500.12942/761538
https://doi.org/10.4204/eptcs.416.22

Proof Assistants for Teaching: a Survey

Autoři: Tran Minh, Frédéric Gonnord, Laure Narboux, Julien a další

Přispěvatelé: Tran Minh, Frédéric Gonnord, Laure Narboux, Julien a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 419:1-27

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [SHS.EDU] Humanities and Social Sciences/Education, Computer Science - Human-Computer Interaction, [INFO] Computer Science [cs], Logic in Computer Science (cs.LO), Human-Computer Interaction (cs.HC)

Přístupová URL adresa: http://arxiv.org/abs/2505.13472
https://hal.science/hal-04705596v1

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios

Autoři: Wang, Ruolin Xu, Yuejiao Ji, Jianmin

Zdroj: Proceedings of the AAAI Conference on Artificial Intelligence. 39:15195-15202

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 11. Sustainability, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2405.13715

Quantum field theory and coalgebraic logic in theoretical computer science

Autoři: CAPOLUPO, Antonio VITIELLO, Giuseppe Basti, Gianfranco

Zdroj: Progress in Biophysics and Molecular Biology. 130:39-52

Témata: FOS: Computer and information sciences, Quantum field theory, coalgebraic logic, theoretical computer science, Quantum Physics, Computer Science - Logic in Computer Science, Computers, Logic, Temperature, FOS: Physical sciences, Mathematical Physics (math-ph), Models, Theoretical, 01 natural sciences, Logic in Computer Science (cs.LO), 0103 physical sciences, Quantum Theory, Quantum Physics (quant-ph), Mathematical Physics

Přístupová URL adresa: http://arxiv.org/pdf/1701.00527
https://pubmed.ncbi.nlm.nih.gov/28479315
http://arxiv.org/abs/1701.00527
https://arxiv.org/abs/1701.00527
https://dblp.uni-trier.de/db/journals/corr/corr1701.html#BastiCV17
https://www.ncbi.nlm.nih.gov/pubmed/28479315
https://www.iris.unisa.it/handle/11386/4688521
http://www.sciencedirect.com/science/article/pii/S0079610716301791
https://core.ac.uk/display/85257522

Existential Notation3 Logic

Autoři: DÖRTHE ARNDT STEPHAN MENNICKE

Zdroj: Theory and Practice of Logic Programming. 25:304-339

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2308.07332

Revisiting Assumptions Ordering in CAR-Based Model Checking

Autoři: Yibo Dong Yu Chen Jianwen Li a další

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2411.00026