Knowledge-based inference methods for modeling technical systems

Proceedings of the Hawaii International Conference on System Sciences

Volumn 5, Issue , 1997, Pages 297-306

  Kamp, Gerd ^a   Neumann, Bernd ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

DESCRIPTION LOGICS;

INFERENCE ENGINES;

EID: 0031385334     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.663186     Document Type: Conference Paper

References (18)

1. F. Baader H. Biirckert B. Hollunder A. Laux W. Nutt Terminologische Logiken KI 3 23 33 1992
2. F. Baader P. Hanschke A Scheme for Integrating Concrete Domains into Concept Languages April 1991 Germany, Kaiserslautern RR-91-10 DFKI
3. G. E. Collins Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition Proc. of the Second GI Conference on Automata Theory and Formal Languages 33 512 532 Proc. of the Second GI Conference on Automata Theory and Formal Languages 1975
4. M. R. Cutkosky R. S. Engelmore R. E. Pikes M. R. Genesereth T. R. Gruber W. S. Mark J. M. Tenenbaum J. C. Weber PACT: An Experiment in Integrating Concurrent Engineering Systems IEEE Computer 1 28 37 1993
5. A. Dolzmann T. Sturm REDLOG-Computer Algebra Meets Computer Logic February 1996 Germany, Passau MIP-9603 Universitat Passau
6. H. Hong Constraint Logic Programming: Selected Research 1993 MIT Press MA, Cambridge RISC-CLP(Real): Constraint Logic Programming over the real numbers
7. Integrated Application Ressource: Kinematics 1994 ISO. ISO 10303 Part 105 ISO
8. G. Kamp H. Wache CTL-a description logic with expressive concrete domains 1996 LKI
9. D.! Kuokka B. Livezey A Collaborative Parametric Design Agent Proc. of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1 387 393 Proc. of the Twelfth National Conference on Artificial Intelligence (AAAI-94) Seattle WA 1994
10. J.-L. Lassez P. queries Design and Implementation of Symbolic Computation Systems 429 164 173 April 1990 Springer Verlag Italy, Capri linear constraints and variable elimination
11. J. G. McGuire D. R. Kuokka J. C. Weber J. M. Tenenbaum T. Gruber G. Olsen SHADE: Technology for Knowledge-Based Collaborative Engineering Concurrent Engineering: Research & Applications 1 3 1993
12. J. G. McGuire R. N. Pelavin J. C. Weber J. M. Tenenbaurn T. Gruber G. Olsen SHADE: A Medium for Sharing Design Knowledge among Engineering Tools 1992
13. J. G. McGuire R. N. Pelavin J. C. Weber J. M. Tenenbaurn T. Gruber G. Olsen SHADE: Knowledge-Based Technology for the Re-Engineering Problem 1993
14. F. Reuleaux The Kinematics of machinery-outlines of a theory of machines 1876 Macmillan & Co NY, New York
15. A. Tarski A Decision Method for Elementary Algebra and Geometry Collected Works of A. Tarski 3 300 364
16. V. Weispfenning Applying Quantifier Elimination to Problems in Simulation and Optimization April 1996 Germany, Passau MIP-9607 Universitat Passau