Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-5

Algorithms for computing backbones of propositional formulae

Mikoláš Janota, Inês Lynce, Joao Marques-Silva

The European Journal on Artificial Intelligence

Open access

Research article

First published 2023-6

An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF

Evgeny Dantsin, Alexander Wolpert

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-04

Switching Language Modes: Complementary Brain Patterns for Formulaic and Propositional Language

John J. Sidtis, Diana Van Lancker Sidtis, Vijay Dhawan [...]

Brain Connectivity

Open access

Research article

First published 2006-2

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages 1

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1982-5

Formulation and Experimental Verification of Models in Propositional Reasoning

J. Krauth

Quarterly Journal of Experimental Psychology

Retricted access

Research article

First published 2023-12-02

Convergence analysis of a survey propagation algorithm 1

Zhixin Xie, Xiaofeng Wang, Lan Yang [...]

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

Retricted access

Research article

First published 2003-7

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection

Philippe Balbiani

Fundamenta Informaticae

Retricted access

Research article

First published 1984

On Certain Property not Expressible in PAL

Grażyna Mirkowska

Fundamenta Informaticae

Retricted access

Research article

First published 2004-11

Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I

Richard Holzer

Fundamenta Informaticae

Retricted access

Research article

First published 1983

Remarks on Sequents Defined by Means of Information Systems

Miroslav Novotný

Fundamenta Informaticae

Search results