problems of lower complexity in a simpler and more natural fashion. This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel

Abstract. In this work, we give an overview of the DLV Intelligent Grounder, one of the most popular Answer Set Programming instantia-tors, and a very strong point of the DLV system. Based on a variant of semi-naive evaluation, it also includes several advanced optimization techniques and supports

, update, browse, query, and reason on knowledge bases. Two strong points of the system are the powerful type-checking mechanism and the advanced interface for visual querying. DLV + is already used for the development of knowledge based applications for information extraction and text classification.

Abstract. The paper presents INFOMIX a successful application of ASP tech-nology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information integration, utilizing the ASP system DLV. While INFOMIX is based on solid theoretical foundations, it is a user

functional application is displayed and associated it with many types and size of data to upload by using ASP.NET. The paper reviews different techniques for storing data and explore how to enable users to upload a file from their computer and have it saved on the web server's file system. This would

In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as CLASP and DLV are sometimes affected by scalability issues. In those situations,one can resort to more sophisticated ASP tools exploiting, for instance, incremental

In the development of practical applications of answer set programming(ASP),encodingsthatusewell-established solverssuchas CLASP and DLV aresometimesaffected byscalabilityissues. Inthosesituations,onecanresortto moresophisticatedASPtoolsexploiting, for instance, incremental and constraint ASP

this paper we describe CyLex approach in deploying DMS based on the ASP (Application Service Provider) model. We also evaluate this approach with traditional document management systems. Present Approaches to Document Management Systems The traditional approach in document management systems

scientific community, the European Space Agency (ESA) has developed the project: Advanced Scatterometer Processing System (ASPS). Main scope of the project is to provide with state of the art algorithm, high quality and homogenous Scatterometer measurements (sigma nought) of the Earth surface and high

enterprises, and enable them to the application of advanced management thinking and enhance their competitiveness, the paper establish a manufacturing-oriented small and medium-sized enterprises informatization platform based on the ASP business intelligence technology, which effectively improves