Sage Journals: Discover world-class research

Retricted access

Research article

First published 1983

Constrained Petri Nets. Part II: Generalizations and extensions

H.J.M. Goeman, L.P.J. Groenewegen, H.C.M. Kleijn [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

Expressing default abduction problems as quantified Boolean formulas

Hans Tompits

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-10-07

Switching function based on hypergraphs with algorithm and python programming

Mohammad Hamidi, Marzieh Rahmati, Akbar Rezaei

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

Retricted access

Research article

First published 1991

Three-Valued Predicates for Software Specification and Validation

Andrzej Blikle

Fundamenta Informaticae

Open access

Research article

First published 2006-2

Translating Pseudo-Boolean Constraints into SAT

Niklas Eén, Niklas Sörensson

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2001-8

Concept Based Retrieval Using Generalized Retrieval Functions

Minkoo Kim, Jitender S. Deogun, Vijay V. Raghavan

Fundamenta Informaticae

Retricted access

Research article

First published 2012-7

A Boolean Approach for Disentangling the Roles of Submodules to the Global Properties of a Biomodel

Elena Czeizler, Andrzej Mizera, Ion Petre

Fundamenta Informaticae

Retricted access

Research article

First published 1986-08

Decision Tables and logic in Decision Analysis

Paul Glasziou, Jörgen Hilden

Medical Decision Making

Free access

Research article

First published 1988-1

A menu interface to formulate Boolean logic – Can it be done? *

Ulla de Stricker

Information Services and Use

Retricted access

Research article

First published 2000-08

Algorithms for Identifying Boolean Networks and Related Biological Networks Based on Matrix Multiplication and Fingerprint Function

Tatsuya Akutsu, Satoru Miyano, Satoru Kuhara

Journal of Computational Biology

Search results