61. Fundamenta Informaticae, Volume 28, Abstracts We demonstrate the effectiveness of the method by discussing our automated proofsof problems and theorems taken from Professor helena rasiowa's book An http://fi.mimuw.edu.pl/abs28.html

Abstracts of Fundamenta Informaticae Volume 28. Number 1-2 J. J. Alferes, L. M. Pereira, T. C. Przymusinski Belief Revision in Non-Monotonic Reasoning and Logic Programming. pages 1-22 In order to be able to explicitly reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic of Beliefs, AEB$ , obtained by augmenting classical propositional logic with a belief operator, B . For this language we've defined the static autoepistemic expansions semantics. The resulting non-monotonic knowledge representation framework turned out to be rather simple and yet quite powerful. Moreover, it has some very natural properties which sharply contrast with those of Moore's AEL While static expansions seem to provide a natural and intuitive semantics for many belief theories, and, in particular, for all affirmative belief theories (which include the class of all normal and disjunctive logic programs), they often can lead to inconsistent expansions for theories in which (subjective) beliefs clash with the known (objective) information or with some other beliefs. In particular, this applies to belief theories (and to logic programs) with strong or explicit negation. In this paper we generalize AEB to avoid the acceptance of inconsistency provoking beliefs. We show how such

62. Banach Center Publications 20, Singularities, Stanislaw Lojasiewicz, 1988, 498. 21, MathematicalProblems in Computation Theory, Grazyna Mirkowska, helena rasiowa, 1988,597. http://www.impan.gov.pl/BC/bcp.html

Banach Center Publications Part of the scientific activities of the Banach Center have been recorded in the Banach Center Publication series. It is a series of proceedings volumes, containing research and survey papers. Already fifty eight volumes appeared in the series. Here you can find the guidelines for publication in the BCP series and the hints for authors. List of BCP volumes No Title Editors Year Pages Mathematical Control Theory Szymon Dolecki, Czesław Olech, Jerzy Zabczyk Mathematical Foundations of Computer Science Antoni Mazurkiewicz, Zdzisław Pawlak Mathematical Models and Numerical Methods A. N. Tikhonov, F. Kuhnert, N. N. Kuznecov, K. Moszyński, A. Wakulicz Approximation Theory Zbigniew Ciesielski Probability Theory Zbigniew Ciesielski Mathematical Statistics Robert Bartoszyński, Jacek Koronacki, Ryszard Zieliński Discrete Mathematics J. L. Kulikowski, M. Michalewicz, S. V. Yablonskii, Yu. I. Zhuravlev Spectral Theory Wiesław Å»elazko Universal Algebra and Applications Tadeusz Traczyk Partial Differential Equations Bogdan Bojarski Complex Analysis Julian Ławrynowicz, J³zef Siciak

63. Tempmos Online author = Y. Venema and M. Marx , title = A Modal Logic of Relations , booktitle= Logicat Work Essays Dedicated to the Memory of helena rasiowa , editor= E http://www.it.murdoch.edu.au/~mark/research/online/tempmos.html

Other papers online The Mosaic Method for Temporal Logics Maarten Marx Szabolcs Mikulas and Mark Reynolds Abstract The aim of this paper is to apply the so called mosaic method for proving decidability, Hilbert-style (strong) completeness and tableau (weak) completeness. The mosaic method was invented by to prove decidability of the equational theories of certain classes of algebras of relations, cf. . The idea is to show that the existence of a model is equivalent to the existence of a finite set of partial models, called mosaics. This gives us a decision procedure, and, intuitively, a systematic procedure to check the theoremhood of a certain formula. Recently the mosaic method has been applied to prove decidability, Hilbert-style axiomatizability and complexity results for various modal logics, cf., e.g., [HHMMR] , and [vene:moda96] In this paper, we try to make explicit the connection between the mosaic method and tableau systems. Using the original idea of a mosaic decidability proof we will define a complete tableau systems for linear temporal logic. This seems to be a new result, since we will not assume anything about the linear order. We will also prove completeness and decidability. These results are well known, but we think using mosaics the proofs become much simpler. In the last section we will show how to modify the method to obtain similar results for special linear flows of time, e.g., discrete, dense, with or without endpoints, substructures of whole numbers.

64. LjV's Publis (Work: Publications) Symposium of Logic, Algebra and Computer Science, helena rasiowa in memoriam, Warsaw(Poland), December 1996 (4 pages). VW96a L. Vigneron and A. Wasilewska. http://www.loria.fr/~vigneron/Work/publis.html

Publications Journals L. Bachmair, A. Tiwari and L. Vigneron. Abstract Congruence Closure. Journal of Automated Reasoning , 2002. To appear. L. Vigneron. Automated Deduction Techniques for Studying Rough Algebras. Fundamenta Informaticae , 33(1):85-103, February 1998. M. Rusinowitch and L. Vigneron. Automated Deduction with Associative and Commutative Operators. Applicable Algebra in Engineering, Communication and Computing , 6(1):23-56, January 1995. In Book A. Wasilewska and L. Vigneron. Rough Algebras and Automated Deduction. In L. Polkowski and A. Skowron, editors, Rough Sets in Knowledge Discovery 1 , pages 261-275. Springer Verlag, July 1998. PhD Thesis L. Vigneron. , Novembre 1994. Conferences Y. Chevalier and L. Vigneron. Automated Unbounded Verification of Security Protocols. In Ed Brinksma and Kim Guldstrand Larsen, editors, Proceedings of CAV'2002: 14th International Conference on Computer Aided Verification , Copenhaguen (Denmark), volume 2404 of Lecture Notes in Computer Science , pages 324-337. Springer, July 2002.

65. Bibliography editor, Session of the Polish Association for Logic and Philosophy of Science dedicatedto the memory of Andrzej Mostowski and helena rasiowa, Warsaw (Poland http://www.loria.fr/equipes/protheo/PUBLICATIONS/BIB_FILES/vigneron.html

Bibliography of Laurent Vigneron Articles L. Vigneron. Automated Deduction Techniques for Studying Rough Algebras. Fundamenta Informaticae , 33(1):85-103, February 1998. bib .ps.gz A. Wasilewska and L. Vigneron. Rough Algebras and Automated Deduction. In L. Polkowski and A. Skowron, editors, Rough Sets in Knowledge Discovery , volume 1, pages 261-275. Springer-Verlag, 1998. bib .ps.gz M. Rusinowitch and L. Vigneron. Automated Deduction with Associative-Commutative Operators. Applicable Algebra in Engineering, Communication and Computation , 6(1):23-56, January 1995. bib .ps.gz Conferences and Workshops Y. Chevalier and L. Vigneron. A Tool for Lazy Verification of Security Protocols (short paper). In Proceedings of ASE-2001: The 16th IEEE Conference on Automated Software Engineering , San Diego (CA), November 2001. IEEE CS Press. Long version available as Technical Report A01-R-140, LORIA, Nancy (France). bib Y. Chevalier and L. Vigneron. Towards Efficient Automated Verification of Security Protocols. In Proceedings of the Verification Workshop (VERIFY'01) (in connection with IJCAR'01), Università degli studi di Siena, TR DII 08/01

66. TOC helena rasiowa. Issue 12 (Nov 1996), Special issue to the memoryof Prof. helena rasiowa. V O L U M E 2 7, Issue 4 (Sep 1996), http://portal.acm.org/toc.cfm?id=J291&type=periodical&coll=portal&dl=ACM&CFID=11

67. Ismvl,26th International Symposium On Multiple-Valued Logic (ISMVL '96) Special Session helena rasiowa, In Memoriam Invited Speakers G. Malinowski,JM Font, and T. Sales, Free, Requires Subscription, Purchase. http://info.computer.org/proceedings/ismvl/7392/7392toc.htm

26th International Symposium on Multiple-Valued Logic (ISMVL '96) January 19 - 31, 1996 Jantiago de Compostela, SPAIN PDF's require Adobe Acrobat 4.05+ Click Here to download Free Requires Subscription Purchase p.   ix Message from the General Chair p.   x Message from the Program Chair p.   xi Committees p.   xii Referees Keynote Address I  Free Requires Subscription Purchase p.   As You Like Them: Connectives in Fuzzy Logic Claudi Alsina Session 1A: Logic Design I  Free Requires Subscription Purchase p.   Verification of multi-valued logic networks R. Drechsler p.   New Interpolation Algorithms for Multiple-Valued Reed-Muller Forms Zeljko Zilic, Zvonko G. Vranesic p.   Family of fast mixed arithmetic logic transforms for multiple-valued input binary functions S. Rahardja, B.J. Falkowski Session 1B: Logic I  Free Requires Subscription Purchase p.   Non archimedean models of Lukasiewicz logic A. Di Nola p.   A necessary and sufficient condition for Lukasiewicz logic functions N. Takagi, K. Nakashima, M. Mukaidono p.   Propositional Skew Boolean Logic R. J. Bignall, M. Spinks

68. Zeal.com - United States - New - Library - Sciences - Mathematics - Mathematicia series. 10. rasiowa, helena MacTutor History of Mathematics http//www-history.mcs.st-andrews.ac.uk/history/Mathematicia Read http://www.zeal.com/category/preview.jhtml?cid=554590

69. Alibris - Find Your Favorite Authors And Books At Alibris. helena Radliska. helena Ragone. helena Ramos. helena Ramsay. helena rasiowa.helena Rato. helena Ravenscroft. helena Rebaczowa. helena Renaud. helena Render. http://www.alibris.com/authors/authors0141.html

Helen Rosen Helen Rosenau Helen Rosenbaum Helen Rosenberg Helen Rosen Helen Rosenau Helen Rosenbaum Helen Rosenberg ... Help And Action Coordination Committee

70. Selected Publications In Logic at Work. Essays Dedicated to the Memory of helena rasiowa, E. Orlowska(ed.), Springer Physica Verlag 1998, 89108 (co-author A. Nonnengart); http://www.ida.liu.se/~andsz/pub.html

Last modified: document.write(document.lastModified); Selected publications Books Volumes edited Papers/chapters in books Journal papers ... Technical reports I. Books Loglan . Scientific and Technical Publishers WNT, Warsaw, 1991 (co-author: J. Warpechowska). In Polish. Introduction to automated deduction . Academic Pub. RM, Warsaw 1992. In Polish. Reasoning in nonclassical logics. Theoretical Foundations . Academic Pub. PLJ, Warsaw 1995 (co-authors: L. Bolc, K. Dziewicki, P. Rychlik). In Polish. Reasoning in nonclassical logics. Automated Methods . Academic Pub. PLJ, Warsaw, 1998 (co-authors: L. Bolc, K. Dziewicki, P. Rychlik). In Polish. Knowledge Engineering. A Rough Sets Approach . Springer Physica Verlag, 2003, to appear (co-authors: P. Doherty, W. Lukaszewicz, A. Skowron). Return II. Volumes edited Time and Logic. A Computational Approach . UCL Press Ltd., London 1995 (co-editor: L. Bolc) Proceedings of the 21st International Symposium MFCS'96 . LNCS 1113, Springer-Verlag 1996 (co-editor: W. Penczek) Relational Methods for Computer Science Applications. Springer Physica Verlag, 2001 (co-editor: E. Orlowska)

71. JANCL Abstracts Special Issue dedicate to the memory of helena rasiowa Guest editorEwa Orlowska Calculus of Contextual Rough Sets in Contextual Spaces Edward http://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/sommaire_global.html

72. Journal Of Applied Non-Classical Logics Special Issue dedicated to the memory of helena rasiowa Guest editorEwa Orlowska. Calculus of Contextual Rough Sets in Contextual http://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/abstract-8.1.html

73. Logic At Work : Essays Dedicated To The Memory Of Helena Rasiowa (Studies In Fuz Logic at Work Essays Dedicated to the Memory of helena rasiowa (Studiesin Fuzziness and Soft Computing, Vol. 24). http://www.computer-science-online.com/logic_at_work_essays_dedicated_to_the_mem

Logic at Work : Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing, Vol. 24) This single book has all you've been looking for, doesn't it ? by Helena Rasiowa, Ewa Orlowska List Price: Our Price: Living in UK Get It Here! Living in Deutschland Get It Here! Living in France Get It Here! Back to: Theory of Computing Artificial Intelligence Main Index Search: All Products Books Popular Music Classical Music Video DVD Baby Electronics Software Outdoor Living Wireless Phones Keywords: In Association with Amazon.com Amazon.co.uk Amazon.de Amazon.fr ... Eugene Kisly and Victor Kisly

74. GAZETTE N°31 Translate this page des sciences) - rasiowa, helena / An algebraic approach to non-classical logics.-Amsterdam North-Holland Publishing Company, 1974.- 403 p. (Studies in logic http://www.math.univ-montp2.fr/gazette/Annee1999-2000/31/

Next: About this document ... Département des Sciences Mathématiques Gazette N o - Semaine du 12/06/2000 au 16/06/2000 - 1. Cours de troisième cycle Un cours de troisième cycle intitulé Géométrie métrique sera assuré par Y. Burago (St. Petersburg), professeur associé, les vendredi à 14h30 en salle 31 à partir du 9 Juin. , mardi 13 juin, salle 431, Convergence d'opérateurs monotones en dimension finie , par M. Thera (Université de Limoges). , mardi 13 juin à 16h30, salle 331, L'intégrabilité des flots géodésiques sur les espaces homogènes des groupes de Lie compacts , par A. Bolsinov. Mesure ultrasonore du tenseur d'élasticité et analyse de ses symétries exactes ou proches , par M. François. Real quadratic division algebras , par E. Dieterich (Université d'Uppsala). programme à préciser 3. Groupes de travail. Problèmes non locaux en analyse variationnelle , mardi 13 juin, à 17h00, en salle 331. Classes caractéristiques et singularités , jeudi 15 juin, à 10h30, en salle 431. Sur les groupes arithmétiques , jeudi 15 juin, à 15h15, en salle 431.

75. Literatura helena rasiowa Wstêp do matematyki wspó³czesnej, PWN, Warszawa, 1969. GyorgyRevesz Introduction to Formal Languages, McGrawHill, New York, 1983. http://aragorn.pb.bialystok.pl/~radev/literat.htm

Literatura A B C D ... Z A Peter Aczel Non Well-Founded Sets , CSLI, Stanford, 1988 A. Aho and J. Ullman The Theory of Parsing, Translation and Computing , Prentice-Hall, Englewood Cliffs, N.J, 1972. Robert Aumann and Sergiu Hort (editors) Handbook of Game Theory with Economic Applications vol. 1 , Elsevier, Amsterdam, 1992. Robert Aumann and Sergiu Hort (editors) Handbook of Game Theory with Economic Applications vol. 2 , Elsevier, Amsterdam, 1994. Allen, James. Natural language understanding. 2nd ed. Redwood City, Cal.: Benjamin/Cummings, 1995. B H. Barendregt The Lambda Calculus: Its Syntax and Semantics , North Holland, Amsterdam, 1984. H. Barendregt Functional programming and lambda calculus. , In Handbook of Theoretical Computer Science Jon Barwise, (editor) Handbook of Mathematical Logic , North-Holland, Amsterdam, 1974. Jon Barwise, Admissible Sets and Structures , Springer-Verlag, New York, 1975. M. Ben-Ari, Podstawy programowania wspó³bie¿nego i rozproszonego G. Birkhoff and S. MacLane, Algebra , Macmilllan, New York, 1965 R. Book and F. Otto

76. Aragorn.pb.bialystok.pl/~radev/matbib.txt and nets}, journal={Fundamenta Informatic\ae}, volume=11, number=4, year=1988,pages={357403}, } @INCOLLECTION{ras, author={helena rasiowa}, title={Many http://aragorn.pb.bialystok.pl/~radev/matbib.txt

77. Mathem_abbrev Ramanujan, Srinivasa Raphson, Joseph rasiowa, helena Rees, Mina RegiomontanusRham, Georges de, Rheticus, Georg Ricci, Matteo Ricci, Michelangelo Richmond http://www.pbcc.cc.fl.us/faculty/domnitcj/mgf1107/mathrep1.htm

Mathematician Report Index Below is a list of mathematicians. You may choose from this list or report on a mathematician not listed here. In either case, you must discuss with me the mathematician you have chosen prior to starting your report. No two students may write a report on the same mathematician. I would advise you to go to the library before choosing your topic as there might not be much information on the mathematician you have chosen. Also, you should determine the topic early in the term so that you can "lock-in" your report topic!! The report must include: 1. The name of the mathematician. 2. The years the mathematician was alive. 3. A biography. 4. The mathematician's major contribution(s) to mathematics and an explanation of the importance. 5. A historical perspective during the time the mathematician was alive. Some suggestions on the historical perspective might be: (a) Any wars etc. (b) Scientific breakthroughs of the time (c) Major discoveries of the time (d) How did this mathematician change history etc.

78. Andrzej Salwicki CV place University of Warsaw, Department of Mathematics and Mechanics.promotor prof. helena rasiowa. opponents prof.A.Mostowski, prof. http://www.univ-pau.fr/~salwicki/cvas95eng.html

ANDRZEJ SALWICKI Publications Table of Contents CURRICULUM VITAE Degrees Professional career TEACHER ... Organizer of symposia 1. CURRICULUM VITAE Name : Salwicki Andrzej , Jozef Born : 28.04.1938, Stanislawow , Polska Citizenship : polish Adres : 5, rue Pasteur Cadier, res. Chênes 2, 64000 PAU FRANCE tel : (0033) married: with G.Mirkowska 2 children: Employed : Université de Pau, Département d'Informatique Position : profesor toTable of Contents 1.1. Degrees M.Sc. title: " On classification of ANR Absolute Neighbourhood Retracts date : 1-07-1960 place : University of Warsaw, Department of Mathematics and Physics advisor : prof. K. Borsuk Ph.D. title : " On formalisation of the notion of program date : 23-06-1968 place : University of Warsaw, Department of Mathematics and Mechanics promotor : prof. Helena Rasiowa opponents : prof.A.Mostowski, prof. Z.Pawlak, prof.J.Slupecki Dr. Sc. "Habilitationsschrift" title : " Programmability and recursiveness (an application of algorithmic logic to procedures) date : 11-11-1974 place : University of Warsaw, Department of Mathematics, Informatics and Mechanics

79. FAMOUS RESEARCHERS IN MULTI-VALUED LOGIC Emil Post. Extended early results of Lukasiewicz. helena rasiowa. Logic with infinitevalues. Approximation logic. Relation to Computer Science. Lotfi Zadeh. http://www.ee.pdx.edu/~mperkows/ISMVL/==famous-researchers.html

FAMOUS RESEARCHERS IN MULTI-VALUED LOGIC FAMOUS RESEARCHERS IN THE AREA OF MULTI-VALUED LOGIC Ramon Llull Created the concept of "Cartesian" product and applied it to logic. Logic machines. Jan Lukasiewicz. First paper on multi-valued logic published. Emil Post. Extended early results of Lukasiewicz. Helena Rasiowa. Logic with infinite values. Approximation logic. Relation to Computer Science. Lotfi Zadeh. Fuzzy Logic. ... Zdzislaw Pawlak. Rough Set Theory.

80. Dr. Michael Taitslin universe. Logic, Algebra, and Computer Science. helena rasiowa in Memoriam, Banach Center Publications, vol.46, pages 2362. Banach http://homepages.tversu.ru/~p000101/Taitslin_sci.htm

Home address 108 Gorkogo St., apt. 148, Tver 170005 Russia E-mail p000101@tversu.ru Home phone Russian version Computer Science Seminar Personal information (PostScript format, English) Personal information (Russian) ... Publications (English) PAPERS (PostScript format, Russian) M.A. Taitslin. Restricted Pseudo-finite Homogeneity and Isolation. Tver State University, 2003 M.A. Taitslin. ... Tver, Tver State University, 2002 PAPERS (PostScript format, English) O.V. Belegradek, A.P. Stolboushkin, and M.A. Taitslin. Extended order-generic queries. Annals of Pure and Applied Logic M.A. Taitslin. ... ACM Transactions on Database Systems Presented TALKS (PostScript format, English) Novikov conference. Collapse results in database theory Finite Model Theory Workshop. Bedlewo, Poland Collapse results in database theory Presented TALKS (HTML format for Mikrosoft, English) Finite Model Theory Workshop. Bedlewo, Poland Collapse results in database theory Send e-mail Homepages Last updated: April 1, 2003 sl="1.3"

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 4     61-80 of 88    Back | 1  | 2  | 3  | 4  | 5  | Next 20