Results 11 to 20 of about 235,856 (255)
Fuzzy Linguistic Logic Programming and its Applications [PDF]
, 2009 The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtas, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural ...
Le, Van Hung, Liu, Fei, Tran, Dinh Khang
core +1 more source
Making sense of step-by-step procedures [PDF]
, 2000 Procedural instructions that consist of only a sequence of steps will probably be executable, but nevertheless ¿meaningless¿ to users of technical devices.
Karreman, Joyce +2 more
core +7 more sources
Alogisms in criminal procedural legislation
Проблеми Законності, 2017 The article is devoted to the definition of the characteristic signs of legislative defects, which are caused by violations of the rules of logic, and find a negative reflection on the conceptual-categorical apparatus of the criminal procedural ...
Олена Анатоліївна Лейба
doaj +1 more source
SoftwareX, 2021 Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment ...
Nikolaos Batalas +2 more
doaj +1 more source
Procedural Budgeting: A Normative Approach to the Role of the Public Budgeting in Construction the Future Reality [PDF]
حکمرانی و توسعه, 2021 Budgeting can be treated as the heart of public policy-making process, because it involves choosing the ends and tools for achieving them, dividing the financial and economic resources of the community between the public and private sectors, and ...
Miryaghob Seyed rezaei +1 more
doaj +1 more source
THE LEGAL NATURE OF THE PERIOD FOR APPLYING TO THE COURT FOR ADMINISTRATIVE PROCEEDINGS
Правовое государство: теория и практика, 2022 In cases of administrative proceedings in courts of general jurisdiction and in arbitration courts, a general period of three months is established for an application to the court to challenge unlawful acts of authorities.
YUDIN Andrey Vladimirovich
doaj +1 more source
Complete synthesis of identity templates for quantum and reversible logic MCT circuits using SAT-solvers and proposal of suboptimality witness notion [PDF]
International Journal of Electronics and TelecommunicationsIn this study, we introduce a procedural generation technique for Identity Templates applicable to quantum and reversible logic circuits. These templates are recognized for their significant role in enhancing the efficiency of quantum and reversible ...
Adam Jagielski
doaj +1 more source
Procedural problems in the consideration of climate protection cases [PDF]
E3S Web of Conferences, 2023 The number of disputes initiated by organisations, public associations and citizens trying to fight for climate justice and carbon neutrality is growing every year in the world.
Strugovets Liliya
doaj +1 more source
A prototype implementation of the AUnit test automation framework for alloy [PDF]
, 2017 Alloy is a declarative language based on relational first-order logic. Unlike commonly used procedural languages, the testing criteria of declarative languages like Alloy has remained largely ad hoc.
Yu, Jiaolong
core +1 more source
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 2002 Automata-theoretic decision procedures for solving model-checking and satisfiability problems for temporal, dynamic, and description logics have flourished during the past decades. In the paper we define an EXPTIME decision procedure based on the emptiness problem of Büchi automata on infinite trees for the very expressive information logic SIM ...
Demri, Stéphane, Sattler, Ulrike
openaire +2 more sources