Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-1-30

Bisimilarity for paraconsistent description logics

Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc-Thanh Nguyen [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2011-1

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Free access

Research article

First published 2013-11

Paraconsistent OWL and related logics

Frederick Maier, Yue Ma, Pascal Hitzler

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2011-8

A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2009-12

Modeling and Reasoning with Paraconsistent Rough Sets

Aida Vitória, Jan Małuszyński, Andrzej Szałas

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Contradiction-Tolerant Process Algebra with Propositional Signals

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2019-07-09

A useful method for analyzing incomplete and inconsistent information: Paraconsistent soft sets and corresponding decision making methods

Yuanxiang Dong, Chenjing Hou

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2015-10

Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent

Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini

Fundamenta Informaticae

Retricted access

Research article

First published 2020-3

The securitization audience in theologico-political perspective: Giorgio Agamben,doxological acclamations,and paraconsistent logic

Michael P. A. Murphy

International Relations

Retricted access

Research article

First published 2006-7

Foundations of Paraconsistent Resolution

Norihiro Kamide

Fundamenta Informaticae

Search results