AUSAI
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
AUSAI
2003
Springer
13 years 11 months ago
2003
Springer
AUSAI
2001
Springer
13 years 11 months ago
2001
Springer
The Apriori algorithm's frequent itemset approach has become the standard approach to discovering association rules. However, the computation requirements of the frequent item...
AUSAI
2001
Springer
13 years 11 months ago
2001
Springer
A central problem in information retrieval is the automated classification of text documents. While many existing methods achieve good levels of performance, they generally require...
AUSAI
2001
Springer
13 years 11 months ago
2001
Springer
Evolutionary Artificial Neural Networks (EANN) have been a focus of research in the areas of Evolutionary Algorithms (EA) and Artificial Neural Networks (ANN) for the last decade. ...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
APN
2003
Springer
13 years 11 months ago
2003
Springer
APN
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
APN
2003
Springer
13 years 11 months ago
2003
Springer
APN
2003
Springer
13 years 11 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...