315 search results - page 24 / 63 » A Declarative Formalization of STRIPS |
WOLLIC
2010
Springer
14 years 1 months ago
2010
Springer
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
DAC
1997
ACM
14 years 25 days ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
CSCW
1996
ACM
14 years 23 days ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...
ISTA
2003
13 years 10 months ago
2003
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
AAMAS
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...