Concrete examples include computing minimal unsatisfiable subsets, minimal correction subsets, prime implicates and implicants, minimal models, backbone literals, and autarkies, among several others. In most cases, solving a function problem requires a number of adaptive or non-adaptive calls to a SAT...
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...
A wealth of worked examples and exercises encourage active participation in the development of the material Focuses on core material that is vital for many directions of further study No prior knowledge of logic is assumed 14k Accesses 1 Citations 52 Altmetric This...
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...
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...
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....