Logic in Computer Science

Authors and titles for recent submissions

[ total of 18 entries: 1-5 | 6-10 | 11-15 | 16-18 ]
[ showing 5 entries per page: fewer | more | all ]

[1] arXiv:2404.12229 [pdf, other]: Title: A minimal base or a direct base? That is the question!

Authors: Jaume Baixeries, Amedeo Napoli

Subjects: Logic in Computer Science (cs.LO)
[2] arXiv:2404.12048 [pdf, other]: Title: Symbolic Computation for All the Fun

Authors: Chad E. Brown, Mikoláš Janota, Mirek Olšák

Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:2404.11841 [pdf, ps, other]: Title: On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$

Authors: Lijie Chen, Jiatu Li, Igor C. Oliveira

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[4] arXiv:2404.12035 (cross-list from cs.SE) [pdf, ps, other]: Title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned

Authors: Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[5] arXiv:2404.11744 (cross-list from cs.AI) [pdf, other]: Title: Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology

Authors: Luca Buoncompagni, Fulvio Mastrogiovanni

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[ total of 18 entries: 1-5 | 6-10 | 11-15 | 16-18 ]
[ showing 5 entries per page: fewer | more | all ]