Search results

Articles (6)

Journals (0)

1-6 of 6 results for non-deterministic algorithmic logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published 1980

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

Grażyna Mirkowska

Fundamenta Informaticae

Restricted accessResearch articleFirst published March, 2014

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

Hiroshi Sakai, Mao Wu, Michinori Nakata

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 2014

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Restricted accessResearch articleFirst published July, 2016

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

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

SIMULATION

Restricted accessResearch articleFirst published September, 2013

Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures

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

Computability

Restricted accessResearch articleFirst published August, 2025

No-regret path planning for temporal logic tasks in partially-known environments

Jianing Zhao, Keyi Zhu, Mingyang Feng [...]

The International Journal of Robotics Research

Search results

Articles (6)

Journals (0)

1-6 of 6 results for non-deterministic algorithmic logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published 1980

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

Grażyna Mirkowska

Fundamenta Informaticae

Restricted accessResearch articleFirst published March, 2014

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

Hiroshi Sakai, Mao Wu, Michinori Nakata

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 2014

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Restricted accessResearch articleFirst published July, 2016

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

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

SIMULATION

Restricted accessResearch articleFirst published September, 2013

Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures

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

Computability

Restricted accessResearch articleFirst published August, 2025

No-regret path planning for temporal logic tasks in partially-known environments

Jianing Zhao, Keyi Zhu, Mingyang Feng [...]

The International Journal of Robotics Research