A survey of languages for specifying dynamics: A knowledge engineering perspective

IEEE Transactions on Knowledge and Data Engineering

Volumn 13, Issue 3, 2001, Pages 462-496

  Van Eck, Pascal ^a   Engelfriet, Joeri ^b   Fensel, Dieter ^b   Van Harmelen, Frank ^b   Venema, Yde ^c   Willems, Mark ^d  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

^d Quintiq BV   (Netherlands)

Author keywords

Dynamics; Inference control; Knowledge based systems; Specification languages; Update logics

Indexed keywords

DATABASE SYSTEMS; FORMAL LANGUAGES; INFERENCE ENGINES; INFORMATION SCIENCE; LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

SPECIFICATION LANGUAGES;

KNOWLEDGE BASED SYSTEMS;

EID: 0035330711     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.929903     Document Type: Article

References (71)

1. DESIRE: Modelling multi-agent systems in a compositional formal framework
2. Temporal semantics of compositional task models and problem solving methods
3. The knowledge acquisition and representation language KARL
4. BSSF
5. BSSF: A language for KBS design
6. 2: A formal language for KADS conceptual models
7. MLPM: Defing a semantics and axiomatization for specifying the reasoning process of knowledge-based systems
8. TFL: An algebraic language to specify the dynamic behaviour of knowledge-based systems
9. A comparison of languages which operationalize and formalize KADS models of expertise
10. Formal specification languages in knowledge and software engineering
11. The essence of problem solving methods: Making assumptions for efficiency reasons
12. Artificial intelligence: A computational perspective
13. Dynamic logic
14. Logics of programs
15. Algebra of communicating processes with abstraction
16. LCM and MCM: Specification of a control system using dynamic logic and process algebra
17. Troll - A language for object-oriented specification of information systems
18. Transaction logic programming
19. Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases
20. Dynamic database logic: The first-order case
21. Evolving algebras 1993: Lipari guide
22. Algebraic specification
23. Introduction to the ISO specification language LOTOS
24. SALT: A knowledge acquisition language for propose and revise systems
25. Special Issue on the VT sisyphus task
26. KADS: A modeling approach to knowledge engineering
27. CommonKADS. A comprehensive methodology for KBS development
28. Special issue on the sisyphus 91/92 models
29. The essense of problem-solving-methods: Making assumptions for gaining efficiency
30. Modelling an elevator design task in DESIRE: The VT example
31. Combining KARL and CRLM for designing vertical transportation systems
32. An overview of transaction logic
33. A logic for programming database transactions
34. Reasoning about dynamic features in specification languages
35. Regular database update logics
36. Applying rule-base anomalies to KADS inference structures
37. Abstract state machines 1988-1998: Commented ASM bibliography
38. JUCS special ASM issue
39. Conditional rewriting logic as a unified model of concurrency
40. Principles of Maude
41. From rewrite theories to temporal logic theories
42. Reasoning about abstract state machines: The WAM case study
43. On the construction of correct compiler back-ends: An ASM approach
44. Model checking for abstract state machines
45. An evolving algebra abstract machine
46. leanEA: A lean evolving algebra compiler
47. Executable specifications based on dynamic algebras
48. Why use evolving algebras for hardware and software engineering?
49. Object specification logic
50. TROLLlight: A core language for specifying objects
51. A calculus of communicating systems
52. Evolving logical specification in information systems
53. A formalization of objects using equational dynamic logic
54. A linear temporal logic approach to objects with transactions
55. What is a logical system?