Using preference fusion for default reasoning
by Manuela Ritterskamp and Gabriele Kern-Isberner
In: Proceedings of the 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007), 2007.
|
Resolving inconsistencies in probabilistic knowledge bases
by Marc Finthammer, Gabriele Kern-Isberner, and Manuela Ritterskamp
In: Proceedings of the 30th Annual German Conference on AI, KI 2007, Lecture Notes in Computer Science, 4667:114-128. Springer-Verlag, 2007.
|
|
by Björklund, H., and Schwentick, T.
In: Proc. International Symposium on Fundamentals of Computation Theory (FCT'07), LNCS 4639, pp. 88-99, Springer, 2007.
|
|
by Björklund, H., and Bojańczyk, M.
In: International Symposium on
Mathematical Foundations of Computer Science (MFCS'07), LNCS
4708, pp. 750-761, Springer 2007.
|
|
by Björklund, H., and Bojańczyk, M.
In: Proc. International
Colloquium on Automata, Languages and Programming (ICALP'07), LNCS
4596, pp. 862-874, Springer, 2007.
|
An ASM refinement and implementation of the Condor system using ordinal conditional functions
by Christoph Beierle and Gabriele Kern-Isberner
In: Proceedings of the14th International Workshop on Abstract State Machines (ASM'2007), Lecture Notes in Computer Science. Springer-Verlag, 2007.
|
Computing with Antonyms.
by Trillas E., Moraga C., Guardarrama S., Cubillo S., Castineira E.
In: Studies in Fuzziness and Soft Computing 217, 133-153, Springer, 2007
|
Properties of the Reed Muller spectrum of symmetric functions.
by Moraga C., Stankovic´R.S.:
Facta Universitatis (Nis), Series Electronics and Energetics 20 (3), 281-294, 2007
|
Algebraic knowledge discovery using Haskell
by Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, and Christian Müller
In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Lecture Notes in Computer Science, 4354:80-93. Springer-Verlag, 2007.
|
Characterization of the ternary cofactors in the spectral domain.
by Moraga C., Stankovic M., Stojkovic S.:
Journal of Multiple-valued Logic and Soft Computing, 13, 1-16, 2007
|
Implementation complexity of algorithms for optimization of Galois field expressions for multiple-valued functions.
by Jankovic D., Stankovic R.S., Moraga C.
In: Journal of Multiple-valued Logic and Soft Computing, 13, (4-6), 521-536, 2007
|
A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games.
by Björklund, H., and Vorobyov, S.
Discrete Applied Mathematics, Vol. 155, pp. 210-229, 2007. © Elsevier. |
On the impact of migration parameters on DIMEP for designing combinational circuits.
by Hadjam F.Z., Moraga C., Rahmouni M.K.:
In: Proc. XXIV International Conference of the Chilean Computer Science Society, 73-82, IEEE-CS-Press, 2007 (DOI 10.1109/SCCC.2007.7)
|
|
by Aizenberg I., and Moraga C.
In: Proc. 37th Int. IEEE Symposium on Multiple-valued Logic. IEEE-CS-Press, 2007, ISBN 0-7695-2831-7
|
|
by Aizenberg I., and Moraga C.
In: Soft Computing, 11 (2), 169-183, ISSN 1432-7643, 2007.
|
|
by Gelade, W., Martens, W., and Neven, F.
International Conference on Database Theory 2007 (ICDT 2007), Journal version, in Progress.
|
|
by Gottlob, G., Miklos, Z., and Schwentick, T.
PODS 2007, 13-22.
|
|
by Hadjam F.Z., Moraga C., and Benmohamed B.
Late breaking paper GECCO-2007, London, 2007 .
|
|
by Janković D., Stanković R.S., and Moraga C.
In: Proc. 37th Int. IEEE Symp. on Multiple-valued Logic. IEEE-CS-Press, 2007, ISBN 0-7695-2831-7
|
|
by Kasneci, G., and Schwentick, T.
PODS 2007: 155-164.
|
|
|
