conftrace_
← Representation
Knowledge & Reasoning › Representation ›

Knowledge Representation

363 papers

Papers per year

1
2
40
43
'10
'15
'20
'25

Papers

FACT: Learning Governing Abstractions Behind Integer Sequences NIPS 2022
Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients AAAI 2022
Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022
Expressivity of Planning with Horn Description Logic Ontologies AAAI 2022
Monotone Abstractions in Ontology-Based Data Management AAAI 2022
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation AAAI 2022
ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022
Compilation of Aggregates in ASP Systems AAAI 2022
Knowledge Compilation Meets Logical Separability AAAI 2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics AAAI 2022
Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations AAAI 2022
BiRdQA: A Bilingual Dataset for Question Answering on Tricky Riddles AAAI 2022
Commonsense Knowledge Reasoning and Generation with Pre-trained Language Models: A Survey AAAI 2022
Modeling Abstract Algebra as an OWL Ontology (Student Abstract) AAAI 2022
BigCQ: Generating a Synthetic Set of Competency Questions Formalized into SPARQL-OWL (Student Abstract) AAAI 2022
TaxFree: a Visualization Tool for Candidate-free Taxonomy Enrichment AACL 2022
Knowledge Enhanced Reflection Generation for Counseling Dialogues ACL 2022
Language Diversity: Visible to Humans, Exploitable by Machines ACL 2022
Knowledge-Augmented Methods for Natural Language Processing ACL 2022
Going “Deeper”: Structured Sememe Prediction via Transformer with Tree Attention ACL 2022
Metadata Shaping: A Simple Approach for Knowledge-Enhanced Language Models ACL 2022