Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-5

Multi-Valued MSO Logics OverWords and Trees

Manfred Droste, Werner Kuich, George Rahonis

Fundamenta Informaticae

Retricted access

Research article

First published 2019-05-14

Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions

Krystian Jobczyk

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

Retricted access

Research article

First published 2015-10-23

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF ( X ) 1

Liu Yi, Xu Yang, Zhong Xiaomei

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

Retricted access

Research article

First published 2018

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system 1

Jia Hairui, Liu Yi, Xu Yang

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

Retricted access

Research article

First published 2020-9

Parameter optimization of rule-based control strategy for multi-mode hybrid electric vehicle

Wei Du, Shengdun Zhao, Liying Jin [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Other

First published 2003-5

Constraint solving over multi‐valued logics – application to digital circuits

Francisco de Moura e Castro Ascensão de Azevedo

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2017

Modelling and Analysing Qualitative Biological Models using Rewriting Logic

Abdullah Alhumaidan, Jason Steggles

Fundamenta Informaticae

Retricted access

Research article

First published 2004-4

On Designated Values in Multi-valued CTL^* Model Checking

Beata Konikowka, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2011-10

A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices

Martin Huschenbett

Fundamenta Informaticae

Free access

Research article

First published 2024-10

Playing the scales: A strategy adopted by resistance coalitions for public value creation

Marija Roglic, Florence Palpacuer, Daniel S. Lacerda

Organization

Search results