Sciweavers

3233 search results - page 356 / 647
» Rule Modeling and Markup
Sort
View
CAISE
2007
Springer
15 years 10 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
ATAL
2006
Springer
15 years 10 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
CEC
2003
IEEE
15 years 10 months ago
Playing in continuous spaces: some analysis and extension of population-based incremental learning
- As an alternative to traditional Evolutionary Algorithms (EAs), Population-Based Incremental Learning (PBIL) maintains a probabilistic model of the best individual(s). Originally...
Bo Yuan, Marcus Gallagher
FSTTCS
2000
Springer
15 years 10 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
JELIA
2000
Springer
15 years 10 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...