Search results

Articles (6)

Journals (0)

1-6 of 6 results for multi-resolution lattices

Sort by:

Relevance

Select all

Sort by:

Relevance

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

Jia Hairui, Liu Yi, Xu Yang

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

Retricted access

Research article

First published 2022-4

Bin Yang, Xuewei Song, Zhenhai Gao [...]

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

Retricted access

Research article

First published 2009-08

Maxim Likhachev, Dave Ferguson

The International Journal of Robotics Research

Retricted access

Research article

First published 2012-9

Michelle N. Archuleta, Jason E. McDermott, Jeremy S. Edwards [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

D. Colognesi, C. Andreani, E. Degiorgi

Journal of Neutron Research