Knowledge & Reasoning

Automated Planning for Generating and Simulating Traffic Signal Strategies IJCAI 2023 Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023 Automated Verification of Social Laws in Numeric Settings AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023 Back to the Future: Toward a Hybrid Architecture for Ad Hoc Teamwork AAAI 2023 Beneath Surface Similarity: Large Language Models Make Reasonable Scientific Analogies after Structure Abduction EMNLP 2023 BertNet: Harvesting Knowledge Graphs with Arbitrary Relations from Pretrained Language Models ACL 2023 Best of Both Worlds: Towards Improving Temporal Knowledge Base Question Answering via Targeted Fact Extraction EMNLP 2023 Better Together: Enhancing Generative Knowledge Graph Completion with Language Models and Neighborhood Information EMNLP 2023 Beyond the Markov Equivalence Class: Extending Causal Discovery under Latent Confounding CLeaR 2023 Bipolar Abstract Dialectical Frameworks Are Covered by Kleene’s Three-valued Logic IJCAI 2023 BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information NeurIPS 2023 Bounding the Family-Wise Error Rate in Local Causal Discovery Using Rademacher Averages (Extended Abstract) IJCAI 2023 Brauer’s Group Equivariant Neural Networks ICML 2023 Bridging the Gap Between BabelNet and HowNet: Unsupervised Sense Alignment and Sememe Prediction EACL 2023 Building Neural Networks on Matrix Manifolds: A Gyrovector Space Approach ICML 2023 Can ChatGPT Perform Reasoning Using the IRAC Method in Analyzing Legal Scenarios Like a Lawyer? EMNLP 2023 Can ChatGPT Understand Causal Language in Science Claims? ACL 2023 Can Large Language Models Reason about Program Invariants? ICML 2023 Can Retriever-Augmented Language Models Reason? The Blame Game Between the Retriever and the Language Model EMNLP 2023 CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering EMNLP 2023 CASE: Aligning Coarse-to-Fine Cognition and Affection for Empathetic Response Generation ACL 2023 CAT: A Contextualized Conceptualization and Instantiation Framework for Commonsense Reasoning ACL 2023 Causal Bounds in Quasi-Markovian Graphs ICML 2023