Sciweavers

    2585 search results - page 77 / 517
    » Automating Coherent Logic
    Sort
    View
    CORR
    2008
    Springer
    92views Education» more  CORR 2008»
    Automated Termination Proofs for Logic Programs by Term Rewriting
    15 years 6 months ago
    Automated Termination Proofs for Logic Programs by Term Rewriting
    Download  tocl.acm.org
    Peter Schneider-Kamp, Jürgen Giesl, Alexander...
    claim paper
    Read More »
    ETAI
    2000
    43views more  ETAI 2000»
    An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
    15 years 6 months ago
    An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
    Download  www.doc.ic.ac.uk
    Simon Colton
    claim paper
    Read More »
    EXPERT
    2007
    74views more  EXPERT 2007»
    Using Fuzzy Logic in Automated Vehicle Control
    15 years 6 months ago
    Using Fuzzy Logic in Automated Vehicle Control
    Download  digital.csic.es
    José Eugenio Naranjo, Miguel Ángel S...
    claim paper
    Read More »
    IAT
    2009
    IEEE
    151views Intelligent Agents» more  IAT 2009»
    Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
    15 years 10 months ago
    Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
    Download  sisinflab.poliba.it
    Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
    Thomas Lukasiewicz, Azzurra Ragone
    claim paper
    Read More »
    ICLP
    1995
    Springer
    107views Automated Reasoning» more  ICLP 1995»
    Variants of the Event Calculus
    15 years 9 months ago
    Variants of the Event Calculus
    Download  www.ucl.ac.uk
    Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
    Fariba Sadri, Robert A. Kowalski
    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.