scientific article; zbMATH DE number 1759716

zbMATH Open0989.68525MaRDI QIDQ4536729FDOQ4536729

Authors: Eyal Amir, Sheila A. McIlraith 

Publication date: 6 August 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Generalised graded interpolation
• Title not available (Why is that?)
• Approximation algorithms for treewidth
• Partition-based logical reasoning for first-order and propositional theories

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)