Sciweavers

9405 search results - page 59 / 1881
» Computing a Model of Set Theory
Sort
View
CIG
2005
IEEE
15 years 3 months ago
Similarity-based Opponent Modelling using Imperfect Domain Theories
Abstract- This paper proposes a similarity-based approach for opponent modelling in multi-agent games. The classification accuracy is increased by adding derived attributes from i...
Timo Steffens
DEON
2008
Springer
14 years 11 months ago
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
Guido Governatori, Antonino Rotolo
APN
2007
Springer
15 years 4 months ago
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
14 years 11 months ago
Using quotient graphs to model neutrality in evolutionary search
We introduce quotient graphs for modeling neutrality in evolutionary search. We demonstrate that for a variety of evolutionary computing problems, search can be characterized by g...
Dominic Wilson, Devinder Kaur
FMSD
2006
183views more  FMSD 2006»
14 years 9 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic