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: 91,386

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

Application of bitemporal databases containing medical data12.Mariusz Giero
Storing and Retrieving information on the treatment of infertility with the use of the bitemporal database and temporal logic.Mariusz Giero & Robert Milewski
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.Kazimierz Trzęsicki

Similar books and articles

Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.
Knowledge representation and classical logic.Vladimir Lifschitz, L. Morgenstern & D. Plaisted - manuscript
Generic generalisations, discourse representation structures, and knowledge representation.Gerhard Heyer - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
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. M. Niemeyer Verlag.
Deontic logic in the representation of law: Towards a methodology. [REVIEW]Andrew J. I. Jones & Marek Sergot - 1992 - Artificial Intelligence and Law 1 (1):45-64.
Kant, wittgenstein and the limits of logic.Mary Tiles - 1980 - History and Philosophy of Logic 1 (1-2):151-170.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Managing Informal Mathematical Knowledge: Techniques from Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
SCL: A Logic Standard for Semantic Integration.Christopher Menzel & Patrick Hayes - 2003 - Semantic Integration, CEUR Workshop Proceedings, Vol. 82 (2003).
Games in logic.Johan van Benthem - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
Logic-based open systems.Robert Kowalski - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
Algebras of intervals and a logic of conditional assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.
Representation and reasoning: proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming.Jakob Hoepelman (ed.) - 1988 - Tübingen: M. Niemeyer Verlag.
Interpreting first-order theories into a logic of records.Marcel van de Vel - 2002 - Studia Logica 72 (3):411-432.

Analytics

Added to PP
2011-11-27

Downloads
5 (#1,510,250)

6 months
3 (#992,474)

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