Research Article
Ontologies: principles, methods and applications
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 93-136
-
- Article
- Export citation
Software agents: an overview
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 205-244
-
- Article
- Export citation
Guest Editorial
Guest Editorial
-
- Published online by Cambridge University Press:
- 07 July 2009, p. 301
-
- Article
-
- You have access
- Export citation
Research Article
An overview of approaches to qualitative model construction
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 1-25
-
- Article
- Export citation
Automated modelling: a discussion and review
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 137-160
-
- Article
- Export citation
An integrated approach for different attribute types in nearest neighbour classification
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 245-252
-
- Article
- Export citation
An overview of declarative process modelling using logic programming
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 303-316
-
- Article
- Export citation
Automatic construction of reactive control systems using symbolic machine learning
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 27-42
-
- Article
- Export citation
TFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 253-280
-
- Article
- Export citation
Declarative specifications
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 317-331
-
- Article
- Export citation
An introduction to executable temporal logics
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 43-56
-
- Article
- Export citation
Review of pattern matching approaches
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 161-189
-
- Article
- Export citation
Trends in temporal representation and reasoning
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 281-288
-
- Article
- Export citation
Computer science research on scientific discovery
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 57-66
-
- Article
- Export citation
Logic Programming and Software engineering—implications for Software design
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 333-345
-
- Article
- Export citation
DOOD'95 Post-Conference Workshop on Temporal Reasoning in Deductive and Object-Oriented Databases
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 191-192
-
- Article
- Export citation
Summary of the KEML-96 workshop, Paris, January 15–16, 1996, CNRS, Gif sur Yvette (Paris)
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 193-195
-
- Article
- Export citation
Research in machine scientific discovery and the domain sciences: Invited response to “Computer science research in scientific discovery”
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 67-68
-
- Article
- Export citation
Developing correct and efficient logic programs by transformation*
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 347-360
-
- Article
- Export citation
Third international workshop on deontic logic in computer science
-
- Published online by Cambridge University Press:
- 07 July 2009, pp. 289-292
-
- Article
- Export citation