Search

Your search keyword '"propositional logic"' showing total 519 results

Search Constraints

Start Over You searched for: Descriptor "propositional logic" Remove constraint Descriptor: "propositional logic" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
519 results on '"propositional logic"'

Search Results

1. Exploring Learning in Basic Logic Using Stored Log Data and Exam Data

2. Gödel’s Introduction to Deduction

4. Boosting Definability Bipartition Computation Using SAT Witnesses

5. Parameterized Complexity of Propositional Inclusion and Independence Logic

6. Learning Analytics Based on Streamed Log Data from a Course in Logic

7. An Interpretable Knowledge Representation Framework for Natural Language Processing with Cross-Domain Application

9. Basic Logic Versus Multi-adjoint Logic

10. Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic

11. Defeasible Justification Using the KLM Framework

14. The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown

16. Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL

17. Features Analysis of a Patent Act Based on Legal Condition–Effect Structure: Conversion of Law Texts into Logical Formulas for a Learning Support System

18. Propositional Deductive Inference by Semantic Vectors

19. The Use of E-learning Tools and Log Data in a Course on Basic Logic

20. Increasing the Inference and Learning Speed of Tsetlin Machines with Clause Indexing

22. A Tsetlin Machine with Multigranular Clauses

23. The Regression Tsetlin Machine: A Tsetlin Machine for Continuous Output Problems

24. Heráclito: Intelligent Tutoring System for Logic

25. The Merits of Compositional Abstraction: A Case Study in Propositional Logic

26. B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

27. Jan Łukasiewicz: A Creator of New Ideas in Logic and a Reinterpreter of Its History

30. Approaches for Enumerating All the Essential Prime Implicants

31. Exploiting Treewidth for Projected Model Counting and Its Limits

32. Default Logic and Bounded Treewidth

33. Today - Only TEA and no CAAffee. But Tomorrow?

34. From the Square to Octahedra

35. Propositional and Predicate Logic

36. Derivation and Proofs in the Propositional Logic

38. The Black Hole in Mathematics

41. Heráclito: Learning Environment to Teach Logic

46. Quantified Formulas

47. Equality Logic and Uninterpreted Functions

48. Introduction and Basic concepts

49. Decision Procedures for Propositional Logic

Catalog

Books, media, physical & digital resources