„Propositional Logic“

Suchergebnisse

1.000+ Treffer

• Parameterised complexity of model checking and satisfiability in propositional dependence logic
  Mahmood, Yasir ; Meier, Arne
• A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models
  Bernardes, Juliana S. ; Carbone, Alessandra ; Zaverucha, Gerson
• Applied Logic for Computer Scientists – Computational Deduction and Formal Proofs
  Ayala-Rincón, Mauricio ; Moura, Flávio L. C. ˜deœ 2017 Springer International Publishing
• Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
  Piecha, Thomas ; Schroeder-Heister, Peter
• Direction of Fit Accounts of Propositional Attitudes
  Zangwill, Nick
• Formalized Proof Systems for Propositional Logic
  Michaelis, Julius ; Nipkow, Tobias 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Confabulation does not undermine introspection for propositional attitudes
  Andreotta, Adam
• Proof Complexity of Propositional Default Logic
  Beyersdorff, Olaf ; Meier, Arne ; Müller, Sebastian ; Thomas, Michael ; Vollmer, Heribert
• Computational complexity of infinite valued Lukasiewicz propositional logic
  Wagner, Hubert 1995 Fernuniv., Fachbereich Informatik
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
  Esteva, Francesc ; Godo, Lluís ; Noguera, Carles
• Scalable SAT Solving and its Application
  Schreiber, Dominik Pascal ; Sanders, Peter ; Biere, Armin 2023 KIT-Bibliothek
• Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
  Döcker, Janosch 2021 Universitätsbibliothek Tübingen
• Recognition and Exploitation of Gate Structure in SAT Solving
  Iser, Markus ; Sinz, C. 2020 KIT-Bibliothek
• Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
  Behnke, Gregor 2019 Universität Ulm
• Towards Next Generation Sequential and Parallel SAT Solvers
  Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• AI's Knowledge Web: Logic Unleashed
  Sachin 2024 tredition
• Peirce's alpha graphs and propositional languages
  Shin, Sun-Joo
• Logic and Its Applications – 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
  Banerjee, Mohua ; Seth, Anil 2011 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• A technological approach to teaching inequalities, propositional and predicate logic
  Kovács, Zoltán ; Oldenburg, Reinhard ; Brown, Chris ; Kaufmann, Daniela ; Nalon, Cláudia ; Steen, Alexander ; Suda, Martin 2024 Universität Augsburg