Seipel, Dietmar (ed.); Turull-Torres, José María (ed.) Special issue: Foundations of information and knowledge systems. Selected papers based on the presentations at the 3rd international symposium (FoIKS 2004), Vienna, Austria, February 17–20, 2004. (English) Zbl 1102.68322 Ann. Math. Artif. Intell. 46, No. 1-2, 230 p. (2006). MSC: 68-06 00B25 PDFBibTeX XML
Lyaletski, Alexander Sequent forms of Herbrand theorem and their applications. (English) Zbl 1103.03054 Ann. Math. Artif. Intell. 46, No. 1-2, 191-230 (2006). MSC: 03F03 03B10 03B70 PDFBibTeX XMLCite \textit{A. Lyaletski}, Ann. Math. Artif. Intell. 46, No. 1--2, 191--230 (2006; Zbl 1103.03054) Full Text: DOI
Grahne, Gösta; Thomo, Alex Regular path queries under approximate semantics. (English) Zbl 1110.68033 Ann. Math. Artif. Intell. 46, No. 1-2, 165-190 (2006). MSC: 68P15 68Q45 68Q55 PDFBibTeX XMLCite \textit{G. Grahne} and \textit{A. Thomo}, Ann. Math. Artif. Intell. 46, No. 1--2, 165--190 (2006; Zbl 1110.68033) Full Text: DOI
Hartmann, Sven; Link, Sebastian; Schewe, Klaus-Dieter Functional and multivalued dependencies in nested databases generated by record and list constructor. (English) Zbl 1097.68553 Ann. Math. Artif. Intell. 46, No. 1-2, 114-164 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Hartmann} et al., Ann. Math. Artif. Intell. 46, No. 1--2, 114--164 (2006; Zbl 1097.68553) Full Text: DOI
Demetrovics, J.; Katona, G. O. H.; Miklós, D. On the security of individual data. (English) Zbl 1097.68034 Ann. Math. Artif. Intell. 46, No. 1-2, 98-113 (2006). MSC: 68P15 68T05 05D05 PDFBibTeX XMLCite \textit{J. Demetrovics} et al., Ann. Math. Artif. Intell. 46, No. 1--2, 98--113 (2006; Zbl 1097.68034) Full Text: DOI Link
Hegner, Stephen J. The complexity of embedded axiomatization for a class of closed database views. (English) Zbl 1097.68554 Ann. Math. Artif. Intell. 46, No. 1-2, 38-97 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. J. Hegner}, Ann. Math. Artif. Intell. 46, No. 1--2, 38--97 (2006; Zbl 1097.68554) Full Text: DOI
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice Computational methods for database repair by signed formulae. (English) Zbl 1097.68549 Ann. Math. Artif. Intell. 46, No. 1-2, 4-37 (2006). MSC: 68P15 68T30 68T37 68U35 PDFBibTeX XMLCite \textit{O. Arieli} et al., Ann. Math. Artif. Intell. 46, No. 1--2, 4--37 (2006; Zbl 1097.68549) Full Text: DOI