Ivan Josť online
Library Home || Full Table of Contents || Library Help
|Ivan Josť Varzinczak|
|Research on logic-based knowledge representation and reasoning in Artificial Intelligence. Research areas: logic-based knowledge representation and reasoning; description logics, ontology engineering and semantic web; nonmonotonic reasoning, belief revision and updates; and reasoning about actions, causality.|
|Math Topics:||Logic/Foundations, Artificial Intelligence|
© 1994- The Math Forum at NCTM. All rights reserved.