Searching for "An Assumption-Based TMS." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

Design And Implementation Of Multiple-Context Truth Maintenance System With Binary Decision Diagram
by Hiroshi G. Okuno, Osamu Shimokuni, Hidehiko Tanaka — 1996
… of Assumption-based TMS (ATMS), that accepts any type of justification has a burden to compute all prime…
Add To MetaCart

Camera-Ready Copy Formatting Specifications For Contributors
by These Notes Are
…. Springer Berlin Heidelberg New York, 1984 2. de Kleer J. An assumption-based TMS. Artificial Intelligence…
Add To MetaCart

On the relation between truth maintenance and autoepistemic logic
by Michael Reinfrank — 1989 — In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence
… an assumption-based TMS (deKleer, 1986a). 1.4 The Solution The key to a logical theory of truth maintenance now…
Cited by 6 (1 self) – Add To MetaCart

A First-Order Horn-Clause Abductive System And Its Use In Plan Recognition And Diagnosis
by Hwee Tou Ng, Raymond J. Mooney, Siddarth Subramanian, Brain Sciences, Robert W. Wilensky Underst, Robert W. Wilensky Planning — 1992
…. An assumption-based TMS. Artificial Intelligence, 28:127--162, 1986. [17] Johan de Kleer and Brian C. Williams…
Add To MetaCart

D.R.Bull, C.R.Burrows, K.A.Edge
by Fluid Power, D. R. Bull, C. R. Burrows, K. A. Edge Fluid, Power Centre — 1986 — nd International Conference on Qualitative Information, Fuzzy Techniques and Neural Networks in Simulation Budapest 1996 Carter 1986 Carter, A.D.S. Mechanical Reliability (2nd Edition) MacMillan
…. This paper will discuss how the Assumption based TMS can be adapted to deal with hydraulic systems. 2…
Add To MetaCart

Knowledge-based Configuration - Survey and Future Directions
by Andreas Günter, Christian Kühn, Dep Computer, Science Daimlerchrysler Ag — 1999 — in XPS-99: Knowledge Based Systems, Proceedings 5th Biannual German Conference on Knowledge Based Systems, ed., F. Puppe, Springer Lecture Notes in Artificial Intelligence 1570
… configuration and simulation • Truth maintenance systems (TMS) and assumption-based TMS • Description logics…
Cited by 10 (1 self) – Add To MetaCart

Structure-Driven Algorithms for Truth Maintenance
by unknown authors — 1994
…) [13, 20, 22] and the ATMS (Assumption-based TMS) [5]. Each design implements the main functionality…
Add To MetaCart

Extending and Implementing the Stable Model Semantics
by Patrik Simons, Ilkka Niemelä, Timo Soininen — 2002
…] and the assumption-based TMS of deKleer [11], see [19, 20, 48]. One of the rst algorithms that took advantage…
Cited by 184 (4 self) – Add To MetaCart

Causal Model Progressions as a Foundation for Intelligent Learning Environments
by Barbara White, John Frederiksen, Kenneth D. Forbus A, Peter B. Whalley B, John O. Everett C, Leo Ureel D, Mike Brokowski E, Julie Baher F, Sven E. Kuehne A — 1990
… in implementing assumption classes). The ability of an assumption-based TMS (ATMS) to provide rapid switching…
Cited by 42 (0 self) – Add To MetaCart

Do Computers Have Conscience? Implementing Artificial Morality
by Wilhelmiina Hämäläinen
…, which are believed, at the moment. In the Assumption-based TMS (ATMS) [5] several contexts can…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB