1461 search results - page 107 / 293 » On Regular Reduced Products |
AUSAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
AIML
2008
13 years 10 months ago
2008
We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently b...
EUSFLAT
2007
13 years 10 months ago
2007
Dominance is a relation on operations which are defined on a common poset. We treat the dominance relation on the set of ordinal sum t-norms which involve either exclusively the ...
INTERACT
2007
13 years 10 months ago
2007
We present S3 , a system that implicitly captures the process and products of Web investigations (exploratory searches involving multiple queries). This automatically-created, pers...
DAM
2008
13 years 9 months ago
2008
We give an overview on twisting commutative algebraic groups and applications to discrete log based cryptography. We explain how discrete log based cryptography over extension fie...