formal semantics

A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals IJCAI 2025 A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025 CDB: A Unified Framework for Hope Speech Detection Through Counterfactual, Desire and Belief NAACL 2025 Exploring Graph Representations of Logical Forms for Language Modeling ACL 2025 Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder CoNLL 2025 Emergent Representations of Program Semantics in Language Models Trained on Programs ICML 2024 Formal Semantic Controls over Language Models COLING 2024 Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024 Semantics for Non-Flat Assumption-Based Argumentation, Revisited IJCAI 2024 Adjective Scale Probe: Can Language Models Encode Formal Semantics Information? AAAI 2023 Limits for learning with language models ACL 2023 Shhh! The Logic of Clandestine Operations IJCAI 2023 Axiomatization of Aggregates in Answer Set Programming AAAI 2022 Compositional Semantics and Inference System for Temporal Order based on Japanese CCG ACL 2022 Formal Semantics and Formally Verified Validation for Temporal Planning AAAI 2022 Logical Inference for Counting on Semi-structured Tables ACL 2022 Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021 Adapting the Portuguese Braille System to Formal Semantics EACL 2021 Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity AAAI 2021 A Logic of Directions IJCAI 2020 Combining Event Semantics and Degree Semantics for Natural Language Inference COLING 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020 Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense AAAI 2020 Revisiting the Notion of Extension over Incomplete Abstract Argumentation Frameworks IJCAI 2020 Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019