大模型推理能力 - arXivDaily 专题

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. 逻辑推理 3056 篇

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