Sage Journals: Discover world-class research

Retricted access

Research article

First published 1994-6

MODIFYING INTENSIONAL LOGIC KNOWLEDGE

Nicola Leone, Luigi Palopoli, Massimo Romeo

Fundamenta Informaticae

Free access

Research article

First published 2014-11

Decidability of Logic of Correlated Knowledge

Haroldas Giedra, Jūratė Sakalauskaitė, Romas Alonderis

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2011-2

Non-classical logics for knowledge representation and reasoning

Laura Giordano, Valentina Gliozzi, Nicola Olivetti [...]

Intelligenza Artificiale

Free access

Research article

First published 2016-5

Description logic–based knowledge merging for concrete- and fuzzy-domain ontologies

Sri Krishna Kumar, Jennifer A Harding

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2010-10

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity

Linh Anh Nguyen

Fundamenta Informaticae

Free access

Research article

First published 2006-2

Sequent Calculi for Temporal Logics of Common Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2015-5

Managing Knowledge Integration: Balancing Professional and Managerial Logics in an Engineering Consulting firm

Susanne Ollila, Alexander Styhre, Andreas Werr

German Journal of Human Resource Management: Zeitschrift für Personalforschung

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2008-11

Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Regimantas Pliuškevičius, Aida Pliuškevičienė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2019-1

Representing and reasoning fuzzy spatio- temporal knowledge with description logics: A survey

Haitao Cheng, Ruchuan Wang, Peng Li [...]

Intelligent Data Analysis: An International Journal

Search results