Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
9.935 Lectures/texts in conference proceedings
You are here:
View Item 
  •   DSpace Home
  • Congressos
  • Workshop on the Deductive Approach to Information Systems and Databases
  • [5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994
  • View Item
  •   DSpace Home
  • Congressos
  • Workshop on the Deductive Approach to Information Systems and Databases
  • [5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Dislog - a system for reasoning in disjunctive deductive databases

Thumbnail
View/Open
5DAISD_15_Dislog a system for.pdf (821,4Kb)
  View Usage Statistics
  LA Referencia / Recolecta stats
Cita com:
hdl:2117/376071

Show full item record
Seipel, Dietmar
Thöne, Helmut
Document typeConference report
Defense date1994
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 4.0 International
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 4.0 International
Abstract
DisLoG is a system for reasoning in disjunctive -deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all-result inference capabilities. Severa} basic operators are provided for logical and non-monotonic reasoning: The logical consequence operator derives all 'Iogically implied disjunctive clauses from a disjunctive logic program. The nonmonotonic operators are semantically founded on generalizations of the wellknown closed-world-assumption. Reasoning in disjunctive deductive databases is very complex, even for small examples. Many different optimization techniques are integrated in D1sLoG to speed up the application performance. The main techniques rely on a clause tree data structure allowing for an efficient and transparent evaluation_ '¡he operators of D1sLoG can be loaded from a library into a PROLOG application. D1s L0G itself is implemented as a meta-interpreter in SICSTUS-PR0L0G.
CitationSeipel, D.; Thöne, H. Dislog - a system for reasoning in disjunctive deductive databases. A: "Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994, p. 325-343. 
URIhttp://hdl.handle.net/2117/376071
Collections
  • Workshop on the Deductive Approach to Information Systems and Databases - [5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994 [17]
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
5DAISD_15_Dislog a system for.pdf821,4KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Metadata under:Metadata under CC0
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina