Sites ähnlich Kurt.Scitec.Kobe-u.Ac.Jp

department of computer science in university ben-gurion of negev

Performs basic and applied research on the ontological foundations of conceptual modeling. Features events, projects, publications, tutorials and contact for ...

Universidad Nacional de Colombia

Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in ...

University of Waterloo - Universal algebra, logic, computers.

Indiana University is a leading research and teaching institution and one of the best values in public education according to Kiplinger's.

ECOR represents a new approach in applying ontology to a variety of problems in information science and related areas, by coordinating institutions, organisations ...

Stanford University is one of the world's leading research and teaching institutions. It is located in Stanford, California.