Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-5

Can Proofs be Animated by Games?

Susumu Hayashi

Fundamenta Informaticae

Retricted access

Research article

First published 1999-1

Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms

Didier Dubois, Daniel Le Berre, Henri Prade [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020-02-06

Developing a computationally effective Interval Type-2 TSK Fuzzy Logic Controller 1

Abel Hailemichael, Syed Moshfeq Salaken, Ali Karimoddini [...]

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

Retricted access

Research article

First published 2004-8

Logics for Real Time: Decidability and Complexity

Yoram Hirshfeld, Alexander Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8

SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions

Fabrizio Riguzzi

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

A Quantifier-free First-order Knowledge Logic of Authentication

Mirosław Kurkowski, Marian Srebrny

Fundamenta Informaticae

Retricted access

Research article

First published 1990-2

Determination of Adopter Categories by Using Innovation Diffusion Models

Vijay Mahajan, Eitan Muller, Rajendra K. Srivastava

Journal of Marketing Research

Retricted access

Research article

First published 1977

Investigations of properties of programs by means of the extended algorithmic logic I

Lech Banachowski

Fundamenta Informaticae

Free access

Research article

First published 1996-11

Automating Algebraic Proofs in Algebraic Logic

Jieh Hsiang, Anita Wasilewska

Fundamenta Informaticae

Retricted access

Research article

First published 2014-7

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Search results