RESULTS OF ANALYSIS OF TASKS SOLUTIONS FOCUSED ON SELECTED ELEMENTS OF PROPOSITIONAL LOGIC IN THE CONTEXT OF SCIENCE AND MATHEMATICS SUBJECTS IN THE POST-FORMAL STAGE OF COGNITIVE DEVELOPMENTSZARKA, KATARNAFEHR, ZOLTNJARUSKA, LADISLAVTAROV, EVA TTHOV...
Analysis of the solutions developed for different problems reveals similarities in the algorithms used, and often motivates the question whether a common set of algorithms could be considered instead. Among many other examples, this is apparent in algorithms for computing minimal unsatisfiable formulae ...
Originally, Nemo applied the Tseitin’s CNF transformation with Skolemization (Tseitin, 1983), the fastest known encoding to transform PFs into a CNF formula while maintaining model equivalence and model count (ie., not altering the total number of solutions). And now, Nemo2 supports other ...
In addition to this positive outcome, EvoLogic's model tracing mechanism is novel in its use of genetic algorithms to build solutions on the fly for propositional logic exercises started by the students.doi:10.1007/s40593-021-00287-7Galafassi, Cristiano...
Moreover, we not only prove the existence of solutions for all such equations, but also provide an explicit solution ψ \\psi for each fixed-point equation.Lyon, Tim S.Technische Universität DresdenSpringer, ChamInternational Conference on Fundamentals of Software Engineering...
We have tested our implementation on a number of examples; we show in this paper the application of PITL and its MONA-based decision procedure in solutions to the dining-philosophers and a multimedia synchronisation problem, together with some experimental results on these and some other examples....
The monograph should be of interest to a wide audience, ranging from data scientists, machine learning researchers and students to developers, software engineers and industrial researchers interested in hands-on AI solutions.doi:10.1007/978-3-030-68817-2Nada Lavra...
When m n ≤ 2, the instances are mostly satisfiable, and the solutions is "easy" in the sense that there are very few restrictions over a large number of variables, so almost any valuation satisfies the formula. On the other hand, when m n ≥ 6 the problems are mostly unsatisfiable ...