Sciweavers

1134 search results - page 37 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
157
Voted
RULES
1993
Springer
159views Database» more  RULES 1993»
15 years 6 months ago
Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
Michael Doherty, Joan Peckham, Victor Fay Wolfe
AAMAS
2002
Springer
15 years 2 months ago
Situated Cognition and the Role of Multi-agent Models in Explaining Language Structure
Abstract. How and where are the universal features of language specified? We consider language users as situated agents acting as conduits for the cultural transmission of language...
Henry Brighton, Simon Kirby, Kenny Smith
AI
2011
Springer
14 years 9 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...
MODELS
2009
Springer
15 years 9 months ago
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec
Fabian Büttner, Martin Gogolla, Lars Hamann, ...
111
Voted
CONSTRAINTS
2008
109views more  CONSTRAINTS 2008»
15 years 2 months ago
The Design of the Zinc Modelling Language
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Pet...