320 search results - page 34 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
109
Voted
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
CP
2005
Springer
15 years 6 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
100
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
143
click to vote
SPLC
2007
15 years 1 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
116
click to vote
DEBU
2006
15 years 16 days ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...