MODEL THEORY AND CALCULUS FOR THE DESCRIPTION LOGIC DL-LITE

MODEL THEORY AND CALCULUS FOR THE DESCRIPTION LOGIC DL-LITEShort Description
MODEL THEORY AND CALCULUS FOR THE DESCRIPTION. LOGIC DL-LITE. F. A DISSERTATION. SUBMITTED TO THE FACULTY OF COMPUTER SCIENCE …

Website: www.inf.unibz.it | Filesize: 480kb

Content
MODEL THEORY AND CALCULUS FOR THE DESCRIPTION
LOGIC DL-LITEF
A DISSERTATION
SUBMITTED TO THE FACULTY OF COMPUTER SCIENCE
OF THE FREE UNIVERSITY OF BOZEN-BOLZANO
FOR THE DEGREE OF
MASTER OF SCIENCE
By
Evgeny Kharlamov
October 2006I certify that I have read this dissertation and that, in my opinion, it is fully
adequate in scope and quality as a dissertation for the degree of Master of Science
in Computer Science.
(Prof. Diego Calvanese) First Supervisor
I certify tha…

Get the file Download here

AddThis Social Bookmark Button
Related Books:
  • An Ordered Theory Resolution Calculus for Hybrid Reasoning in …
  • A full formalisation of -calculus theory in the calculus of …
  • Categorical Proof Theory of Classical Propositional Calculus
  • Multivariable Calculus, Applications and Theory
  • A MECHANIZED THEORY OF THE -CALCULUS IN HOL
  • Calculus, Applications and Theory
  • Calculus, Applications and Theory
  • The π-calculus a Theory of Mobile Processes

    • Filed Under Mathematics, Sciences 

    Related Searches: , , , ,



    Comments

    Leave a Reply