conftrace_

first-order logic

171 papers

Explore in graph

Also known as

FOL

Co-occurring keywords

logical reasoning (310) knowledge graph (1837) lifted inference (46) neural network (6616) inductive logic programming (64) large language model (13587) knowledge base (804) symbolic reasoning (189) markov logic network (36) knowledge representation (301)

Papers

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022
Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks AAAI 2022
Learning First-Order Rules with Differentiable Logic Program Semantics IJCAI 2022
Entropy-Based Logic Explanations of Neural Networks AAAI 2022
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022
Proving Theorems using Incremental Learning and Hindsight Experience Replay ICML 2022
Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics AAAI 2022
Learning Parameterized Task Structure for Generalization to Unseen Entities AAAI 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022
Query2Particles: Knowledge Graph Reasoning with Particle Embeddings NAACL 2022
Neural-based Mixture Probabilistic Query Embedding for Answering FOL queries on Knowledge Graphs EMNLP 2022
Neural-Symbolic Models for Logical Queries on Knowledge Graphs ICML 2022
Neuro-Symbolic Hierarchical Rule Induction ICML 2022
Enhancing and Evaluating the Grammatical Framework Approach to Logic-to-Text Generation EMNLP 2022
A Probabilistic Graphical Model Based on Neural-Symbolic Reasoning for Visual Relationship Detection CVPR 2022
Cross-lingual Short-text Entity Linking: Generating Features for Neuro-Symbolic Methods EMNLP 2022
Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning COLING 2022
Sentiment Interpretable Logic Tensor Network for Aspect-Term Sentiment Analysis COLING 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022
Lifted reasoning meets weighted model integration UAI 2021
Fast Algorithms for Relational Marginal Polytopes IJCAI 2021
Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract) IJCAI 2021
Learning Implicitly with Noisy Data in Linear Arithmetic IJCAI 2021
Judgment Prediction via Injecting Legal Knowledge into Neural Networks AAAI 2021