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

Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017
Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017
Differentiable Learning of Logical Rules for Knowledge Base Reasoning NIPS 2017
End-to-end Differentiable Proving NIPS 2017
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains IJCAI 2017
A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017
Joint Inference for Mode Identification in Tutorial Dialogues COLING 2016
New Liftable Classes for First-Order Probabilistic Inference NIPS 2016
Lifted MAP Inference for Markov Logic Networks AISTATS 2014
New Rules for Domain Independent Lifted MAP Inference NIPS 2014
Scaling-up Importance Sampling for Markov Logic Networks NIPS 2014
Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models ICML 2014
First-order Decomposition Trees NIPS 2013
On Lifting the Gibbs Sampling Algorithm NIPS 2012
An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NIPS 2011
Lifted Inference Seen from the Other Side : The Tractable Features NIPS 2010
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming JMLR 2008
Using matrices to model symbolic relationship NIPS 2008
Learning Horn Expressions with LOGAN-H JMLR 2007
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting JMLR 2006