Sciweavers

    3028 search results - page 122 / 606
    » Integrating Temporal Logics
    Sort
    View
    FOIKS
    2008
    Springer
    120views Information Technology» more  FOIKS 2008»
    Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
    15 years 6 months ago
    Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
    Download  ki.informatik.uni-mannheim.de
    Andrea Calì, Thomas Lukasiewicz, Livia Pred...
    claim paper
    Read More »
    AIM
    2005
    76views Software Engineering» more  AIM 2005»
    Data Integration: A Logic-Based Perspective
    15 years 4 months ago
    Data Integration: A Logic-Based Perspective
    Download  www.dis.uniroma1.it
    Diego Calvanese, Giuseppe De Giacomo
    claim paper
    Read More »
    JIIS
    1998
    90views more  JIIS 1998»
    AL-log: Integrating Datalog and Description Logics
    15 years 4 months ago
    AL-log: Integrating Datalog and Description Logics
    Download  www.diegm.uniud.it
    Francesco M. Donini, Maurizio Lenzerini, Daniele N...
    claim paper
    Read More »
    ASPDAC
    1998
    ACM
    101views Hardware» more  ASPDAC 1998»
    An Integrated Flow for Technology Remapping and Placement of Sub-half-micron Circuits
    15 years 8 months ago
    An Integrated Flow for Technology Remapping and Placement of Sub-half-micron Circuits
    Download  atrak.usc.edu
    ABSTRACT - This paper presents a new design flow, FPDSiMPA, and a set of techniques for synthesizing high-performance sub-half micron logic circuits. FPD-SiMPA consists of logic p...
    Jinan Lou, Amir H. Salek, Massoud Pedram
    claim paper
    Read More »
    133
    Voted
    OWLED
    2007
    107views Natural Language Processing» more  OWLED 2007»
    On Querying Ontologies with Contextual Logic Programming
    15 years 5 months ago
    On Querying Ontologies with Contextual Logic Programming
    Download  webont.org
    Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
    Cláudio Fernandes, Nuno Lopes 0002, Salvado...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.