- 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