Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-6

Generalized Interpolation in First Order Logic

Tomasz Borzyszkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2014-5

First-order logic system $\mathbf{IMTL_{Q}^{*}}$ and triple I method in fuzzy reasoning with linguistic quantifiers

Xiaohong Zhang, Xu Zeng

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

Retricted access

Research article

First published 1985

Axiomatizable Classes in Many-Sorted Logics of Programs

Wktor Danko

Fundamenta Informaticae

Retricted access

Research article

First published 1981

A Second-Order Dynamic Logic with Array Assignments

Petr Hajek, Petr Kůrka

Fundamenta Informaticae

Retricted access

Research article

First published 2011-1

Towards a Behavioral Algebraic Theory of Logical Valuations

Carlos Caleiro, Ricardo Gonçalves

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

Model‐based diagnosis for open systems fault management

F. Steimann, P. Fröhlich, W. Nejdl

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2008-3

Relational methodology for data mining and knowledge discovery

E.E. Vityaev, B.Y. Kovalerchuk

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2016-11

Public Managers,Media Influence,and Governance

Erik Hans Klijn, Mark van Twist, Martijn van der Steen [...]

Administration & Society

Retricted access

Research article

First published 2012-6

“The constantly recurring argument”: Inferring quantity from order

Joel Michell

Theory & Psychology

Free access

Research article

First published 2010-2

Factor Structures of the Neurocognitive Assessments and Familial Analysis in First-Episode Schizophrenia Patients,Their Relatives and Controls

Qiang Wang, Evangelos Vassos, Wei Deng [...]

Australian & New Zealand Journal of Psychiatry

Search results