-
1تقرير
-
2
-
3تقرير
-
4تقرير
المؤلفون: Steen, Alexander, Fuenmayor, David
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T01 68T27 68T30 03B16 03B35 03B70, I.2.3, F.4.1, I.2.4
URL الوصول: http://arxiv.org/abs/2110.09174
-
5تقرير
-
6تقريرHigher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
المؤلفون: Fuenmayor, David, Benzmüller, Christoph
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 03B60, 03B15, 68T27, 68T30, 68T15, I.2.3, I.2.4, I.2.0, F.4
URL الوصول: http://arxiv.org/abs/2007.01019
-
7تقرير
-
8
-
9تقرير
المؤلفون: Benzmüller, Christoph, Fuenmayor, David
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Mathematics - General Topology, 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
URL الوصول: http://arxiv.org/abs/1910.08955
-
10تقرير
المؤلفون: Fuenmayor, David, Benzmüller, Christoph
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Logic in Computer Science, 03B60, 03B15, 68T27, 68T30, 68T15, I.2.3, I.2.4, I.2.0, F.4
URL الوصول: http://arxiv.org/abs/1906.06582