大模型推理能力 - arXivDaily 专题

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

1903.07752 2019-03-20 math.OC 50%

Incentive Design for Temporal Logic Objectives

Yagiz Savas, Vijay Gupta, Melkior Ornik, Lillian J. Ratliff, Ufuk Topcu

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

Comments 9 pages, 2 figures

1804.01106 2019-01-30 quant-ph cs.LO 50%

Inadequacy of Modal Logic in Quantum Settings

Nuriya Nurgalieva, Lídia del Rio

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

Comments In Proceedings QPL 2018, arXiv:1901.09476

Journal ref EPTCS 287, 2019, pp. 267-297

1409.2193 2018-07-13 cs.LO 50%

An Epistemic Strategy Logic

Xiaowei Huang, Ron van der Meyden

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

1802.02673 2018-02-21 cs.GR 50%

Position-Based Multi-Agent Dynamics for Real-Time Crowd Simulation (MiG paper)

Tomer Weiss, Alan Litteneker, Chenfanfu Jiang, Demetri Terzopoulos

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

Comments 9 pages

Journal ref MIG 2017 Proceedings of the Tenth International Conference on Motion in Games

1708.05849 2017-08-22 cs.LO 50%

Dependences in Strategy Logic

Patrick Gardy, Patricia Bouyer, Nicolas Markey

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

1707.08756 2017-07-28 cs.LO 50%

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

Ron van der Meyden

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

Comments In Proceedings TARK 2017, arXiv:1707.08250

Journal ref EPTCS 251, 2017, pp. 398-414

1707.08744 2017-07-28 cs.LO 50%

Conditional Belief, Knowledge and Probability

Jan van Eijck, Kai Li

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

Comments In Proceedings TARK 2017, arXiv:1707.08250

Journal ref EPTCS 251, 2017, pp. 188-206

1504.07737 2015-05-11 cs.LO 50%

A Simple Probabilistic Extension of Modal Mu-calculus

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang

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

1202.1309 2015-03-19 cs.LO math.LO 50%

A Decidable Fragment of Strategy Logic

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

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

Comments arXiv admin note: text overlap with arXiv:1112.6275

1410.4439 2014-10-17 cs.LO cs.PL 50%

Principles for Verification Tools: Separation Logic

Brijesh Dongol, Victor B. F. Gomes, Georg Struth

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

1312.3372 2013-12-13 cs.LO 50%

On resources and tasks

Giorgi Japaridze

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

1310.6440 2013-10-28 cs.LO cs.SI 50%

Facebook and the Epistemic Logic of Friendship

Jeremy Seligman, Fenrong Liu, Patrick Girard

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

Comments 10 pages, Poster presentation at TARK 2013 (arXiv:1310.6382) http://www.tark.org

1310.6437 2013-10-28 cs.GT cs.LO 50%

PDL as a Multi-Agent Strategy Logic

Jan van Eijck

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

Comments 10 pages, Poster presentation at TARK 2013 (arXiv:1310.6382) http://www.tark.org

1207.1271 2012-07-06 cs.LO cs.CR cs.MA quant-ph 50%

Automated Verification of Quantum Protocols using MCMAS

F. Belardinelli, P. Gonzalez, A. Lomuscio

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

Comments In Proceedings QAPL 2012, arXiv:1207.0559

Journal ref EPTCS 85, 2012, pp. 48-62

1. 逻辑推理 3027 篇

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

Incentive Design for Temporal Logic Objectives

Inadequacy of Modal Logic in Quantum Settings

An Epistemic Strategy Logic

Position-Based Multi-Agent Dynamics for Real-Time Crowd Simulation (MiG paper)

Dependences in Strategy Logic

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

Conditional Belief, Knowledge and Probability

A Simple Probabilistic Extension of Modal Mu-calculus

A Decidable Fragment of Strategy Logic

Principles for Verification Tools: Separation Logic

On resources and tasks

Facebook and the Epistemic Logic of Friendship

PDL as a Multi-Agent Strategy Logic

Automated Verification of Quantum Protocols using MCMAS