-
1Report
-
2Report
Authors: Gheorghiu, Alexander V., Buzoku, Yll
Subject Terms: Mathematics - Logic, Computer Science - Logic in Computer Science
Access URL: http://arxiv.org/abs/2503.05364
-
3
-
4Report
Authors: Barron, Ryan, Eren, Maksim E., Truong, Duc P., Matuszek, Cynthia, Wendelberger, James, Dorn, Mary F., Alexandrov, Boian
Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
Access URL: http://arxiv.org/abs/2503.04680
-
5Report
Authors: Mathew, Prince, Penelle, Vincent, Sreejith, A. V.
Subject Terms: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, F.3.1, F.4.3
Access URL: http://arxiv.org/abs/2503.04525
-
6Report
-
7Report
-
8
-
9
-
10Report
Subject Terms: Computer Science - Logic in Computer Science
Access URL: http://arxiv.org/abs/2503.02975
-
11Report
Authors: Meng, Yue, fan, Chuchu
Source: IEEE Robotics and Automation Letters, vol. 9, no. 10, pp. 8354-8361, Oct. 2024
Subject Terms: Computer Science - Robotics, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science
Access URL: http://arxiv.org/abs/2503.02924
-
12Report
Authors: Zilberstein, Noam, Gorla, Daniele, Silva, Alexandra
Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science
Access URL: http://arxiv.org/abs/2503.02768
-
13
-
14Report
Authors: Hosseini, Mehran, Lomuscio, Alessio, Paoletti, Nicola
Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Multiagent Systems, Computer Science - Symbolic Computation, 68Q60 (Primary) 68T27, 68T07, 68T37, 68T40, 68T42 (Secondary), D.2.4, F.3.1, I.2.4, I.2.11, I.2.8, F.4.1, I.2.2, I.2.3
Access URL: http://arxiv.org/abs/2503.02512
-
15Report
Authors: Stein, Dario
Subject Terms: Mathematics - Category Theory, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Probability, F.4.1, G.3
Access URL: http://arxiv.org/abs/2503.02477
-
16
-
17Report
Subject Terms: Computer Science - Logic in Computer Science
Access URL: http://arxiv.org/abs/2503.01627
-
18Report
Authors: Sebastiani, Roberto
Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
Access URL: http://arxiv.org/abs/2503.01536
-
19Report
Authors: Gauthier, Thibault, Urban, Josef
Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Neural and Evolutionary Computing, Computer Science - Symbolic Computation
Access URL: http://arxiv.org/abs/2503.01389
-
20Report