default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Knowledge Engineering Review, Volume 11
Volume 11, Number 1, March 1996
- Cis Schut, Bert Bredeweg:
An overview of approaches to qualitative model construction. 1-25 - Claude Sammut:
Automatic construction of reactive control systems using symbolic machine learning. 27-42 - Michael Fisher:
An introduction to executable temporal logics. 43-56 - Raúl E. Valdés-Pérez:
Computer science research on scientific discovery. 57-66 - Vladimir Pericliev:
Research in machine scientific discovery and the domain sciences: Invited response to "Computer science research in scientific discovery". 67-68 - John Lee
:
Roles for intelligence in multimedia: report on the IMMI-1 workshop. 69-72
- Didier Dubois:
The uncertain reasoner's companion: a mathematical perspective by Jeff B. Paris, Cambridge University Press, Cambridge, UK, 1994, pp 212. Volume 39 in Cambridge Tracts in Theoretical Computer Science. 73-78 - Gerd Brewka:
Artificial intelligence - a modern approach by Stuart Russell and Peter Norvig, Prentice Hall. Series in Artificial Intelligence, Englewood Cliffs, NJ. 78-79 - Rashmi Pandya:
Concept formation and knowledge revision by Stefan Wrobel, Kluwer Academic, Netherlands, 1994, pp 240, £57.75, ISBN 079239500X. 79-81 - Stephen P. Wilson:
Algebraic specification techniques and tools for software development - the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5. 81-82 - Jean-Louis Gomard:
The uncertain reasoner's companion: a mathematical perspective by J. B. Paris, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, UK, 1994, pp 212, £25.00, ISBN 0521 460891. 82-83
- From the journals.... 85-91
Volume 11, Number 2, June 1996
- Mike Uschold, Michael Gruninger:
Ontologies: principles, methods and applications. 93-136 - S. Xia, N. Smith:
Automated modelling: a discussion and review. 137-160 - Djauhar Manfaat, Alex H. B. Duffy, Byung S. Lee:
Review of pattern matching approaches. 161-189 - Stefan Conrad:
DOOD'95 Post-Conference Workshop on Temporal Reasoning in Deductive and Object-Oriented Databases. 191-192 - V. Richard Benjamins, Frank van Harmelen, Niek J. E. Wijngaards:
Summary of the KEML-96 workshop, Paris, January 15-16, 1996, CNRS, Gif sur Yvette (Paris). 193-195
- Simon Parsons:
Soft computing: fuzzy logic, neural networks and distributed artificial intelligence by F. Aminzadeh and M. Jamshidi (Eds.), PTR Prentice Hall, Englewood Cliffs, NJ, pp 301, ISBN 0-13-146234-2. 197 - Jonathan P. Bowen:
Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9. 197-198
- From the journals.... 199-204
Volume 11, Number 3, September 1996
- Hyacinth S. Nwana:
Software agents: an overview. 205-244 - Wei Zhong Liu:
An integrated approach for different attribute types in nearest neighbour classification. 245-252 - Christine Pierret-Golbreich, Xavier Talon:
TFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems. 253-280 - Luca Chittaro, Angelo Montanari:
Trends in temporal representation and reasoning. 281-288 - Mark A. Brown, José Carmo:
Third international workshop on deontic logic in computer science. 289-292 - Stefano Levialdi:
International workshop on Advanced Visual Interfaces: AVI '96 Gubbio, Italy. 293
- Subjective probability by George Wright and Peter Ayton (Eds.), Wiley John & Sons, Chichester, 1994, pp 574, ISBN 0-471-94443-2. 295-296
- From the journals.... 297-300
Volume 11, Number 4, December 1996
- Norbert E. Fuchs:
Guest Editorial. 301
- Paolo Ciancarini:
An overview of declarative process modelling using logic programming. 303-316 - Norbert E. Fuchs, David Robertson:
Declarative specifications. 317-331 - Leon Sterling, L. Ümit Yalçinalp:
Logic Programming and Software engineering - implications for Software design. 333-345 - Alberto Pettorossi, Maurizio Proietti:
Developing correct and efficient logic programs by transformation. 347-360 - Henry Hexmoor, Lisa Meeden:
Learning in autonomous robots. 361-364 - Xiaohui Liu:
Intelligent data analysis: issues and challenges. 365-371
- Jonathan P. Bowen:
The Knowledge Acquisition and Representation Language, KARL by Dieter Fensel, Kluwer Academic, Dordrecht, 1995, pp 238, ISBN 0-7923-9601-4, Dfl 195.00 (US$ 110.00, £77.00). 373-374 - Michael J. Wooldridge:
Reasoning about knowledge by Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi, MIT Press, Cambridge, MA, 1995, pp 477, $45.00 cloth, ISBN 0-262-06162-7. 374-377
- From the journals... 379-385
- Referees for The Knowledge Engineering Review Papers-Volume 11. 386
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
