Bergstra, Jan A.; Ponse, Alban Execution architectures for program algebra. (English) Zbl 1116.68024 J. Appl. Log. 5, No. 1, 170-192 (2007). MSC: 68N30 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Open answer set programming for the semantic web. (English) Zbl 1116.68092 J. Appl. Log. 5, No. 1, 144-169 (2007). MSC: 68T27 68N17 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Burhans, Debra T.; Shapiro, Stuart C. Defining answer classes using resolution refutation. (English) Zbl 1116.68104 J. Appl. Log. 5, No. 1, 70-91 (2007). MSC: 68T50 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Badia, Antonio Question answering and database querying: bridging the gap with generalized quantification. (English) Zbl 1116.68031 J. Appl. Log. 5, No. 1, 3-19 (2007). MSC: 68P15 03B65 68T50 × Cite Format Result Cite Review PDF Full Text: DOI