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