Wafik Boulos Lotfallah

发表

Minimal Complete Propositional Natural Deduction Systems

Amr Elnashar, Wafik Boulos Lotfallah, 2018, J. Philos. Log..

An Ehrenfeucht-Fraïssé class game

Wafik Boulos Lotfallah, 2004, Math. Log. Q..

Reducing Bias and Uncertainty in Multievaluator Multicriterion Decision Making

Awad S. Hanna, Mounir El Asmar, Wei-Yin Loh, 2013, J. Comput. Civ. Eng..

On the Complexity of the First-order Random Theory

Wafik Boulos Lotfallah, 2003, J. Log. Comput..

First order quantifiers in~monadic second order logic

H. Jerome Keisler, Wafik Boulos Lotfallah, 2004, J. Symb. Log..

Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057]

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey, 2006, Fuzzy Sets Syst..

Development of an Augmented Reality Fitness Index for Contractors

Awad S. Hanna, Wafik Boulos Lotfallah, Hala Nassereddine, 2020 .

Shrinking games and local formulas

H. Jerome Keisler, Wafik Boulos Lotfallah, 2004, Ann. Pure Appl. Log..

The logic of tied implications, part 1: Properties, applications and representation

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey, 2006, Fuzzy Sets Syst..

Mathematical Formulation of the Project Quarterback Rating: New Framework to Assess Construction Project Performance

Awad S. Hanna, Mounir El Asmar, Wafik Boulos Lotfallah, 2014 .

Modeling the performance of healthcare construction projects

Awad S. Hanna, Wafik Boulos Lotfallah, Karim A. Iskandar, 2019, Engineering, Construction and Architectural Management.

Rank Hierarchies for Generalized Quantifiers

H. Jerome Keisler, Wafik Boulos Lotfallah, 2011, J. Log. Comput..

The logic of tied implications, part 2: Syntax

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey, 2006, Fuzzy Sets Syst..

Quantitative Methods for Design-Build Team Selection

Awad S. Hanna, Gary C. Whited, Mounir El Asmar, 2009 .

Uncertainty Reduction in Multi-Evaluator Decision Making

Awad S. Hanna, Mounir El Asmar, Wei-Yin Loh, 2012, J. Comput. Civ. Eng..

Benchmarking project performance: a guideline for assessing vulnerability of mechanical and electrical projects to productivity loss

Awad S. Hanna, Wafik Boulos Lotfallah, Karim A. Iskandar, 2019 .

Almost everywhere elimination of probability quantifiers

H. Jerome Keisler, Wafik Boulos Lotfallah, H. Keisler, 2009, The Journal of Symbolic Logic.

Completeness and interpolation of almost‐everywhere quantification over finitely additive measures

Cristina Sernadas, João Rasga, Wafik Boulos Lotfallah, 2013, Math. Log. Q..

A data-driven approach for identifying project manager competency weights

Jeffrey S. Russell, Awad S. Hanna, Wafik Boulos Lotfallah, 2018 .

RBU: A model for reducing bias and uncertainty in multi-evaluator multi-criterion decision making

Awad S. Hanna, Wafik Boulos Lotfallah, M. El Asmar, 2012 .

Characterizing unambiguous precedence systems in expressions without superfluous parentheses

Wafik Boulos Lotfallah, 2009, Int. J. Comput. Math..

Strong 0-1 Laws in Finite Model Theory

Wafik Boulos Lotfallah, 2000, J. Symb. Log..

A fuzzy logic approach to the selection of cranes

Awad S. Hanna, Wafik Boulos Lotfallah, A. Hanna, 1999 .

A local normal form theorem for infinitary logic with unary quantifiers

H. Jerome Keisler, Wafik Boulos Lotfallah, 2005, Math. Log. Q..

Modeling Project Manager Competency: An Integrated Mathematical Approach

Jeffrey S. Russell, Awad S. Hanna, Wafik Boulos Lotfallah, 2016 .

Strong Convergence in Finite Model Theory

Wafik Boulos Lotfallah, 2002, J. Symb. Log..

Computational complexities of axiomatic extensions of monoidal t-norm based logic

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey, 2009, Soft Comput..

STATISTICAL-FUZZY APPROACH TO QUANTIFY CUMULATIVE IMPACT OF CHANGE ORDERS

Awad S. Hanna, Wafik Boulos Lotfallah, A. Hanna, 2002 .