Journal articles on the topic 'Propositional resolution'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Propositional resolution.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
PLAZA, JAN A. "ON THE PROPOSITIONAL SLDNF-RESOLUTION." International Journal of Foundations of Computer Science 07, no. 04 (December 1996): 359–406. http://dx.doi.org/10.1142/s0129054196000269.
Full textUZQUIANO, GABRIEL. "A NEGLECTED RESOLUTION OF RUSSELL’S PARADOX OF PROPOSITIONS." Review of Symbolic Logic 8, no. 2 (March 31, 2015): 328–44. http://dx.doi.org/10.1017/s1755020315000106.
Full textAuffray, Yves. "Linear strategy for propositional modal resolution." Information Processing Letters 28, no. 2 (June 1988): 87–92. http://dx.doi.org/10.1016/0020-0190(88)90169-x.
Full textMAREK, V. W., and J. B. REMMEL. "Guarded resolution for Answer Set Programming." Theory and Practice of Logic Programming 11, no. 1 (March 24, 2010): 111–23. http://dx.doi.org/10.1017/s1471068410000062.
Full textVan Gelder, Allen. "Complexity analysis of propositional resolution with autarky pruning." Discrete Applied Mathematics 96-97 (October 1999): 195–221. http://dx.doi.org/10.1016/s0166-218x(99)00040-2.
Full textStachniak, Zbigniew. "Minimization of Resolution Proof Systems." Fundamenta Informaticae 14, no. 1 (January 1, 1991): 129–46. http://dx.doi.org/10.3233/fi-1991-14107.
Full textWalicki, Michal, and Sjur Dyrkolbotn. "Paraconsistent resolution." Australasian Journal of Logic 19, no. 3 (September 6, 2022): 96–123. http://dx.doi.org/10.26686/ajl.v19i3.6471.
Full textLIMA, PRISCILA M. V. "A GOAL-DRIVEN NEURAL PROPOSITIONAL INTERPRETER." International Journal of Neural Systems 11, no. 03 (June 2001): 311–22. http://dx.doi.org/10.1142/s012906570100076x.
Full textBuss, Samuel R. "Polynomial size proofs of the propositional pigeonhole principle." Journal of Symbolic Logic 52, no. 4 (December 1987): 916–27. http://dx.doi.org/10.2307/2273826.
Full textZou, Li, XiaoNan Li, Chang Pan, and Xin Liu. "( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic." Information Sciences 414 (November 2017): 329–39. http://dx.doi.org/10.1016/j.ins.2017.05.046.
Full textAtserias, Albert, and Marı́a Luisa Bonet. "On the automatizability of resolution and related propositional proof systems." Information and Computation 189, no. 2 (March 2004): 182–201. http://dx.doi.org/10.1016/j.ic.2003.10.004.
Full textDantchev, Stefan, and Barnaby Martin. "The limits of tractability in Resolution-based propositional proof systems." Annals of Pure and Applied Logic 163, no. 6 (June 2012): 656–68. http://dx.doi.org/10.1016/j.apal.2011.11.001.
Full textZurek, Eduardo, Mayra Zurbaran, Margarita Gamarra, and Pedro Wightman. "An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra." Polibits 52 (July 31, 2015): 79–84. http://dx.doi.org/10.17562/pb-52-8.
Full textZenteno, Flaviano. "Method of resolution of problems and academic performance in propositional logic." SCIÉNDO 21, no. 3 (September 28, 2018): 291–99. http://dx.doi.org/10.17268/sciendo.2018.031.
Full textArai, Noriko H. "Relative efficiency of propositional proof systems: resolution vs. cut-free LK." Annals of Pure and Applied Logic 104, no. 1-3 (July 2000): 3–16. http://dx.doi.org/10.1016/s0168-0072(00)00005-1.
Full textXu, Yang, Da Ruan, Etienne E. Kerre, and Jun Liu. "α-Resolution principle based on lattice-valued propositional logic LP(X)." Information Sciences 130, no. 1-4 (December 2000): 195–223. http://dx.doi.org/10.1016/s0020-0255(00)00069-4.
Full textMa, Jun, Wenjiang Li, Da Ruan, and Yang Xu. "Filter-based resolution principle for lattice-valued propositional logic LP(X)." Information Sciences 177, no. 4 (February 2007): 1046–62. http://dx.doi.org/10.1016/j.ins.2006.07.027.
Full textAlekhnovich, Michael, Sam Buss, Shlomo Moran, and Toniann Pitassi. "Minimum propositional proof length is NP-hard to linearly approximate." Journal of Symbolic Logic 66, no. 1 (March 2001): 171–91. http://dx.doi.org/10.2307/2694916.
Full textStachniak, Zbigniew, and Peter O’Hearn. "Resolution in the Domain of Strongly Finite Logics." Fundamenta Informaticae 13, no. 3 (July 1, 1990): 333–51. http://dx.doi.org/10.3233/fi-1990-13307.
Full textZulaica Hernández, Iker. "Resolving abstract anaphors in Spanish discourse: Underspecification and mereological structures." Linguistics 56, no. 3 (June 26, 2018): 681–713. http://dx.doi.org/10.1515/ling-2018-0008.
Full textKiesl, Benjamin, Adrián Rebola-Pardo, Marijn J. H. Heule, and Armin Biere. "Simulating Strong Practical Proof Systems with Extended Resolution." Journal of Automated Reasoning 64, no. 7 (July 31, 2020): 1247–67. http://dx.doi.org/10.1007/s10817-020-09554-z.
Full textLIMA, PRISCILA M. V., M. MARIELA M. MORVELI-ESPINOZA, GLAUCIA C. PEREIRA, TALITA O. FERREIRA, and FELIPE M. G. FRANÇA. "LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS." International Journal of Pattern Recognition and Artificial Intelligence 22, no. 05 (August 2008): 1031–43. http://dx.doi.org/10.1142/s0218001408006673.
Full textLiu, Yi, Hairui Jia, and Yang Xu. "Determination of 3-Aryα-Resolution in Lattice-valued Propositional Logic LP(X)." International Journal of Computational Intelligence Systems 6, no. 5 (September 2013): 943–53. http://dx.doi.org/10.1080/18756891.2013.808802.
Full textConstable, Robert, and Wojciech Moczydłowski. "Extracting the resolution algorithm from a completeness proof for the propositional calculus." Annals of Pure and Applied Logic 161, no. 3 (December 2009): 337–48. http://dx.doi.org/10.1016/j.apal.2009.07.008.
Full textBuresh-Oppenheim, Joshua, and Toniann Pitassi. "The complexity of resolution refinements." Journal of Symbolic Logic 72, no. 4 (December 2007): 1336–52. http://dx.doi.org/10.2178/jsl/1203350790.
Full textGiunchiglia, E., M. Narizzano, and A. Tacchella. "Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas." Journal of Artificial Intelligence Research 26 (August 17, 2006): 371–416. http://dx.doi.org/10.1613/jair.1959.
Full textHe, X., J. Liu, Y. Xu, L. Martinez, and D. Ruan. "On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic." Logic Journal of IGPL 20, no. 3 (February 11, 2011): 579–88. http://dx.doi.org/10.1093/jigpal/jzr007.
Full textWallis, Steven E., and Bernadette Wright. "Integrative propositional analysis for understanding and reducing poverty." Kybernetes 48, no. 6 (June 3, 2019): 1264–77. http://dx.doi.org/10.1108/k-03-2018-0136.
Full textAlonderis, Romas, and Haroldas Giedra. "A derivation-loop method for temporal logic." Lietuvos matematikos rinkinys 60 (November 12, 2019): 1–6. http://dx.doi.org/10.15388/lmr.a.2019.14953.
Full textCIABATTONI, AGATA, and ALEXANDER LEITSCH. "Towards an algorithmic construction of cut-elimination procedures." Mathematical Structures in Computer Science 18, no. 1 (February 2008): 81–105. http://dx.doi.org/10.1017/s0960129507006573.
Full textSchroeder-Heister, Peter. "Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen." Bulletin of Symbolic Logic 8, no. 2 (June 2002): 246–65. http://dx.doi.org/10.2178/bsl/1182353872.
Full textLempp, Frieder. "A software implementation and case study application of Lempp’s propositional model of conflict resolution." International Journal of Conflict Management 28, no. 5 (October 9, 2017): 563–91. http://dx.doi.org/10.1108/ijcma-08-2016-0073.
Full textHARALICK, ROBERT M., and SHEAU-HUEI WU. "AN APPROXIMATE LINEAR TIME PROPAGATE AND DIVIDE THEOREM PROVER FOR PROPOSITIONAL LOGIC." International Journal of Pattern Recognition and Artificial Intelligence 01, no. 01 (April 1987): 141–55. http://dx.doi.org/10.1142/s0218001487000102.
Full textKumarDey, Dipanjan. "How Does Resolution Works in Propositional Calculus and Predicate Calculus, Introduction to Unification and Substitution." International Journal of Computer Applications 99, no. 10 (August 20, 2014): 22–31. http://dx.doi.org/10.5120/17409-7983.
Full textXu, Weitao, Wenqiang Zhang, Dexian Zhang, Yang Xu, and Xiaodong Pan. "α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems." International Journal of Computational Intelligence Systems 8, sup1 (December 11, 2015): 75–84. http://dx.doi.org/10.1080/18756891.2015.1129580.
Full textYamasaki, Susumu, and Shuji Doshita. "Resolution deduction to detect satisfiability for another class including non-horn sentences in propositional logic." Information Processing Letters 23, no. 4 (November 1986): 201–7. http://dx.doi.org/10.1016/0020-0190(86)90136-5.
Full textZhang, Jiafeng, Yang Xu, and Xingxing He. "α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional LogicLV(n×2)P(X)." International Journal of Computational Intelligence Systems 7, no. 1 (October 23, 2013): 160–71. http://dx.doi.org/10.1080/18756891.2013.857895.
Full textWALICKI, MICHAŁ. "RESOLVING INFINITARY PARADOXES." Journal of Symbolic Logic 82, no. 2 (June 2017): 709–23. http://dx.doi.org/10.1017/jsl.2016.18.
Full textZhou, Jun Ping, Chun Guang Zhou, Ming Hao Yin, and Hui Yang. "Extension Rule Based Model Counting Using More Reasoning." Advanced Materials Research 108-111 (May 2010): 268–73. http://dx.doi.org/10.4028/www.scientific.net/amr.108-111.268.
Full textNath Maurya, Vishwa, and Avadhesh Kumar Maurya. "Polynomial Simulation and Refutation of Complex Formulas of Resolution over Linear Equations in Propositional Proof System." American Journal of Modeling and Optimization 2, no. 1 (March 16, 2014): 34–38. http://dx.doi.org/10.12691/ajmo-2-1-5.
Full textDieu, Phan Dinh, and Phan Hong Giang. "Interval –valued probabilistic logic for logic programs." Journal of Computer Science and Cybernetics 10, no. 3 (April 15, 2016): 1–13. http://dx.doi.org/10.15625/1813-9663/10/3/8193.
Full textLempp, Frieder. "A logic-based model for resolving conflicts." International Journal of Conflict Management 27, no. 1 (February 8, 2016): 116–39. http://dx.doi.org/10.1108/ijcma-11-2014-0081.
Full textGaysin, Azza. "ℋ-Colouring Dichotomy in Proof Complexity." Journal of Logic and Computation 31, no. 5 (April 24, 2021): 1206–25. http://dx.doi.org/10.1093/logcom/exab028.
Full textBimpikou, Sofia, Emar Maier, and Petra Hendriks. "The discourse structure of free indirect discourse reports." Linguistics in the Netherlands 38 (October 29, 2021): 21–39. http://dx.doi.org/10.1075/avt.00048.bim.
Full textFretheim, Thorstein, Nana Aba Appiah Amfo, and Ildikó Vaskó. "Token-reflexive, anaphoric and deictic functions of ‘here’." Nordic Journal of Linguistics 34, no. 3 (December 2011): 239–94. http://dx.doi.org/10.1017/s0332586512000030.
Full textCHATALIC, PHILIPPE, and LAURENT SIMON. "MULTIRESOLUTION FOR SAT CHECKING." International Journal on Artificial Intelligence Tools 10, no. 04 (December 2001): 451–81. http://dx.doi.org/10.1142/s0218213001000611.
Full textJayme, Fernando Gonzaga, and Victor Barbosa Dutra. "Dejudicialization and Proceduralism Based on the Nature of Conflicts and According to the Brazilian Constitution." REVISTA INTERNACIONAL CONSINTER DE DIREITO 13, no. 13 (December 21, 2021): 341–56. http://dx.doi.org/10.19135/revista.consinter.00013.16.
Full textBUSS, SAMUEL R., LESZEK ALEKSANDER KOŁODZIEJCZYK, and NEIL THAPEN. "FRAGMENTS OF APPROXIMATE COUNTING." Journal of Symbolic Logic 79, no. 2 (June 2014): 496–525. http://dx.doi.org/10.1017/jsl.2013.37.
Full textKrajíček, Jan. "Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic." Journal of Symbolic Logic 62, no. 2 (June 1997): 457–86. http://dx.doi.org/10.2307/2275541.
Full textNkouankou, Aboubakar, Fotso Clarice, Wadoufey Abel, and René Ndoundam. "Pre-image attack of the MD5 hash function by proportional logic." International Journal of Research and Innovation in Applied Science 07, no. 08 (2022): 20–25. http://dx.doi.org/10.51584/ijrias.2022.7802.
Full text