logic and databases PDQ Querying Distributed Data Sources Under Access and Database Constraints reasoning Trigger Graphs Reasoning Over Billions of Triples Under Datalog Lineage Trigger Graphs Probabilistic Reasoning Under the Possible World Semantics Python Reasoning API API for Accessing (Lineage) Trigger Graphs from Python ChaseBench Benchmarking Reasoning Engines and Theorem Provers vProbLog Probabilistic Reasoning Under the Possible World Semantics query answering over knowledge bases ChaseGoal Query Answering Over Knowledge Graphs Using First-Order Theories SO-QA Query Answering Over Knowledge Graphs Using Second-Order Theories neurosymbolic learning Concordia Teacher-Student Neurosymbolic Learning NGP Scene Graph Generation Using Background Knolwedge NeuroLog Compositional Neurosymbolic Integration rule mining PRISM Rule Mining Using Structural Motifs
