Logic in knowledge representation and exploration

(ed.)
Białystok: University of Białystok (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

BC108.L645 2009

ISBN(s)

8374312319

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

The system of electronic registration of information about patients treated for infertility with the ivf icsi/et method.Milewski Robert, Jamiołkowski Jacek, Milewska Anna Justyna, Domitrz Jan & Wolczynski Slawomir
Temporal Logic Model Checkers as Applied in Computer Science.  (pages 13)Kazimierz Trzęsicki
Application of bitemporal databases containing medical data12.  (pages 193)Mariusz Giero
Storing and Retrieving information on the treatment of infertility with the use of the bitemporal database and temporal logic.  (pages 213)Mariusz Giero & Robert Milewski

Similar books and articles

Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 13.
Application of bitemporal databases containing medical data12.Mariusz Giero - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 193.
Storing and Retrieving information on the treatment of infertility with the use of the bitemporal database and temporal logic.Mariusz Giero & Robert Milewski - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 213.
The system of electronic registration of information about patients treated for infertility with the ivf icsi/et method.Milewski Robert, Jamiołkowski Jacek, Milewska Anna Justyna, Domitrz Jan & Wolczynski Slawomir - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok.
Knowledge representation and classical logic.Vladimir Lifschitz, L. Morgenstern & D. Plaisted - manuscript
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers'. [REVIEW]Jürgen Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 2001 - Studia Logica 68 (2):299-300.
Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscript
Deontic Logic and Legal Knowledge Representation.Andrew J. I. Jones - 1990 - Ratio Juris 3 (2):237-244.
Logic and knowledge representation.V. V. Petrov & Vn Pereverzev - 1990 - Communication and Cognition. Monographies 23 (4):267-276.
Argumentation theory and knowledge representation.DrsP A. Smit - 1988 - In Jakob Hoepelman (ed.), Representation and reasoning: proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. Tübingen: M. Niemeyer Verlag.

Analytics

Added to PP
2011-11-27

Downloads
3 (#1,729,579)

6 months
6 (#587,658)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references