Sciweavers

    3515 search results - page 35 / 703
    » On the semantics of Strategy Logic
    Sort
    View
    SMALLTALK
    2007
    Springer
    109views Programming Languages» more  SMALLTALK 2007»
    Forward chaining in HALO: an implementation strategy for history-based logic pointcuts
    16 years 1 months ago
    Forward chaining in HALO: an implementation strategy for history-based logic pointcuts
    Download  soft.vub.ac.be
    Charlotte Herzeel, Kris Gybels, Pascal Costanza, C...
    claim paper
    Read More »
    KR
    2004
    Springer
    106views Automated Reasoning» more  KR 2004»
    Logical Foundations of Negotiation: Strategies and Preferences
    16 years 7 days ago
    Logical Foundations of Negotiation: Strategies and Preferences
    Download  www.aaai.org
    Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Don...
    claim paper
    Read More »
    DCAI
    2008
    95views Distributed And Parallel Com...» more  DCAI 2008»
    Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude
    15 years 8 months ago
    Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude
    Download  maude.sip.ucm.es
    Gustavo Santos-García, Miguel Palomino, Alb...
    claim paper
    Read More »
    MODELLIERUNG
    2008
    81views Software Engineering» more  MODELLIERUNG 2008»
    Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy
    15 years 8 months ago
    Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy
    Download  isweb.uni-koblenz.de
    Fernando Silva Parreiras, Steffen Staab, Andreas W...
    claim paper
    Read More »
    LOPSTR
    2004
    Springer
    105views Automated Reasoning» more  LOPSTR 2004»
    On the Semantics of Logic Program Composition
    16 years 7 days ago
    On the Semantics of Logic Program Composition
    Download  www.di.unipi.it
    Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
    Antonio Brogi
    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.