Suchergebnisse - 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

Autoren: Grazyna Mirkowska

Quelle: Fundamenta Informaticae. 3:157-170

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Biela, Andrzej

Schlagwörter: 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

Dateibeschreibung: application/xml

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

Program-substitution and admissibility of rules in algorithmic logic

Autoren: Andrzej Biela

Quelle: Acta Informatica. 25:439-473

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Grazyna Mirkowska

Quelle: Fundamenta Informaticae. 3:45-64

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Rasiowa, Helena

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

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/3903964

Program-substitution and admissibility of rules in algorithmic logic.

Autoren: Biela, Andrzej

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

Contribution of Warsaw Logicians to Computational Logic.

Autoren: Niwiński, Damian

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

Schlagwörter: 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

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

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

Schlagwörter: Computer Science - Logic in Computer Science, I.2.3, F4, Computer Science - Artificial Intelligence

Zugangs-URL: http://arxiv.org/abs/2401.11905

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

Autoren: Niazi, Sarfaraz K.

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

Schlagwörter: 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

Autoren: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Schlagworte: 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.

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

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

Schlagwörter: 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

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Schlagworte: 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.

Autoren: Hemelstrand, Shawn Inoue, Tomohiro

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

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

Autoren: Sun, Zhibing

Schlagwörter: control, non-deterministic transition system, linear temporal logic, automata theory, infinite game, formal method

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

Verfügbarkeit: http://hdl.handle.net/10012/16783

Algorithmic logic. Multiple-valued extensions.

Autoren: Rasiowa, Helena

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

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

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

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

Schlagwörter: MATHEMATICAL bounds, DETERMINISTIC algorithms, DECIDABILITY (Mathematical logic), HYPOTHESIS

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

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

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

Schlagwörter: ROBOTIC path planning, LOGIC, OPTIMIZATION algorithms, EMPIRICAL research

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

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

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

Schlagwörter: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

Intuitionistic Letcc via Labelled Deduction

Autoren: Reed, Jason Pfenning, Frank

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

Schlagwörter: Intuitionistic mathematics, Automatic theorem proving, Mathematical logic, Computational mathematics, Embeddings (Mathematics), Mathematical models, Mathematical analysis

Formal aspects of structured programming with goto statements

Autoren: Tsejtlin, G. E.

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/3878325