PROSE
1. PROblem Solution Engineering. Numerical problems including differentiation
and integration. "Computing in Calculus", J. Thames, Research/Development 26(5)
(May 1975).
2. A constraints-and-sequencing system similar to Kaleidoscope. "Reflexive
Constraints for Dynamic Knowledge Bases", P. Berlandier et al in Proc First Intl
CS Conf '88: AI: Theory and Appls, Dec 1988.
Nearby terms:
propositional logic « Proposition of a Language
Useable for Structured Specifications « proprietary
« PROSE » ProSet » PROSPER » Prospero
|
