Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
×
May 19, 2015 · Abstract:The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of ...
Missing: cal | Show results with:cal
The paper introduces a new modular action language, ALM, and illustrates the method- ology of its use. It is based on the approach of Gelfond and Lifschitz ...
Missing: cal | Show results with:cal
This work states that modularity can be achieved by adding modularity to action languages to enable programmers to create libraries of knowledge about ...
Action languages were created to describe transition diagrams in a mathematically accurate and concise manner. Solutions for the frame, ramification and ...
The paper introduces a new modular action language, (Formula presented.), and illustrates the methodology of its use. It is based on the approach of Gelfond ...
Dec 25, 2014 · The paper presents an action language, ALM, for the representation of knowledge about dynamic systems. It extends action language AL by ...
Missing: cal | Show results with:cal
This paper is a report on the first stage of this project--the design of an action description language in which this database will be written The new ...
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 ...
Missing: cal | Show results with:cal
Daniela Inclezan: A CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM.
Aug 11, 2012 · The goal of this dissertation is to define a modular action language, ALM, for ... cal Processes in Modular Action Language ALM. In Proceedings of ...