大模型推理能力

A Knowledge-Enhanced Pretraining Model for Commonsense Story Generation

Jian Guan, Fei Huang, Zhihao Zhao, Xiaoyan Zhu, Minlie Huang

专题命中 逻辑推理 ：planning(abstract)；分类 cs.CL

Comments Accept at Transactions of the Association for Computational Linguistics 2020

An Introduction to Symbolic Artificial Intelligence Applied to Multimedia

Guilherme Lima, Rodrigo Costa, Marcio Ferreira Moreno

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach

Beishui Liao, Michael Anderson, Susan Leigh Anderson

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 24 pages, 6 figures, submitted to JASSS

Artificial Intelligence: Powering Human Exploration of the Moon and Mars

Jeremy D. Frank

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Presented at AAAI FSS-19: Artificial Intelligence in Government and Public Sector, Arlington, Virginia, USA

Theory and Experiments on Vector Quantized Autoencoders

Aurko Roy, Ashish Vaswani, Arvind Neelakantan, Niki Parmar

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

Strength Factors: An Uncertainty System for a Quantified Modal Logic

Naveen Sundar Govindarajulu, Selmer Bringsjord

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Presented on August 20, 2017 at the Logical Foundations for Uncertainty and Machine Learning Workshop @ IJCAI 2017 in Melbourne, Australia

On the Conditional Logic of Simulation Models

Duligur Ibeling, Thomas Icard

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments IJCAI 2018

How an Electrical Engineer Became an Artificial Intelligence Researcher, a Multiphase Active Contours Analysis

Kush R. Varshney

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

RelNN: A Deep Neural Model for Relational Learning

Seyed Mehran Kazemi, David Poole

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

Comments 9 pages, 8 figures, accepted at AAAI-2018

An Epistemic Foundation for Authentication Logics (Extended Abstract)

Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings TARK 2017, arXiv:1707.08250

Journal ref EPTCS 251, 2017, pp. 306-323

A Spatio-Temporal Representation for the Orienteering Problem with Time-Varying Profits

Zhibei Ma, Kai Yin, Lantao Liu, Gaurav S. Sukhatme

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Modal Logics of Topological Relations

Carsten Lutz, Frank Wolter

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref Logical Methods in Computer Science, Volume 2, Issue 2 (June 22, 2006) lmcs:2253

Beyond knowing that: a new generation of epistemic logics

Yanjing Wang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 36 pages, to appear in Jaakko Hintikka on knowledge and game theoretical semantics, Springer's Outstanding Contributions to Logic Series (some references are updated in this version)

Gated End-to-End Memory Networks

Julien Perez, Fei Liu

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments 9 pages, 3 figures, 3 tables

Extended Graded Modalities in Strategy Logic

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings SR 2016, arXiv:1607.02694

Journal ref EPTCS 218, 2016, pp. 1-14

A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Comments Full version of "A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs" AAAI 2016

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

Max Wisniewski, Alexander Steen, Christoph Benzmüller

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 6 pages, to appear in the proceedings of CICM'2015 conference

Logics of Temporal-Epistemic Actions

Bryan Renne, Joshua Sack, Audrey Yap

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Towards a Logic-Based Unifying Framework for Computing

Robert Kowalski, Fariba Sadri

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments An improved version of this paper will be published in the journal, New Generation Computing, with the title "Reactive Computing as Model Generation". In the meanwhile, a copy of the revised paper can be found on http://www.doc.ic.ac.uk/~rak/

Backdoors to Tractable Answer-Set Programming

Johannes Klaus Fichte, Stefan Szeider

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments This paper extends and updates papers that appeared in the proceedings of IJCAI'11 (arXiv:1104.2788) and ESSLLI'11 (arXiv:1205.3663). We provide a higher detail level, full proofs and more examples; present new results on preprocessing, a general method to lift parameters from normal programs to disjunctive programs, and a theoretical comparison of ASP-parameters; and provide some empirical data

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

Francesco Belardinelli, Alessio Lomuscio

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 45, pages 1-45, 2012

Computational Logic Foundations of KGP Agents

Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 33, pages 285-348, 2008

Towards a General-Purpose Belief Maintenance System

Brian Falkenhainer

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (UAI1986)

The Relationship between Knowledge, Belief and Certainty

Joseph Y. Halpern

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Time, Chance, and Action

Peter Haddawy

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Symbolic Decision Theory and Autonomous Systems

John Fox, Paul J. Krause

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI1991)

Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?"

Thomas Schiex

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (UAI1992)

Nonparametric Bayesian Logic

Peter Carbonetto, Jacek Kisynski, Nando de Freitas, David L Poole

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Breaking Instance-Independent Symmetries In Exact Graph Coloring

F. A. Aloul, I. L. Markov, A. Ramani, K. A. Sakallah

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 26, pages 289-322, 2006

Limits of Preprocessing

Stefan Szeider

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments This is a slightly longer version of a paper that appeared in the proceedings of AAAI 2011