Dualities for structures of applied logics von Orłowska, Ewa 1935-

Inhaltsverzeichnis

Dual Tableaux Foundations, Methodology, Case Studies von Orłowska, Ewa 1935-, Golińska-Pilarek, Joanna 1976-

Beschreibung

Dual Tableaux foundations, methodology, case studies von Orłowska, Ewa 1935-, Golińska-Pilarek, Joanna 1976-

Volltext öffnen

Incomplete information structure, inference, complexity von Demri, Stéphane 1967-, Orłowska, Ewa 1935-

Logical foundations of knowledge representation von Orłowska, Ewa 1935-, Pawlak, Zdzisław 1926-2006

Representation of vague information von Orłowska, Ewa 1935-

Knowledge representation systems definability of informations von Konrad, Erhard, Orłowska, Ewa 1935-, Pawlak, Zdzisław 1926-2006

Logic approach to information systems von Orłowska, Ewa 1935-

Logic with nondeterministic worlds semantics von Orłowska, Ewa 1935-

Semantic considerations on relevance von Orłowska, Ewa 1935-, Weingartner, Paul 1931-

Reasoning about database constraints von Orłowska, Ewa 1935-

Semantical analysis of inductive reasoning von Orłowska, Ewa 1935-

Mechanical reasoning in fuzzy logics von Orłowska, Ewa 1935-, Wierzchoń, Sławomir

Mechanical proof methods for Post logics von Orłowska, Ewa 1935-

Dynamic information systems von Orłowska, Ewa 1935-

Representation of nondeterministic information von Orłowska, Ewa 1935-, Pawlak, Zdzisław 1926-2006

Program logic with quantifiable propositional variables von Orłowska, Ewa 1935-

Dependency of attributes in information systems von Orłowska, Ewa 1935-

Theorem-proving systems von Orłowska, Ewa 1935-

Logic for reasoning about knowledge von Orłowska, Ewa 1935-