Tarek Khaled

According to our database, Tarek Khaled authored at least 7 papers between 2018 and 2023.

Collaborative distances:

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

2023

Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells.

Tarek Khaled, Belaid Benhamou, Van-Giang Trinh

Ann. Math. Artif. Intell., October, 2023

2020

An ASP-based Approach for Boolean Networks Representation and Attractor Detection.

Tarek Khaled, Belaid Benhamou

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Dealing with Biology Systems in the Framework of Answer Set Programming.

Tarek Khaled, Belaid Benhamou

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

2019

An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks.

Tarek Khaled, Belaïd Benhamou

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

2018

A New Approach to Conceive ASP Solvers.

Tarek Khaled

Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018

Symmetry breaking in a new stable model search method.

Tarek Khaled, Belaid Benhamou

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

A New Method for Computing Stable Models in Logic Programming.

Tarek Khaled, Belaid Benhamou, Pierre Siegel

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018