Sciweavers

    SLP
    1990
    76views more  SLP 1990»
    Partial Evaluation for Hierarchies of Logic Theories
    13 years 5 months ago
    Partial Evaluation for Hierarchies of Logic Theories
    Download  www.dsi.unive.it
    We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
    Michele Bugliesi, Evelina Lamma, Paola Mello
    claim paper
    Read More »
    IJCAI
    1993
    87views Artificial Intelligence» more  IJCAI 1993»
    A Parameterised Module System for Constructing Typed Logic Programs
    13 years 5 months ago
    A Parameterised Module System for Constructing Typed Logic Programs
    Download  ijcai.org
    The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
    Patricia M. Hill
    claim paper
    Read More »
    IJCAI
    1993
    135views Artificial Intelligence» more  IJCAI 1993»
    Representing Concurrent Actions in Extended Logic Programming
    13 years 5 months ago
    Representing Concurrent Actions in Extended Logic Programming
    Download  dli.iiit.ac.in
    Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
    Chitta Baral, Michael Gelfond
    claim paper
    Read More »
    SLP
    1997
    102views more  SLP 1997»
    Compositionality of Normal Open Logic Programs
    13 years 5 months ago
    Compositionality of Normal Open Logic Programs
    Download  www.cs.kuleuven.ac.be
    Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
    Sofie Verbaeten, Marc Denecker, Danny De Schreye
    claim paper
    Read More »
    UAI
    2003
    131views Artificial Intelligence» more  UAI 2003»
    CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
    13 years 5 months ago
    CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
    Download  www.dcc.fc.up.pt
    Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
    Vítor Santos Costa, David Page, Maleeha Qaz...
    claim paper
    Read More »
    JISBD
    2003
    150views Software Engineering» more  JISBD 2003»
    Using Contextual Logic Programming for Temporal Reasoning
    13 years 5 months ago
    Using Contextual Logic Programming for Temporal Reasoning
    Download  www.di.uevora.pt
    The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
    Vítor Nogueira, Salvador Abreu, Gabriel Dav...
    claim paper
    Read More »
    WOA
    2004
    166views Intelligent Agents» more  WOA 2004»
    A Game-Theoretic Operational Semantics
    13 years 5 months ago
    A Game-Theoretic Operational Semantics
    Download  costantini.di.univaq.it
    Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
    Arianna Tocchio, Stefania Costantini, Alessia Vert...
    claim paper
    Read More »
    UAI
    2004
    153views Artificial Intelligence» more  UAI 2004»
    A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
    13 years 5 months ago
    A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
    Download  cs.uns.edu.ar
    Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...
    Carlos Iván Chesñevar, Guillermo Ric...
    claim paper
    Read More »
    IJCAI
    2001
    139views Artificial Intelligence» more  IJCAI 2001»
    A Comparative Study of Logic Programs with Preference
    13 years 5 months ago
    A Comparative Study of Logic Programs with Preference
    Download  www.cs.uni-potsdam.de
    We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
    Torsten Schaub, Kewen Wang
    claim paper
    Read More »
    IJIT
    2004
    196views Artificial Intelligence» more  IJIT 2004»
    Rule-Based Message Passing for Collaborative Application in Distributed Environments
    13 years 5 months ago
    Rule-Based Message Passing for Collaborative Application in Distributed Environments
    Download  www.waset.org
    In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
    Wataru Yamazaki, Hironori Hiraishi, Fumio Mizoguch...
    claim paper
    Read More »
    « first‹ previous123456789…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.