大模型推理能力

Human Values in Multiagent Systems

Nardine Osman, Mark d'Inverno

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

"Get ready for a party": Exploring smarter smart spaces with help from large language models

Evan King, Haoxiang Yu, Sangsu Lee, Christine Julien

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.AI

Comments 7 pages, 4 figures

An Abstract View on Optimizations in Propositional Frameworks

Yuliya Lierler

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Bootstrapping Concept Formation in Small Neural Networks

Minija Tamosiunaite, Tomas Kulvicius, Florentin Wörgötter

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Journal ref IEEE Transactions on Cognitive and Developmental Systems, 2022

Online Handbook of Argumentation for AI: Volume 3

Lars Bengel, Elfia Bezou-Vrakatseli, Lydia Blümel, Federico Castagna, Giulia D'Agostino, Daphne Odekerken, Minal Suresh Patil, Jordan Robinson, Hao Wu, Andreas Xydis

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Formal Specifications from Natural Language

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.LG

From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems

Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni, Pavel Naumov, Timothy J. Norman, Sarvapali D. Ramchurn, Bahar Rastegari, Adam Sobey, Sebastian Stein, Danesh Tarpore, Vahid Yazdanpanah, Jie Zhang

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments Appears in the Special Issue on Multi-Agent Systems Research in the United Kingdom

Journal ref AI Communications, vol. 35, no. 4, pp. 443-457, 2022

Type theory in human-like learning and inference

Felix A. Sosa, Tomer Ullman

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 5 pages, 0 figures, accepted into Beyond Bayes ICML '22

Autonomous Intelligent Software Development

Mark Alan Matties

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 7 pages, 6 figures; This paper is a pre-print version submitted elsewhere for publication and may be removed without notice

Cooperative Reinforcement Learning on Traffic Signal Control

Chi-Chun Chao, Jun-Wei Hsieh, Bor-Shiun Wang

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.AI

Automated Kantian Ethics: A Faithful Implementation

Lavanya Singh

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 20 pages, 8 figures, to appear in KI: 45th German Conference on Artificial Intelligence

A Novel Multi-Agent Scheduling Mechanism for Adaptation of Production Plans in Case of Supply Chain Disruptions

Jing Tan, Lars Braubach, Kai Jander, Rongjun Xu, Kai Chen

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.AI

Towards General Natural Language Understanding with Probabilistic Worldbuilding

Abulhair Saparov, Tom M. Mitchell

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

Comments Accepted to TACL; pre-MIT Press publication version

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

Yichen David Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.AI

Journal ref NeurIPS 2021

An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts

Rui Zhao

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments Accepted to IJCAI 2021 DC

Online Handbook of Argumentation for AI: Volume 2

OHAAI Collaboration, Andreas Brannstrom, Federico Castagna, Theo Duchatelle, Matt Foulis, Timotheus Kampik, Isabelle Kuhlmann, Lars Malmqvist, Mariela Morveli-Espinoza, Jack Mumford, Stipe Pandzic, Robin Schaefer, Luke Thorburn, Andreas Xydis, Antonio Yuste-Ginel, Heng Zheng

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

A principled analysis of Behavior Trees and their generalisations

Oliver Biggar, Mohammad Zamani, Iman Shames

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 13 pages, 11 figures. The content of the previous version is now split between this and arXiv:2104.07919, which have both been significantly updated

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

Colin Shea-Blymyer, Houssam Abbas

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments To be published in ACT Transactions on Cyber-Physical Systems Special Issue on Artificial Intelligence and Cyber-Physical Systems. arXiv admin note: text overlap with arXiv:2009.00738

Evidential Cyber Threat Hunting

Frederico Araujo, Dhilung Kirat, Xiaokui Shu, Teryl Taylor, Jiyong Jang

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 5 pages, SDM AI4CS 2021

Journal ref In Proceedings of the 2021 SIAM AI/ML for Cybersecurity Workshop (AI4CS)

Artificial Intelligence: A Child's Play

Ravi Kashyap

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Journal ref Technological Forecasting and Social Change, 166, May 2021, 120555

Theory of Mind for Deep Reinforcement Learning in Hanabi

Andrew Fuchs, Michael Walton, Theresa Chadwick, Doug Lange

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Program Synthesis with Pragmatic Communication

Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments The second author and the third author contributed equally to this work

Formal Fields: A Framework to Automate Code Generation Across Domains

Jacques Basaldúa

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Online Handbook of Argumentation for AI: Volume 1

OHAAI Collaboration, Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi, Mickaël Lafages, Jack Mumford, Christos T. Rodosthenous, Samy Sá, Stefan Sarkadi, Joseph Singleton, Kenneth Skiba, Andreas Xydis

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments editor: Federico Castagna and Francesca Mosca and Jack Mumford and Stefan Sarkadi and Andreas Xydis

Machine Common Sense

Alexander Gavrilenko, Katerina Morozova

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems

Elijah Malaby, Bradley Dragun, John Licato

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Journal ref In Proceedings of The 2020 International Florida Artificial Intelligence Research Society Conference (FLAIRS-33)

JS-son -- A Lean, Extensible JavaScript Agent Programming Library

Timotheus Kampik, Juan Carlos Nieves

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments Accepted for the post-proceedings of EMAS 2019

Towards A Logical Account of Epistemic Causality

Shakil M. Khan, Mikhail Soutchanski

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings CREST 2019, arXiv:1910.13641

Journal ref EPTCS 308, 2019, pp. 1-16

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems

Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.LG

Comments Tool available at https://github.com/dependable-ai/nn-dependability-kit

Efficiently Checking Actual Causality with SAT Solving

Amjad Ibrahim, Simon Rehwald, Alexander Pretschner

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 18 pages, In: Dependable Software Systems Engineering, p. to appear (2019)