Sciweavers

    5378 search results - page 179 / 1076
    » Base Logics in Argumentation
    Sort
    View
    CIKM
    1994
    Springer
    85views Information Technology» more  CIKM 1994»
    LogicBase: A Deductive Database System Prototype
    15 years 10 months ago
    LogicBase: A Deductive Database System Prototype
    Download  www.cs.uiuc.edu
    Jiawei Han, Ling Liu, Zhaohui Xie
    claim paper
    Read More »
    DAC
    1993
    ACM
    90views Computer Architecture» more  DAC 1993»
    Optimization of Combinational Logic Circuits Based on Compatible Gates
    15 years 10 months ago
    Optimization of Combinational Logic Circuits Based on Compatible Gates
    Download  si2.epfl.ch
    Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni D...
    claim paper
    Read More »
    ENC
    2004
    IEEE
    160views Theoretical Computer Science» more  ENC 2004»
    A Method Based on Genetic Algorithms and Fuzzy Logic to Induce Bayesian Networks
    15 years 10 months ago
    A Method Based on Genetic Algorithms and Fuzzy Logic to Induce Bayesian Networks
    Download  www.uv.mx
    A method to induce bayesian networks from data to overcome some limitations of other learning algorithms is proposed. One of the main features of this method is a metric to evalua...
    Manuel Martínez-Morales, Ramiro Garza-Dom&i...
    claim paper
    Read More »
    ASP
    2001
    Springer
    160views Automated Reasoning» more  ASP 2001»
    Effect of knowledge representation on model based planning: experiments using logic programming encodings
    15 years 10 months ago
    Effect of knowledge representation on model based planning: experiments using logic programming encodings
    Download  www.aaai.org
    In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
    Le-Chi Tuan, Chitta Baral
    claim paper
    Read More »
    CAISE
    2003
    Springer
    76views Information Technology» more  CAISE 2003»
    A Logic-Based Formalism to Model and Analyze Workflow Executions
    15 years 10 months ago
    A Logic-Based Formalism to Model and Analyze Workflow Executions
    Download  sunsite.informatik.rwth-aachen.de
    Gianluigi Greco, Antonella Guzzo, Domenico Sacc&ag...
    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.