Controlling recursive inference

DOI10.1016/0004-3702(86)90003-2zbMath0635.68104MaRDI QIDQ1097714

David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg

Publication date: 1986

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(86)90003-2

zbMATH Keywords

database; reasoning; recursive inference

Mathematics Subject Classification ID

68T99: Artificial intelligence

68P20: Information storage and retrieval of data

Related Items

Loop checks for logic programs with functions, On the existence of nonterminating queries for a restricted class of PROLOG-clauses, Acquiring search-control knowledge via static analysis, Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques, Controlling backward inference, An analysis of loop checking mechanisms for logic programs, Generalizing completeness results for loop checks in logic programming, Most specific logic programs, Default reasoning by deductive planning, Satisfiability of the smallest binary program

Cites Work

• On recursive axioms in deductive databases
• Controlling backward inference
• Data independent recursion in deductive databases
• Implementation of logical query languages for databases
• On compiling queries in recursive first-order databases
• Deleting Repeated Goals in the Problem Reduction Format
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item