Duc-Khanh Tran

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 3

Top Venues

CoRR

KSE

FUZZ-IEEE

Fuzzy Sets Syst.

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Cao-Phi Tran, Duc-Khanh Tran
Anomaly Detection in POSTFIX mail log using Principal Component Analysis. KSE (2018)
Van Hung Le, Duc-Khanh Tran
Extending fuzzy logics with many hedges. Fuzzy Sets Syst. 345 (2018)
Duc-Khanh Tran
ALCLM: A Description Logic over Lattice with Concept Modifiers. KSE (2015)
Duc-Khanh Tran, Minh-Tam Nguyen
Fuzzy linguistic first order logic based on refined hedge algebra. FUZZ-IEEE (2014)
Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran
Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra. IPMU (1) (2014)
Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran
Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra. CoRR (2014)
Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran
SMELS: Satisfiability Modulo Equality with Lazy Superposition. J. Autom. Reason. 51 (3) (2013)
Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran
Resolution in Linguistic Propositional Logic based on Linear Symmetrical Hedge Algebra. CoRR (2013)
Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran
Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra. KSE (1) (2013)
Duc-Khanh Tran, Viet-Trung Vu, The-Vinh Doan, Thi-Minh-Tam Nguyen
Fuzzy linguistic propositional logic based on refined hedge algebra. FUZZ-IEEE (2013)
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Automatic decidability and combinability. Inf. Comput. 209 (7) (2011)
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. 45 (2) (2010)
Christopher Lynch, Duc-Khanh Tran
SMELS: Satisfiability Modulo Equality with Lazy Superposition. ATVA (2008)
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Combining Proof-Producing Decision Procedures. FroCoS (2007)
Christopher Lynch, Duc-Khanh Tran
Automatic Decidability and Combinability Revisited. CADE (2007)
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR (2006)
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC (2005)
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC (2004)

Duc-Khanh Tran.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Duc-Khanh Tran