Murray, Neil V.; Rosenthal, Erik Identifying prime implicate branches in reduced implicate tries. (English) Zbl 1210.68050 Fundam. Inform. 99, No. 2, 227-243 (2010). MSC: 68P05 PDFBibTeX XMLCite \textit{N. V. Murray} and \textit{E. Rosenthal}, Fundam. Inform. 99, No. 2, 227--243 (2010; Zbl 1210.68050) Full Text: DOI
Esposito, Floriana; d’Amato, Claudia; Fanizzi, Nicola Fuzzy clustering for semantic knowledge bases. (English) Zbl 1206.68269 Fundam. Inform. 99, No. 2, 187-205 (2010). MSC: 68T10 68T05 68T27 68T30 PDFBibTeX XMLCite \textit{F. Esposito} et al., Fundam. Inform. 99, No. 2, 187--205 (2010; Zbl 1206.68269) Full Text: DOI
Djouadi, Yassine; Prade, Henri Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. (English) Zbl 1205.68403 Fundam. Inform. 99, No. 2, 169-186 (2010). MSC: 68T30 03B52 06A15 06B75 68T37 PDFBibTeX XMLCite \textit{Y. Djouadi} and \textit{H. Prade}, Fundam. Inform. 99, No. 2, 169--186 (2010; Zbl 1205.68403) Full Text: DOI
Benferhat, Salem; Dubois, Didier; Prade, Henri; Williams, Mary-Anne A framework for iterated belief revision using possibilistic counterparts to Jeffrey’s rule. (English) Zbl 1205.68391 Fundam. Inform. 99, No. 2, 147-168 (2010). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{S. Benferhat} et al., Fundam. Inform. 99, No. 2, 147--168 (2010; Zbl 1205.68391) Full Text: DOI
Barták, Roman; Toropila, Daniel Solving sequential planning problems via constraint satisfaction. (English) Zbl 1205.68368 Fundam. Inform. 99, No. 2, 125-145 (2010). MSC: 68T20 PDFBibTeX XMLCite \textit{R. Barták} and \textit{D. Toropila}, Fundam. Inform. 99, No. 2, 125--145 (2010; Zbl 1205.68368) Full Text: DOI
Berka, Petr (ed.); Rauch, Jan (ed.); Ras, Zbigniew (ed.) Special issue: Methodologies for intelligent systems. Selected papers based on the presentations at the 18th international symposium (ISMIS 2009), Prague, Czech Republic, September 14–17, 2009. (English) Zbl 1198.94009 Fundam. Inform. 99, No. 2, i-ii, 125-243 (2010). MSC: 94-06 94A05 68T05 00B25 PDFBibTeX XML