Search Results - algorithmic logic with non-deterministic programs~

Model existence theorem in algorithmic logic with non-deterministic programs1: Model existence theorem in algorithmic logic with non-deterministic programs

Authors: Grazyna Mirkowska

Source: Fundamenta Informaticae. 3:157-170

Subject Terms: deterministic algorithmic logic, Specification and verification (program logics, model checking, etc.), non-deterministic programs, 06 humanities and the arts, 0101 mathematics, 0603 philosophy, ethics and religion, 01 natural sciences, Abstract data types, algebraic specification

File Description: application/xml

Access URL: https://zbmath.org/3686774
https://dblp.uni-trier.de/db/journals/fuin/fuin3.html#Mirkowska80a

The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs

Authors: Biela, Andrzej

Subject Terms: nondeterminism, algorithmic logic, theories of programming, program substitution operator, Post completeness, extension of algorithmic logic, General topics in the theory of software, non-deterministic programs, structural completeness, Other nonclassical logic, Abstract data types, algebraic specification

File Description: application/xml

Access URL: https://zbmath.org/3881873
http://hdl.handle.net/20.500.12128/16004

Program-substitution and admissibility of rules in algorithmic logic

Authors: Andrzej Biela

Source: Acta Informatica. 25:439-473

Subject Terms: algorithmic structural completeness, Logic in computer science, algorithmic logic, admissibility of rules, non- deterministic programs, program substitution, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Abstract data types, algebraic specification

File Description: application/xml

Access URL: https://zbmath.org/4020468
https://doi.org/10.1007/bf02737110
https://link.springer.com/content/pdf/10.1007/BF02737110.pdf
https://link.springer.com/article/10.1007%2FBF02737110
https://dblp.uni-trier.de/db/journals/acta/acta25.html#Biela88

Algorithmic logic with nondeterministic programs1: Algorithmic logic with nondeterministic programs

Authors: Grazyna Mirkowska

Source: Fundamenta Informaticae. 3:45-64

Subject Terms: Specification and verification (program logics, model checking, etc.), algorithmic logic, completeness, 06 humanities and the arts, 0101 mathematics, 16. Peace & justice, 0603 philosophy, ethics and religion, non-deterministic program, 01 natural sciences, Abstract data types, algebraic specification

File Description: application/xml

Access URL: https://zbmath.org/3686773
https://dblp.uni-trier.de/db/journals/fuin/fuin3.html#Mirkowska80
https://content.iospress.com/articles/fundamenta-informaticae/fi3-1-05

Logic LNCA of non-deterministic complex algorithms

Authors: Rasiowa, Helena

Subject Terms: interacting stacks, logic of non-deterministic complex algorithms, non-deterministic regular programs, algorithmic logic with non-deterministic programs, Abstract data types, algebraic specification

File Description: application/xml

Access URL: https://zbmath.org/3903964

Program-substitution and admissibility of rules in algorithmic logic.

Authors: Biela, Andrzej

Source: Acta Informatica; 1988, Vol. 25 Issue 4, p439-473, 35p

Contribution of Warsaw Logicians to Computational Logic.

Authors: Niwiński, Damian

Source: Axioms (2075-1680); 2016, Vol. 5 Issue 2, p16, 8p

Subject Terms: LVOV-Warsaw school of philosophy, LOGICIANS, PHILOSOPHY of mathematics, COMPUTER programming, COMPUTATIONAL complexity, AXIOMATIC set theory

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Authors: Quaresma, Pedro Graziani, Pierluigi Nicoletti, Stefano M.

Source: Electronic Proceedings in Theoretical Computer Science. 398:85-100

Subject Terms: Computer Science - Logic in Computer Science, I.2.3, F4, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2401.11905

Regulatory Perspectives for AI/ML Implementation in Pharmaceutical GMP Environments.

Authors: Niazi, Sarfaraz K.

Source: Pharmaceuticals (14248247); Jun2025, Vol. 18 Issue 6, p901, 13p

Subject Terms: CURRENT good manufacturing practices, DIGITAL transformation, MACHINE learning, ARTIFICIAL intelligence, DATA integrity

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Smart Timetable Scheduler and Management System for Campus.

Authors: M. B., Abhishek T. G., Vibha H. M., Bindu et al.

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 3, p10214-10234, 21p

Subject Terms: PARTICLE swarm optimization, ARTIFICIAL intelligence, MACHINE learning, RASPBERRY Pi, TIME management

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

A tale of two scripts: Applying the principle of least complexity to simplified and traditional Chinese.

Authors: Hemelstrand, Shawn Inoue, Tomohiro

Source: Journal of Cultural Cognitive Science; Aug2025, Vol. 9 Issue 2, p255-271, 17p

Control of Non-deterministic Transition Systems for Linear Temporal Logic Specifications

Authors: Sun, Zhibing

Subject Terms: control, non-deterministic transition system, linear temporal logic, automata theory, infinite game, formal method

Relation: http://hdl.handle.net/10012/16783

Availability: http://hdl.handle.net/10012/16783

Algorithmic logic. Multiple-valued extensions.

Authors: Rasiowa, Helena

Source: Studia Logica; Dec1979, Vol. 38 Issue 4, p317-335, 19p

Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.

Authors: Künnemann, Marvin Mazowiecki, Filip Schütze, Lia et al.

Source: Journal of the ACM; Oct2025, Vol. 72 Issue 5, p1-27, 27p

Subject Terms: MATHEMATICAL bounds, DETERMINISTIC algorithms, DECIDABILITY (Mathematical logic), HYPOTHESIS

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

Authors: Zhao, Jianing Zhu, Keyi Feng, Mingyang et al.

Source: International Journal of Robotics Research; Aug2025, Vol. 44 Issue 9, p1526-1552, 27p

Subject Terms: ROBOTIC path planning, LOGIC, OPTIMIZATION algorithms, EMPIRICAL research

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Authors: Bach, Bao Gia Kundu, Akash Acharya, Tamal et al.

Source: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Subject Terms: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

Intuitionistic Letcc via Labelled Deduction

Authors: Reed, Jason Pfenning, Frank

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Mar2009, Vol. 231, p91-111. 21p.

Subject Terms: Intuitionistic mathematics, Automatic theorem proving, Mathematical logic, Computational mathematics, Embeddings (Mathematics), Mathematical models, Mathematical analysis

Formal aspects of structured programming with goto statements

Authors: Tsejtlin, G. E.

Subject Terms: Specification and verification (program logics, model checking, etc.), goto statements, logical program schemata, algorithmic algebras, structured programming, General topics in the theory of software, unstructured contructs, Yanov schemata, regular schemata

File Description: application/xml

Access URL: https://zbmath.org/3878325