Robert Schrag  Home/Search
Context Related
| iet.com/users/schrag/pubs...qlpaper.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iet.com/users/schrag/mypapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a new mathematical engine for reasoning with abstraction to support engineering design. The new Quantity Lattice (ql) will be built on the foundation of the existing Quantity Lattice by Reid Simmons [ Simmons, 1986 ] , the Bounder inequality reasoner by Elisha Sacks [ Sacks, 1987b ] , and the Minima hybrid real/sign algebra by Brian Williams [ Williams, 1991 ] . The new ql supports representation and manipulation of evolving designs that involve abstraction at any of several levels, ... (Update)
Similar documents based on text: More All
0.3: Program Refinement Tool, Release 1.03c, Technical Manual - Wildman, Wabenhorst (1998) (Correct)
0.3: Chattering in SARSA(lambda) - A CMU Learning Lab Internal Report - Gordon (1996) (Correct)
0.2: Sharply Bounded Alternation and Quasilinear Time - Bloch, Buss, Goldsmith (1997) (Correct)
BibTeX entry: (Update)
Schrag, Robert 1992. The Quantity Lattice for engineering design. In Working Notes of the Design from Physical Principles Symposium. AAAI Press. 68--72. http://citeseer.ist.psu.edu/schrag94quantity.html More
@misc{ robert92quantity,
author = "S. Robert",
title = "The Quantity Lattice for engineering design",
text = "Schrag, Robert 1992. The Quantity Lattice for engineering design. In Working
Notes of the Design from Physical Principles Symposium. AAAI Press. 68--72.",
year = "1992",
url = "citeseer.ist.psu.edu/schrag94quantity.html" }
Citations (may not include all citations):561 Constraint logic programming (context) - Joxan, Jean-Louis - 1984
334 A truth maintenance system (context) - Jon - 1979
204 Methods and Applications of Interval Analysis (context) - Ramon - 1979
185 The complexity of some polynomial network consistency algori.. (context) - Alan, Eugene - 1985
106 Temporal data base management (context) - Thomas, Drew - 1987
85 The second naive physics manifesto (context) - Patrick - 1985
20 A theory of interactions: Unifying qualitative and quantitat.. (context) - Brian - 1991
14 Qualitative Reasoning about Physical Systems (context) - Daniel, Johan - 1990
8 Hierarchical reasoning about inequalities (context) - Elisha
7 Commonsense (context) - Reid - 1986
4 Hierarchical inequality reasoning (context) - Elisha
3 fi-tmm manual (context) - Robert, Jim et al. - 1992
1 Interval arithmetic methods for nonlinear systems and nonlin.. (context) - Kearfott - 1989
Documents on the same site (http://www.iet.com/users/schrag/my-papers.html): More
Abstraction and the CSP Phase Transition Boundary - Schrag, Miranker (1996) (Correct)
Compilation for Critically Constrained Knowledge Bases - Schrag, Miranker (1996) (Correct)
Abstraction and the CSP Phase Transition Boundary - Schrag, Miranker (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC