CORR
2011
Springer
13 years 4 months ago
2011
Springer
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Abstract—The capacity of multiuser networks has been a longstanding problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to appr...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextu
CORR
2011
Springer
13 years 4 months ago
2011
Springer
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...