The qualitative process engine: A study in assumption-based truth maintenance (1987)

Cached

Download Links

by Kenneth D Forbus
Venue:In Qualitative Reasoning Workshop Abstracts. Qualitative Reasoning Group, University of Illinois at Urbana-Champaign
Citations:4 - 0 self

Active Bibliography

955 Constraint Networks – Rina Dechter - 1992
380 RACER system description РVolker Haarslev, Ralf M̦ller - 2001
365 GRASP - A New Search Algorithm for Satisfiability – Joso L Marques Silva - 1996
362 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
216 Compositional Modeling: Finding the Right Model for the Job – Brian Falkenhainer, Kennethd Forbus - 1991
212 Possibilistic logic: . . . – Didier Dubois, Henri Prade - 2003
196 SATO: An Efficient Propositional Prover – H Zhang - 1997
189 Toward reference models for requirements traceability – Bala Ramesh, Matthias Jarke
182 What Are Plans for? – Philip E. Agre, David Chapman - 1989