Duc-Khanh Tran

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