Suggested Topics within your search.
Showing 161 - 180 results of 273 for search '"propositional logic"', query time: 1.30s Refine Results
  1. 161
    The Naturalization of Natural Philosophy
    by Joseph E. Brenner
    Published 2018-11-01
    “.... This non-propositional logic, Logic in Reality (LIR), is based on the original work of the Franco-Romanian...”
    Get full text
    Article
  2. 162
    Approximating Operators and Semantics for Abstract Dialectical Frameworks
    by Strass, Hannes
    Published 2013
    “... and propositional logic programs. We use polynomial, faithful and modular translations to relate the formalisms...”
    Get full text
    Get full text
    Get full text
    Others
  3. 163
    Extended incidence calculus and its comparison with related theories
    by Liu, Weiru
    Published 1995
    “... for reasoning under uncertainty which extends two-value propositional logic to a multiple-value logic...”
    Get full text
  4. 164
    Representing the Language of the Causal Calculator in Answer Set Programming
    Published 2011
    “... is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes...”
    Get full text
    Dissertation
  5. 165
    Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases
    “...For conditional probabilistic knowledge bases with conditionals based on propositional logic...”
    Get full text
    Article
  6. 166
    A linearized DPLL calculus with learning
    by Arnold, Holger
    Published 2007
    “...This paper describes the proof calculus LD for clausal propositional logic, which is a linearized...”
    Get full text
    Get full text
    Others
  7. 167
    A study of necessity
    by Ahmed, A.
    Published 2001
    “...'s "Master Argument". Chapter 3 considers an argument that the necessity of truths of propositional logic can...”
    Get full text
  8. 168
    A Look at "From a Hypothesis" Syllogism from Aristotle to Farabi
    by Amin Shahverdi
    Published 2018-05-01
    “... in Aristotle's "from a hypothesis" syllogism and thus provide a framework for Aristotelian propositional logic...”
    Get full text
    Article
  9. 169
    The ordering hierarchies on the performance of logical problem-solving for pupils
    by Li-Wen Huang, 黃莉雯
    Published 2007
    “... the propositional logic of the same kind situated assement, students with different background exhibit similar...”
    Get full text
    Others
  10. 170
    Inferring Agents’ Goals from Observing Successful Traces
    “... approaches in goal recognition have not yet tried to apply concept learning to a propositional logic...”
    Get full text
    Article
  11. 171
    [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
    by MARCELA QUISPE CRUZ
    Published 2017
    “...] Traditional proof theory of Propositional Logic deals with proofs which size can be huge. Proof theoretical...”
    Get full text
    Get full text
    Get full text
  12. 172
    SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
    by MARCELA QUISPE CRUZ
    Published 2014
    “... of Propositional Logic deals with proofs which size can be huge. Proof theoretical studies discovered exponential...”
    Get full text
    Get full text
  13. 173
    Approaches to Foster Transfer of Formal Principles: Which Route to Take?
    by Lennart Schalk, Henrik Saalbach, Elsbeth Stern
    Published 2016-01-01
    “... experiment, we introduced undergraduates to the formal principles of propositional logic with the aim...”
    Get full text
    Article
  14. 174
    Efficient Mining Approaches for Coherent Association Rules
    by Yui-Kai Lin, 林郁凱
    Published 2012
    “... is named Highly Coherent Rule Mining algorithm (HCRM), which takes the properties of propositional logic...”
    Get full text
    Others
  15. 175
    The metaphysical commitments of logic
    “... of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional...”
    Get full text
  16. 176
    The use of metaphor by clinical psychologists using cognitive behavioural techniques
    by Smith, Howard
    Published 2002
    “... differently to formal propositional logic is suggested as a target for further research. The study aims...”
    Get full text
  17. 177
    Automated concurrency bug finding using partial-orders
    by Horn, Alex
    Published 2015
    “... in symbolic encodings of partial-order semantics of concurrency using propositional logic or decidable...”
    Get full text
  18. 178
    System for automatic generation of logical formulas
    “... development in SAT solvers, especially CDCL-based solvers (Conflict-Driven Clause-Learning) for propositional...”
    Get full text
    Article
  19. 179
    A Modern Syllogistic Method in Intuitionistic Fuzzy Logic with Realistic Tautology
    “...The Modern Syllogistic Method (MSM) of propositional logic ferrets out from a set of premises all...”
    Get full text
    Article
  20. 180
    An exact algorithm for first order probabilistic logic
    by Sultana, Razia
    Published 2007
    “... is used in many AI applications due to its expressiveness to represent knowledge over propositional logic...”
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search