Zoekresultaten
Resultaat 61 - 80 (van 393)
J.-J.Ch. Meyer | W. van der Hoek Drums 2 ESPRIT III (No.6156) deliverable D6.2 (WP 6.3)
graded model and epistemic logic
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
Daco Bogaard Experience with the common KADS WB
Non-fictie
Engels | 35 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1993
Gedrukt boek
J.L. Top | J.M. Akkermans Engineering modelling
a contribution to the CommonKADS library
Non-fictie
Engels | 95 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1993
Gedrukt boek
D.J. Out Strategies for efficient model-based troubleshooting
Non-fictie
Engels | 175 pagina's | 1993
Gedrukt boek
J.R. Balder | N. Vilatte | M. Bannelier Experience with commonkads for reverse knowledge engineering
Non-fictie
Engels | 26 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1993
Gedrukt boek
M.B. Klompstra Time aspects in games and in optimal control
Non-fictie
Engels | 129 pagina's | 1992
Gedrukt boek
A.Th. Schreiber Pragmatics of the knowledge level
Non-fictie
Engels | 242 pagina's | 1992
Gedrukt boek
Stichting Energieonderzoek Centrum Nederland Formal methods for knowledge modelling in the commonkads methodology
a compilation
Non-fictie
Engels | 300 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1992
Gedrukt boek
Enhancing the knowledge engineering process
contributions from ESPRIT
Non-fictie
Engels | 273 pagina's | North-Holland, Amsterdam [etc.] | 1992
Gedrukt boek
D.J. Out | R.R. Bakker An analysis of model-based diagnosis using problem-reformulation
Non-fictie
Engels | 74 pagina's | University of Twente, Department of Computer Science, Enschede | 1992
Gedrukt boek
M. Reinders | B. Bredeweg Reflective strategic control of multiple problem solving methods
Non-fictie
Engels | 10 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1992
Gedrukt boek
Kees de Koning Reason maintenance in bottom-up inference
Non-fictie
Engels | 47 pagina's | Department of Philosophy, Cognitive Artificial Intelligence, Utrecht University, Utrecht | 1992
Gedrukt boek
Mark de Weger | R.R. Bakker | D.J. Out Efficient model-based diagnosis of dynamic systems with state
Non-fictie
Engels | 37 pagina's | University of Twente, Department of Computer Science, Enschede | 1992
Gedrukt boek
A.E. Eiben | R.V. Schuwer Knowledge base systems, a formal model
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek
D.G. Pasman | R.R. Bakker Temporal reasoning in model-based diagnosis
Non-fictie
Engels | 32 pagina's | University of Twente, Department of Computer Science, Enschede | 1991
Gedrukt boek
Steven van der Smagt The development of real-time knowledge based systems with stress
Non-fictie
Engels | 106 pagina's | Instituut Vervolgopleidingen, Technische Universiteit Eindhoven, Eindhoven | 1991
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer Graded modalities in epistemic logic
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
Technische Universiteit Architecture and use of Delft Direct Manipulation Manager (D2M2)
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1991
Gedrukt boek
H. Velthuijsen | Peter Braspenning A formalized concept of the blackboard architecture
Non-fictie
Engels | University of Limburg, Department of Computer Science, Maastricht | 1991
Gedrukt boek
International Association for Mathematics and Computers in Simulation Decision support systems and qualitative reasoning
proceedings of the IMACS international workshop on decision support systems and qualitative reasoning, Toulouse, France, 13-15 March 1991
Non-fictie
Engels | 410 pagina's | North-Holland, Amsterdam [etc.] | 1991
Gedrukt boek