Sage Journals: Discover world-class research

Retricted access

Research article

First published 1980

Model existence theorem in algorithmic logic with non-deterministic programs 1

Grażyna Mirkowska

Fundamenta Informaticae

Retricted access

Research article

First published 1981

PAL – Propositional Algorithmic Logic

Grażyna Mirkowska

Fundamenta Informaticae

Retricted access

Research article

First published 1981

Logic of Effective Definitions

Jerzy Tiuryn

Fundamenta Informaticae

Retricted access

Research article

First published 2014-3

Apriori-Based Rule Generation in Incomplete Information Databases and Non-Deterministic Information Systems

Hiroshi Sakai, Mao Wu, Michinori Nakata

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

Retricted access

Research article

First published 2010-4

Fuzzy Clustering for Semantic Knowledge Bases

Floriana Esposito, Claudia d'Amato, Nicola Fanizzi

Fundamenta Informaticae

Retricted access

Research article

First published 2016-7

Fitness-scaling adaptive genetic algorithm with local search for solving the Multiple Depot Vehicle Routing Problem

Shuihua Wang, Zeyuan Lu, Ling Wei [...]

SIMULATION

Retricted access

Research article

First published 2021-6

‘Where are the people? What are they doing? Why are they doing it?’(Mindell) Situating artificial intelligence within a socio-technical framework

Robert Holton, Ross Boyd

Journal of Sociology

Retricted access

Research article

First published 2014-6

Cue-based aggregation with a mobile robot swarm: a novel fuzzy-based method

Farshad Arvin, Ali Emre Turgut, Farhad Bazyari [...]

Adaptive Behavior

Retricted access

Research article

First published 2013-9

Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures

Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye [...]

Computability

Search results