Khaled, Tarek; Benhamou, Belaid; Van-Giang Trinh Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells. (English) Zbl 07759324 Ann. Math. Artif. Intell. 91, No. 5, 713-750 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Toda, Takahisa Dualization of Boolean functions using ternary decision diagrams. (English) Zbl 1420.68198 Ann. Math. Artif. Intell. 79, No. 1-3, 229-244 (2017). MSC: 68T20 06E30 × Cite Format Result Cite Review PDF Full Text: DOI
Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris Extended RDF: computability and complexity issues. (English) Zbl 1347.68316 Ann. Math. Artif. Intell. 75, No. 3-4, 267-334 (2015). MSC: 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis Why-provenance information for RDF, rules, and negation. (English) Zbl 1357.68210 Ann. Math. Artif. Intell. 70, No. 3, 221-277 (2014). MSC: 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Mileo, Alessandra; Schaub, Torsten; Merico, Davide; Bisiani, Roberto Knowledge-based multi-criteria optimization to support indoor positioning. (English) Zbl 1242.68316 Ann. Math. Artif. Intell. 62, No. 3-4, 345-370 (2011). MSC: 68T30 68T27 68T37 68N17 × Cite Format Result Cite Review PDF Full Text: DOI Link
Cakmak, Duygu; Erdem, Esra; Erdogan, Halit Computing weighted solutions in ASP: representation-based method vs. search-based method. (English) Zbl 1402.68031 Ann. Math. Artif. Intell. 62, No. 3-4, 219-258 (2011). MSC: 68N17 68T20 92D15 × Cite Format Result Cite Review PDF Full Text: DOI
Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês Boolean lexicographic optimization: algorithms & applications. (English) Zbl 1242.90199 Ann. Math. Artif. Intell. 62, No. 3-4, 317-343 (2011). MSC: 90C27 90C29 68T20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Wang, Yisong; You, Jia-Huai; Lin, Fangzhen; Yuan, Li Yan; Zhang, Mingyi Weight constraint programs with evaluable functions. (English) Zbl 1230.68186 Ann. Math. Artif. Intell. 60, No. 3-4, 341-380 (2010). MSC: 68T20 68T27 68N17 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin Integrating answer set programming and constraint logic programming. (English) Zbl 1165.68504 Ann. Math. Artif. Intell. 53, No. 1-4, 251-287 (2008). MSC: 68T27 68T30 68T35 68T20 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco On the relation among answer set solvers. (English) Zbl 1165.68333 Ann. Math. Artif. Intell. 53, No. 1-4, 169-204 (2008). MSC: 68N17 68T20 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Perri, Simona; Scarcello, Francesco; Catalano, Gelsomina; Leone, Nicola Enhancing DLV instantiator by backjumping techniques. (English) Zbl 1138.68019 Ann. Math. Artif. Intell. 51, No. 2-4, 195-228 (2007). MSC: 68N17 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Ricca, Francesco On look-ahead heuristics in disjunctive logic programming. (English) Zbl 1138.68018 Ann. Math. Artif. Intell. 51, No. 2-4, 229-266 (2007). MSC: 68N17 68T27 68T20 × Cite Format Result Cite Review PDF Full Text: DOI