Sciweavers

1072 search results - page 17 / 215
» Innovation as language action
Sort
View
JAIR
1998
163views more  JAIR 1998»
13 years 7 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi
ECIS
2001
13 years 9 months ago
E-Business Strategy Formulating and Forming: New Wine in Old Bottles?
The motivation for strategic action should be highest in volatile, unstable and unpredictable environments. For that reason, the search for a more strategic, systematic approach t...
Arjen Wassenaar, Shirley Gregor
KR
1994
Springer
13 years 11 months ago
Modalities Over Actions, I. Model Theory
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
L. Thorne McCarty
UML
2000
Springer
13 years 11 months ago
Extending OCL to include Actions
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
Anneke Kleppe, Jos Warmer
DLOG
2008
13 years 8 months ago
Actions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
Loris Bozzato, Mauro Ferrari, Paola Villa