Duc-Khanh Tran

According to our database, Duc-Khanh Tran authored at least 17 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Extending fuzzy logics with many hedges.

Van Hung Le, Duc-Khanh Tran

Fuzzy Sets Syst., 2018

Anomaly Detection in POSTFIX mail log using Principal Component Analysis.

Cao-Phi Tran, Duc-Khanh Tran

Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018

2015

ALCLM: A Description Logic over Lattice with Concept Modifiers.

Duc-Khanh Tran

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

2014

Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra.

Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Fuzzy linguistic first order logic based on refined hedge algebra.

Duc-Khanh Tran, Minh-Tam Nguyen

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

2013

SMELS: Satisfiability Modulo Equality with Lazy Superposition.

Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran

J. Autom. Reason., 2013

Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra.

Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran

Proceedings of the Knowledge and Systems Engineering, 2013

Fuzzy linguistic propositional logic based on refined hedge algebra.

Duc-Khanh Tran, Viet-Trung Vu, The-Vinh Doan, Thi-Minh-Tam Nguyen

Proceedings of the FUZZ-IEEE 2013, 2013

2011

Automatic decidability and combinability.

Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Inf. Comput., 2011

2010

Combination of convex theories: Modularity, deduction completeness, and explanation.

Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner

J. Symb. Comput., 2010

2008

SMELS: Satisfiability Modulo Equality with Lazy Superposition.

Christopher Lynch, Duc-Khanh Tran

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Conception de Procédures de Décision par Combinaison et Saturation. (Design of decision procedures by combination and saturation)

Duc-Khanh Tran

PhD thesis, 2007

Combining Proof-Producing Decision Procedures.

Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Automatic Decidability and Combinability Revisited.

Christopher Lynch, Duc-Khanh Tran

Proceedings of the Automated Deduction, 2007

2006

Automatic Combinability of Rewriting-Based Satisfiability Procedures.

Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Proceedings of the Logic for Programming, 2006

2005

On Superposition-Based Satisfiability Procedures and Their Combination.

Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.

Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Proceedings of the Theoretical Aspects of Computing, 2004