Agenda control for heterogeneous reasoners

DOI10.1016/j.jlap.2003.07.001zbMath1101.68450OpenAlexW2085979351MaRDI QIDQ1764797

Apollo Hogan, Reinhard Stolle, Elizabeth Bradley

Publication date: 22 February 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2003.07.001

zbMATH Keywords

logic programming systemSLD inference engines

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Maple
• Prodigy
• UCPOP

Cites Work

• Ordering conjunctive queries
• Negation and control in PROLOG
• Global solutions for nonlinear systems using qualitative reasoning
• Automatic construction of accurate models of physical systems
• The use of a strategy language for solving search problems
• Annotated reasoning
• Using temporal logics to express search control knowledge for planning
• Knowledge-based proof planning
• Negation as inconsistency. I
• Clausal intuitionistic logic I. fixed-point semantics
• Clausal intuitionistic logic II. tableau proof procedures
• Logic continuations
• Ωmega: Towards a mathematical assistant
• An efficient context-free parsing algorithm
• Reasoning about nonlinear system identification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Agenda control for heterogeneous reasoners