• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 40
Next 10 →

The DLV System for Knowledge Representation and Reasoning

by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello - ACM Transactions on Computational Logic , 2002
"... Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class ΣP 2 (NPNP). Thus, under widely believ ..."
Abstract - Cited by 456 (102 self) - Add to MetaCart
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

The Intelligent Grounder of DLV⋆

by Wolfgang Faber, Nicola Leone, Simona Perri
"... 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 a ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
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

Disjunctive Logic Programming with types and objects: The DLV+ System

by Francesco Ricca, Nicola Leone - Journal of Applied Logic, Elsevier, Volume 5, Issue , 2007
"... The paper presents DLV +, a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, upd ..."
Abstract - Cited by 18 (9 self) - Add to MetaCart
, 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.

Data Integration: A Challenging ASP Application

by Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kałka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
"... 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-friendly ..."
Abstract - Add to MetaCart
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

Application System for File Uploading using ASP.NET

by Ali Al-farsi, Ali Al-mahruqi, Jayavrinda Vrindavanam
"... Web services have been a fast evolving field fuelled by the ever-changing customer expectations. As new technologies emerge, investigating and introducing new tools can optimize the time and improves the methods of building web-oriented enterprise applications and web services. With every such advan ..."
Abstract - Add to MetaCart
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

ASP-Based Problem Solving with Cutting-Edge Tools

by Marcello Balduccini, Yulia Lierler , 2011
"... 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 and ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
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

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools

by Marcello Balduccini, Yulia Lierler
"... 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. Howev ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
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

Delivering Document Management Systems Through the ASP Model

by Borko Furht Florida
"... 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 is bas ..."
Abstract - Add to MetaCart
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

The Advanced Scatterometer Processing System for ERS Data: Design

by R. Crapolicchio, P. Lecomte, X. Neyt - Products and Performances, Proceeding of the Envisat & ERS Symposium Salzburg (A) 6 – 10 September 2004. MGM ZGM YSM & ESACA EBM
"... Since the launch of ERS-1 in 1991 and ERS-2 in 1995, carrying a C-band Scatterometer, a data set of more than thirteen years of backscattered signal from the Earth surface is available for exploitation. With its global coverage, day or night and all-weather operation, ERS Scatterometer data offer un ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
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

A Business Intelligence System Design Based on ASP Platform

by Fengchi Shen, Rongtao Ding
"... medium-sized manufacturing enterprises are relatively poor, there are serious shortages of capitals which can be invested in informatization construction, computer hardware and software resources, and human resources. To address the informatization issue in small and medium-sized manufacturing enter ..."
Abstract - Add to MetaCart
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
Next 10 →
Results 1 - 10 of 40
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University