Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
×
It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system.
People also ask
May 19, 2015 · The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993 ...
Action languages were created to describe transition diagrams in a mathematically accurate and concise manner. Solutions for the frame, ramification and ...
Abstract. The paper presents an action language, ALM, for the rep- resentation of knowledge about dynamic systems. It extends action lan-.
The modular action description language, MAD, is based on the action language C+. In this new language, the possibility of "importing" a module allows us to ...
This paper describes a modular action language, ALM, dedicated to the specification of complex dynamic sys- tems. One of the main goals of the language is ...
The paper introduces a new modular action language, , and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993 ...
Abstract. The paper presents the syntax and semantics of an action language ALM. The language is used for representation of knowledge about dynamic systems.
Introduction and Problem Description. The field of knowledge representation experienced substantial progress in repre- senting dynamic domains during the ...
The goal of this dissertation is to define a modular action language, ALM, for the elaboration tolerant representation of knowledge about medium-size ...