Higher-order logic

Formal analysis of fractional order systems in HOL

Umair Siddique, Osman Hasan

引用数: 14 • 2011

A Spatial Logic for the Hybrid π-Calculus

William C. Rounds

引用数: 12 • 2004

How to clear a block: Plan formation in situational logic

Zohar Manna, Richard Waldinger

引用数: 11 • 1986

A Simplified Version of the Fuzzy Decision Method and its Comparison with the Paraconsistent Decision Method

Fábio Romeu de Carvalho, Jair Minoro Abe, Daniel M. Dubois

引用数: 9 • 2010

A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives

A. de Carvalho, João F. Justo, Alexandre M. de Oliveira, João Inácio da Silva Filho

引用数: 7 • 2023

Paraconsistent Annotated Logic in Viability Analysis: an Approach to Product Launching

Fábio Romeu de Carvalho

引用数: 7 • 2004

Formalization of Function Matrix Theory in HOL

Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

引用数: 6 • 2014

Intelligent System of Paraconsistent Logic to Control Autonomous Moving Robots

Cláudio Rodrigo Torres, Germano Lambert‐Torres, Luiz Eduardo Borges da Silva, Jair Minoro Abe

引用数: 6 • 2006

A portable cubic-foot standard for gas

M.H. Stillman

引用数: 3 • 1919

SPATIAL LOGIC CONCEPTS

S. A. Kudzh, Victor Ya. Tsvetkov

引用数: 2 • 2020

Annotated Logics and Intelligent Control

Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

引用数: 2 • 2016