Declarative Semantics of Logic Programs on Parameterized Representation Systems-Reference-Cited by-同舟云学术

Declarative Semantics of Logic Programs on Parameterized Representation Systems

Published:1993 Issue: Volume: Page:45-63
ISSN:1044-7997
Container-title:Advances in Software Science and Technology
language:
Short-container-title:

Author:

Akama Kiyoshi

Publisher

Elsevier

Reference23 articles.

1. LOGIN: A Logic Programming Language with Built-in Inheritance;Ait-Kaci;J. of Logic Programming,1986

2. Akama, K.: Declarative Semantics of Logic Programs on Parameterized Representation Systems, Hokkaido University Information Engineering Technical Report, HIER-LI-9001, 1990.

3. Akama, K.: Generalized Logic Programs on Specialization Systems and SLDA Resolution, Hokkaido University Information Engineering Technical Report, HIER-LI-9002, 1990.

4. Akama, K.: Inference Rules for Generalized Logic Programs, Hokkaido University Information Engineering Technical Report, HIER-LI-9005, 1990.

5. Akama, K.: Constructing Specialization Systems, Hokkaido University Information Engineering Technical Report, HIER-LI-9006, 1990.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics;Software Engineering and Computer Systems;2011

2. Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory;International Journal of Intelligent Systems;2004-01

3. Program Synthesis Based on the Equivalent Transformation Computation Model;Logic Based Program Synthesis and Transformation;2003

4. An Intelligent Web Service System;Engineering Information Systems in the Internet Context;2002

5. Query Formulation and Evaluation for XML Databases;IFIP Advances in Information and Communication Technology;2002