SCOPUS 정보 검색 플랫폼

Expert Systems With Applications

Volumn 8, Issue 3, 1995, Pages 351-357

On the verification of modular logical knowledge bases

(2) Antoniou, Grigoris a Sperschneider, Volker a

a UNIVERSITY OF OSNABRÜCK (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; INTERFACES (COMPUTER); KNOWLEDGE ENGINEERING; LOGIC PROGRAMMING; MAINTAINABILITY; MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEMS ANALYSIS; THEOREM PROVING;

ASSERTIONAL PROOF SYSTEM; MODULAR LOGICAL KNOWLEDGE BASES; MODULE CORRECTNESS; REUSABILITY; VERIFICATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0029339063 PISSN: 09574174 EISSN: None Source Type: Journal
DOI: 10.1016/0957-4174(94)E0026-Q Document Type: Article

Times cited : (2)

References (13)

1
- 84914383326
- Modules and verification
- Oxford University Press, Oxford, UK
- (1992) Proceedings of the IMA—Conference on the Unified Computation Laboratory
- Antoniou¹

2
- 0026957785
- Modularity for logical knowledge bases
- IEEE Press, Los Alamitos, CA
- (1992) Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
- Antoniou¹

3
- 84914383325
- Modularity for logic programs
- Springer
- (1992) Proceedings of the 4th UK Conference on Logic Programming Conference
- Antoniou¹ Sperschneider²

4
- 0022047144
- Algebraic specification of modules and their basic interconnections
- (1987) Journal of Computer and Systems Sciences , vol.34 , pp. 293-339
- Blum¹ Ehrig² Parisi-Presicce³

5
- 0041673874
- Verifying correctness of logic programs
- Springer LNCS
- (1989) Proceedings of the International Joint Conference on the Theory and Practice of Software Development
- Bossi¹ Cocco²

6
- 0345666365
- Generic tasks in knowledge-based reasoning High-level building blocks for expert systems design
- (1986) IEEE Expert , pp. 23-30
- Chandrasekaran¹

7
- 0004006994
- Springer, Berlin
- (1990) Fundamentals of algebraic specification , vol.2
- Ehrig¹ Mahr²

8
- 0003453263
- 2nd ed., Springer, New York
- (1987) Foundations oflogic programming
- Lloyd¹

9
- 0026219884
- Enabling technology for knowledge sharing
- (1991) AI Magazine , vol.12 , Issue.3 36–56
- Neches¹ Fikes² Finin³ Gruber⁴ Patil⁵ Senator⁶ Swartout⁷

10
- 84914383323
- Towards formal development of ML programs: Methodological aspects and mathematical foundations
- University of Edinburgh
- (1989) LFCS Report
- Sanella¹ Tarlecki²

11
- 84974753373
- Verification by construction in MILORD
- Logica Cambridge Limited, Cambridge, UK
- (1991) Proceedings of the European Colloqium on the Verification and Validation of Knowledge-Based Svstems
- Sierra¹ Agusti-Cullell² Plaza³

12
- 0005608785
- Addison-Wesley, Reading, MA
- (1991) Logic: A foundation for computer science , pp. 1991
- Sperschneider¹ Antoniou²

13
- 0025448965
- Components of Expertise
- (1990) A1 Magazine , vol.11 , pp. 3
- Steels¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.