Integrating declarative knowledge programming styles and tools in a structured object AI environment

Authors:
Hihai Barbuceanu;Stefan Trausan-Matu;Balint Molnar
Affiliations:
Institute for Computers and Informatics, Bucharest, Rumania;Institute for Computers and Informatics, Bucharest, Rumania;Central Research Institute for Physics, Budapest, Hungary
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 8
Cited 2

A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Expert Systems and the "Myth" of Symbolic Reasoning

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Heuristic classification

Artificial Intelligence
Knowledge-based development of evolutionary and reusable software

6th Internation Workshop Vol. 1 on Expert Systems & Their Applications
A domain-independent knowledge engineering architecture for CAD

5th International Workshop Vol. 2 on Expert systems & their applications
The Programmer's Apprentice: Knowledge Based Program Editing

IEEE Transactions on Software Engineering
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis

IEEE Transactions on Software Engineering
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Metaphor Processing for Learning Terminology on the Web

AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Ontology-Centered Personalized Presentation of Knowledge Extracted from the Web

ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

XRL is an integrated knowledge programming environment whose major research theme is the investigation of declarative knowledge programming styles and tools, and of the way they can be effectively integrated and used to support AI programming. This investigation is carried out in the context of the structured-object representation paradigm which provides the glue keeping XRL components together. The paper describes several declarative programming styles and associated support tools currently available in XRL.