- Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning
2022/10/21 by Oyvind Tafjord, Bhavana Dalvi Mishra, Tafjord, Oyvind +3 · 4 citations
Computer Science · Psychology · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Artificial intelligence #Backward chaining #Baseline (sea) #Chaining #Computation and Language (cs.CL) #Computer science #Expert system #FOS: Computer and information sciences #Forward chaining #Information retrieval #Logical consequence #Natural Language Processing Techniques #Programming language #Psychology #Question answering #Set (abstract data type) #Topic Modeling
- On rules with existential variables: Walking the decidability line
2011/04/19 by Jean-François Baget, Michel Leclère, Marie-Laure Mugnier +2 · 21 citations
Computer Science · Mathematics · #Advanced Database Systems and Queries #Artificial intelligence #Backward chaining #Chaining #Class (philosophy) #Computer science #Decidability #Discrete mathematics #Expert system #Forward chaining #Logical consequence #Mathematics #Semantic Web and Ontologies #Theoretical computer science #Undecidable problem
- Ordered chaining calculi for first-order theories of transitive relations
1998/11/01 by Leo Bachmair, Harald Ganzinger · 2 citations
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Automated theorem proving #Backward chaining #Binary relation #Chaining #Combinatorics #Computer science #Context (archaeology) #Discrete mathematics #Forward chaining #Inference #Inference engine #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #Rewriting #Semantic Web and Ontologies #Theoretical computer science #Transitive relation