| IPI PAN REPORTS - 2003 | ||
| IPI PAN Reports: | ISSN 0138-0648 |
|
| |
| 972. |
Jacek Brzeziński, Marcin Dziubiński: Dorcas - platforma dla agentów o architekturze BDI
[Dorcas - A Platform For BDI Agents]
December 2003, pp. 94,
|
| 971. |
Adam Przepiórkowski: On the Computational Usability of Valence Dictionaries for Polish
December 2003, pp. 14,
|
| 970. |
Dobiesław Wróblewski: Universal Election Algorithm using forward links
December 2003, pp. 32.
|
| 969. |
Monika Kowalczyk, Wojciech S. Mokrzycki: Generation of 3D views of polyhedra using view sphere with perspective and complementary cone
December 2003, pp. 24.
|
| 968. |
Dobiesław Wróblewski: Universal Election Algorithm using an auxilary graph
December 2003, pp. 24.
|
| 967. |
Dobiesław Wróblewski: Universal Election Algorithm
December 2003, pp. 16,
|
| 966. |
Magdalena Kacprzak
Alessio Lomuscio, Wojciech Penczek: Unbouded Model Checking for Knowledge and Time
December 2003, pp. 27,
|
| 965. |
Elżbieta Hajnicz: Przegląd formalnych metod semantycznych [A survey of formal semantic methods]
December 2003, pp. 102,
|
| 964. |
Andrzej M. Borzyszkowski, Philippe Darondeau: Transition Systems without Transitions
October 2003, pp. 7
|
| 963. |
Zbigniew W. Raś: Knowledge-Discovery Based
Flexible Query Answering Systems
October 2003,
|
| 962. |
Wojciech S. Mokrzycki: 3W modele widokowe niewypukłych wielościanów
na sferze widokowej z perspektywą [3D view models of nonconvex polyhedra on view sphere with perspective]
August 2003,
|
| 961. |
Agata Półrola, Wojciech Penczek, Maciej Szreter: Reachability Analysis for Timed Automata Based on Partitioning
June 2003 , pp.23,
|
| 960. |
Włodzimierz Wysocki: Induced semigroup of an Archimedean copula June 2003, pp. 8,
|
| 959. |
Wit Jakuczun: Wavelet based speaker recognition May 2003, pp. 7,
|
| 958. |
Bożena Woźna, Wojciech Zbrzezny: Reaching the limits for Bounded Model Checking
May 2003,
|
| 957. |
Anna Sabak, Andrzej Wieczorek: Basic Concepts of Cooperative Games with Large and Small Players
April 2003, pp. 8,
|
| 956. |
Maria Ekes, Andrzej Wieczorek: Consumption in Economic Models Related to Large Games April 2003, pp. 8,
|
| 955. |
Krzysztof Argasiński: Dynamic evolutionary game related to elementary large games and replicator
dynamics
April 2003, pp. 32,
|
| 954. |
Mieczysław Alojzy Kłopotek: Synthetic Web
February 2003
|
953. |
Józef Winkowski:
An Algebraic Characterization of Independence of Petri Net Processes
January 2003, pp. 12
|
| 952. |
Mieczysław Alojzy Kłopotek:
On the Distance Hypothesis in Tree-like Bayesian Networks
January 2003, pp. 14
|