Stochastic Local Search (SLS) algorithms are of interest to a large number of research areas as well as business applications because they constitute some of the current best approaches to efficiently solve hard (NP-complete) combinatorial problems approximatively [1]. Satisfiability (SAT) problems, forming one of the most prominent type of NP-complete problems, are especially suitable for the ...

In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We prove that the plan existence problem is decidable for actions described in fragments of ALCQIO. More precisely, we show that its computational complexity coincides with the one of projection for DLs between ALC and ALCQIO.

In this study, at first, different free and four fee book-based Digital Libraries (DLs), available via www were reviewed. Four DLs Gutenberg, 24×7, Netlibrary and Ebrary were chosen. A comprehensive inventory consisted of general information, search features, display options and unique features was composed for comparing the interfaces of these DLs. Then chosen interfaces were compared and eval...

Digital Libraries (DLs) usually provide facilities for browsing and searching their collections, and can enhance noticeably learning activities. The integration of an annotation tool with a DL can foster knowledge exchange between instructors and learners. It is important that an annotation system for DLs should be easily integrated with existing DLs. This paper presents an annotation system, c...

Fuzzy Description Logics (f-DLs) are extensions of classic DLs that are capable of representing and reasoning about imprecise and vague knowledge. Though reasoning algorithms for very expressive fuzzy DLs have been explored, an open issue in the fuzzy DL community is the study of tractable systems. In this paper we introduce the fuzzy extension of EL, we provide its syntax and semantics togethe...

Dynamic light scattering (DLS) has become one of the most useful diagnostic tools for crystallization. The main purpose of using DLS in crystal screening is to help the investigator understand the size distribution, stability, and aggregation state of macromolecules in solution. It can also be used to understand how experimental variables influence aggregation. With commercially available instr...

We provide syntactic necessary and sufficient conditions on the formulae reducible by the second-order quantifier elimination algorithm DLS. It is shown that DLS is compete for all modal Sahlqvist and Inductive formulae, and that all modal formulae in a single propositional variable on which DLS succeeds are canonical.

In many scientific-publication digital libraries (DLs) such as CiteSeer, arXiv e-Print, DBLP, or Google Scholar, “citations” play an important role. (The term “citation” refers to the collection of bibliographic information such as author name, title, publication venue, or year that are pertinent to a particular article.) Users often use citations to find information of interest in DLs, and res...