大模型推理能力 - arXivDaily 专题

2112.13621 2023-06-19 cs.MA cs.LO 50%

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

Angelo Ferrando, Vadim Malvone

专题命中逻辑推理：reasoning(abstract)

2301.09904 2023-05-31 math.LO cs.LO 50%

Dynamic Tangled Derivative Logic of Metric Spaces

David Fernández-Duque, Yoàv Montacute

专题命中逻辑推理：reasoning(abstract)

Comments arXiv admin note: text overlap with arXiv:2107.10349

2305.08607 2023-05-16 cs.LO math.LO 50%

Depth-bounded epistemic logic

Farid Arthaud, Martin Rinard

专题命中逻辑推理：reasoning(abstract)

Comments 25 pages, 1 figure. To be published in TARK 2023 proceedings

2304.02195 2023-04-06 cs.SE 50%

Explainable Automated Debugging via Large Language Model-driven Scientific Debugging

Sungmin Kang, Bei Chen, Shin Yoo, Jian-Guang Lou

专题命中逻辑推理：reasoning(abstract)

2304.01649 2023-04-05 eess.SY cs.SY 50%

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology

Danilo Saccani, Lorenzo Fagiano, Melanie N. Zeilinger, Andrea Carron

专题命中逻辑推理：planning(abstract)

1405.3608 2023-02-14 cs.LO 50%

On cascade products of answer set programs

Christian Antić

专题命中逻辑推理：reasoning(abstract)

Comments Appears in Theory and Practice of Logic Programming

2207.09711 2022-07-21 cs.MA 50%

Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents

Andrea Gatti, Viviana Mascardi

专题命中逻辑推理：reasoning(abstract)

Comments In Proceedings AREA 2022, arXiv:2207.09058

Journal ref EPTCS 362, 2022, pp. 65-80

2204.03196 2022-07-14 cs.RO 50%

A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies

Duo Xu, Faramarz Fekri

专题命中逻辑推理：planning(abstract)

Comments Accepted at IJCNN 2022 (Oral)

2206.03109 2022-06-08 cs.LO math.LO 50%

Relevant Reasoners in a Classical World

Igor Sedlár, Pietro Vigiani

专题命中逻辑推理：reasoning(abstract)

Comments To appear in Advances in Modal Logic 2022

2205.13903 2022-05-30 math.LO cs.LO 50%

Subordination Algebras as Semantic Environment of Input/Output Logic

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

专题命中逻辑推理：reasoning(abstract)

2205.00876 2022-05-03 cs.LO 50%

On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Côme Neyrand, Sophie Pinchinat

专题命中逻辑推理：planning(abstract)

2203.15076 2022-03-30 cs.CV 50%

Neurosymbolic hybrid approach to driver collision warning

Kyongsik Yun, Thomas Lu, Alexander Huyen, Patrick Hammer, Pei Wang

专题命中逻辑推理：reasoning(abstract)

Comments SPIE Defense and Commercial Sensing 2022

2201.06312 2022-01-26 cs.LO 50%

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

专题命中逻辑推理：reasoning(abstract)

Comments Full version of a tool paper accepted for AAMAS2022

2110.00761 2021-10-05 cs.RO cs.SE 50%

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems

Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan

专题命中逻辑推理：planning(abstract)

2104.09835 2021-07-13 cs.NI cs.CY eess.SP 50%

WiFiMod: Transformer-based Indoor Human Mobility Modeling using Passive Sensing

Amee Trivedi, Kate Silverstein, Emma Strubell, Mohit Iyyer, Prashant Shenoy

专题命中逻辑推理：planning(abstract)

Comments 18 pages

2107.02380 2021-07-07 cs.CV 50%

Learning Disentangled Representation Implicitly via Transformer for Occluded Person Re-Identification

Mengxi Jia, Xinhua Cheng, Shijian Lu, Jian Zhang

专题命中逻辑推理：reasoning(abstract)

2106.05052 2021-06-10 cs.LO 50%

Choice Logics and Their Computational Properties

Michael Bernreiter, Jan Maly, Stefan Woltran

专题命中逻辑推理：reasoning(abstract)

Comments This is an extended version of a paper of the same name to be published at IJCAI 2021

2105.07343 2021-05-18 eess.SY cs.FL cs.RO cs.SY 50%

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

专题命中逻辑推理：planning(abstract)

Comments This conference paper has been submitted to the 60th IEEE Conference on Decision and Control (CDC 2021)

2105.04593 2021-05-12 cs.FL 50%

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

专题命中逻辑推理：planning(abstract)

Comments 7 pages, 2 figures, submitted to The 60th IEEE conference on Decision and Control

2010.15436 2021-02-18 cs.RO 50%

Affordance-Aware Handovers with Human Arm Mobility Constraints

Paola Ardón, Maria E. Cabrera, Èric Pairet, Ronald P. A. Petrick, Subramanian Ramamoorthy, Katrin S. Lohan, Maya Cakmak

专题命中逻辑推理：reasoning(abstract)

Comments Accepted for RA-L 2021

2010.10667 2021-02-09 cs.MA 50%

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

专题命中逻辑推理：reasoning(abstract)

2012.09539 2020-12-18 cs.LO 50%

Online Shielding for Stochastic Systems

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

专题命中逻辑推理：planning(abstract)

Comments 18 Pages, 6 Figures, under submission

2008.09860 2020-08-25 cs.CV 50%

Emergent symbolic language based deep medical image classification

Aritra Chowdhury, Alberto Santamaria-Pang, James R. Kubricht, Peter Tu

专题命中逻辑推理：reasoning(abstract)

2008.06250 2020-08-17 cs.CY 50%

Reasonable Machines: A Research Manifesto

Christoph Benzmüller, Bertram Lomfeld

专题命中逻辑推理：reasoning(abstract)

Comments 8 pages, 1 figure

Journal ref KI 2020, LNAI 12325, Springer Nature Switzerland,

2007.15726 2020-08-03 cs.GT 50%

Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives

Lening Li, Haoxiang Ma, Abhishek N. Kulkarni, Jie Fu

专题命中逻辑推理：planning(abstract)

Comments 11 pages, 4 figures, submitted to IEEE Transactions on Automation Science and Engineering

1801.03258 2020-02-05 math.OC 50%

Exploiting structure of chance constrained programs via submodularity

Damian Frick, Pier Giuseppe Sessa, Tony A. Wood, Maryam Kamgarpour

专题命中逻辑推理：planning(abstract)

Journal ref Automatica Volume 105, July 2019, Pages 89-95

1911.08446 2019-11-20 physics.pop-ph physics.app-ph 50%

The Future of Computing: Bits + Neurons + Qubits

Dario Gil, William M. J. Green

专题命中逻辑推理：reasoning(abstract)

Comments 30 pages, 20 figures. To be presented by Dario Gil at the Plenary Session of the 2020 International Solid-State Circuits Conference (ISSCC 2020, February 16-20, San Francisco, California)

1909.01741 2019-09-05 cs.MA 50%

Büchi automata for distributed temporal logic

Jaime Ramos

专题命中逻辑推理：reasoning(abstract)

1908.08634 2019-08-26 cs.MA cs.DC cs.LO 50%

Semantic Structures for Spatially-Distributed Multi-Agent Systems

Frank Valencia

专题命中逻辑推理：reasoning(abstract)

Comments In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213. This is an invited contribution to EXPRESS/SOS 2019 based on my invited talk

Journal ref EPTCS 300, 2019, pp. 39-53

1907.09098 2019-07-23 cs.LO 50%

Uncertainty About Evidence

Adam Bjorndahl, Aybüke Özgün

专题命中逻辑推理：reasoning(abstract)

Comments In Proceedings TARK 2019, arXiv:1907.08335

Journal ref EPTCS 297, 2019, pp. 68-81

1. 逻辑推理 3046 篇

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

Dynamic Tangled Derivative Logic of Metric Spaces

Depth-bounded epistemic logic

Explainable Automated Debugging via Large Language Model-driven Scientific Debugging

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology

On cascade products of answer set programs

Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents

A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies

Relevant Reasoners in a Classical World

Subordination Algebras as Semantic Environment of Input/Output Logic

On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Neurosymbolic hybrid approach to driver collision warning

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems

WiFiMod: Transformer-based Indoor Human Mobility Modeling using Passive Sensing

Learning Disentangled Representation Implicitly via Transformer for Occluded Person Re-Identification

Choice Logics and Their Computational Properties

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Affordance-Aware Handovers with Human Arm Mobility Constraints

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

Online Shielding for Stochastic Systems

Emergent symbolic language based deep medical image classification

Reasonable Machines: A Research Manifesto

Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives

Exploiting structure of chance constrained programs via submodularity

The Future of Computing: Bits + Neurons + Qubits

Büchi automata for distributed temporal logic

Semantic Structures for Spatially-Distributed Multi-Agent Systems

Uncertainty About Evidence