scientific article; zbMATH DE number 1759716

MaRDI QIDQ4536729zbMATH OpenFDO

Authors Eyal Amir, Sheila A. McIlraith

Publication date 6 August 2002

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Speeding up inferences using relevance reasoning: a formalism and algorithms
• Exploiting structure in quantified formulas
• scientific article; zbMATH DE number 794241
• Reasoning and revision in hybrid representation systems
• Logic based structure rewriting systems
• Replacing unification by constraint satisfaction to improve logic program expressiveness

Cited in

(4)

• Approximation algorithms for treewidth
• Partition-based logical reasoning for first-order and propositional theories
• Generalised graded interpolation
• scientific article; zbMATH DE number 139764 (Why is no real title available?)

Describes a project that uses

Uses Software

• BREAKUP

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536729)