Suggested Topics within your search.
Suggested Topics within your search.
-
201by Wannenburg, Johann Joubert“... axiomatic consistent extension, except for classical propositional logic. === Dissertation (MSc...”
Published 2017
Get full text
Get full text
-
202by Andrey M. Dergachev, Daniil S. Sadyrin, Aglaya G. Ilina, Ivan P. Loginov, Iurii D. Korenkov“... expressed in the form of propositional logic formulas are checked for symbolic execution paths. Main Results...”
Published 2020-02-01
Get full text
Article -
203by Mohd. Asyraf Mansor, Siti Zulaikha Mohd Jamaludin, Mohd Shareduwan Mohd Kasihmuddin, Shehab Abdulhabib Alzaeemi, Md Faisal Md Basir, Saratha Sathasivam“... in the field feed-forward neural network by implementing a more systematic propositional logic rule....”
Published 2020-02-01
Get full text
Article -
204by Rodrigues, Angela Pereira.“...' propositional logic, which extends the classical propositional calculus by the addition of a new operator, in a...”
Published 2012
Get full text
Others -
205“..., and game-playing). TMs construct rules using human-interpretable conjunctive clauses in propositional logic...”
Get full text
Article -
206“... that utilize inference (propositional) logic rules. Four typical errors in rule-based systems are: redundancy...”
Get full text
Others -
207by Reis, Poliana Magalhães“... recognized as NP-complete and consists to check whether a certain formula of classical propositional logic...”
Published 2012
Get full text
Others -
208“...]. Since minimal propositional logic is known to be PSPACE complete, while PSPACE to include NP, it suffices...”
Get full text
Article -
209by Oliva Valls, Sergi“... of proofs in propositional logic. One of its main questions is to determine which particular propositional...”
Published 2013
Get full text
Doctoral Thesis -
210by Silva, Anderson Aparecido da [UNESP]“... characterization, a formalization of its essential properties in a language of propositional logic is sought, which...”
Published 2014
Get full text
Others -
211by Schwind, Nicolas“... of propositional logic. We take an inspiration from these works in order to define some merging process specified...”
Published 2010
Get full text
-
212by Vasile, Cristian-Ioan“... Logic (CTL), which extend propositional logic to capture the temporal sequencing of system properties...”
Published 2016
Get full text
-
213by Poliana Magalhães Reis“... recognized as NP-complete and consists to check whether a certain formula of classical propositional logic...”
Published 2012
Get full text
-
214by Nascimento, Jefferson Alexandre do“... in the history of propositional logic, theory, logic applications in mathematical demonstrations and activities...”
Published 2017
Get full text
-
215by Greer, Ruth Nancy Elizabeth“...'s colorless chemicals task) and two of Peel's (1971) verbal problems of propositional logic. Six subjects...”
Published 2010
Get full text
-
216by Chernavska, Ariadna“... or by quantum mechanics. In classical propositional logic, (equivalence classes of) propositions form a Boolean...”
Published 2010
Get full text
-
217by Almeida, Dominique D'“... composition within the various frameworks. In order to define a transformation towards propositional logic we...”
Published 2010
Get full text
-
218by Tyler, Matthew Lamont“... of qualitative modeling in detection and control problems is formulated using propositional logic...”
Published 1997
Get full text
Get full text
Others -
219“...-compression theory of argumentation from propositional logic in undergraduate training, and especially...”
Get full text
Article -
220by Rodrigues, Angela Pereira [UNESP]“...’ propositional logic, which extends the classical propositional calculus by the addition of a new operator, in a...”
Published 2014
Get full text
Others