Login / Signup
Tarek Khaled
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 7
Top Topics
Answer Set Programming
Boolean Networks
Stable Models
Modulo Theories
Top Venues
LPAR (Workshop and Short Papers)
Ann. Math. Artif. Intell.
KES
ICLP Technical Communications
</>
Publications
</>
Tarek Khaled
,
Belaid Benhamou
,
Van-Giang Trinh
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells.
Ann. Math. Artif. Intell.
91 (5) (2023)
Tarek Khaled
,
Belaid Benhamou
An ASP-based Approach for Boolean Networks Representation and Attractor Detection.
LPAR
(2020)
Tarek Khaled
,
Belaid Benhamou
Dealing with Biology Systems in the Framework of Answer Set Programming.
KES
(2020)
Tarek Khaled
,
Belaïd Benhamou
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks.
ICLP Technical Communications
(2019)
Tarek Khaled
,
Belaid Benhamou
Symmetry breaking in a new stable model search method.
LPAR (Workshop and Short Papers)
(2018)
Tarek Khaled
A New Approach to Conceive ASP Solvers.
RuleML+RR (Supplement)
(2018)
Tarek Khaled
,
Belaid Benhamou
,
Pierre Siegel
A New Method for Computing Stable Models in Logic Programming.
ICTAI
(2018)