Sciweavers

    DAGSTUHL
    2003
    146views Software Engineering» more  DAGSTUHL 2003»
    Query Answering in Inconsistent Databases
    14 years 2 months ago
    Query Answering in Inconsistent Databases
    Download  www.cse.buffalo.edu
    In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
    Leopoldo E. Bertossi, Jan Chomicki
    claim paper
    Read More »
    EUSFLAT
    2001
    76views Fuzzy Logic» more  EUSFLAT 2001»
    Similarity-based unification: a multi-adjoint approach
    14 years 2 months ago
    Similarity-based unification: a multi-adjoint approach
    Download  sevein.matap.uma.es
    The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
    Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
    claim paper
    Read More »
    DAGSTUHL
    2004
    108views Software Engineering» more  DAGSTUHL 2004»
    ECA Perspectives - Requirements, Applications, Technology
    14 years 2 months ago
    ECA Perspectives - Requirements, Applications, Technology
    Download  www.cs.vu.nl
    In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
    Anton Eliëns, Zhisheng Huang, Johan F. Hoorn,...
    claim paper
    Read More »
    CLIMA
    2004
    128views Intelligent Agents» more  CLIMA 2004»
    From Logic Programs Updates to Action Description Updates
    14 years 2 months ago
    From Logic Programs Updates to Action Description Updates
    Download  www.cs.unipr.it
    An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
    José Júlio Alferes, Federico Banti, ...
    claim paper
    Read More »
    AAAI
    2004
    111views Intelligent Agents» more  AAAI 2004»
    Logic Programs with Abstract Constraint Atoms
    14 years 2 months ago
    Logic Programs with Abstract Constraint Atoms
    Download  www.aaai.org
    We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
    Victor W. Marek, Miroslaw Truszczynski
    claim paper
    Read More »
    OWLED
    2007
    107views Natural Language Processing» more  OWLED 2007»
    On Querying Ontologies with Contextual Logic Programming
    14 years 2 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 »
    IJCAI
    2007
    164views Artificial Intelligence» more  IJCAI 2007»
    A Faithful Integration of Description Logics with Logic Programming
    14 years 2 months ago
    A Faithful Integration of Description Logics with Logic Programming
    Download  www.ijcai.org
    Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
    Boris Motik, Riccardo Rosati
    claim paper
    Read More »
    ICMLA
    2007
    126views Machine Learning» more  ICMLA 2007»
    Learning to evaluate conditional partial plans
    14 years 2 months ago
    Learning to evaluate conditional partial plans
    Download  www.cs.lth.se
    In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
    Slawomir Nowaczyk, Jacek Malec
    claim paper
    Read More »
    FECS
    2007
    109views Education» more  FECS 2007»
    Prolog as the First Programming Language
    14 years 2 months ago
    Prolog as the First Programming Language
    Download  www.cs.uiowa.edu
    The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
    Arthur Fleck
    claim paper
    Read More »
    COMMA
    2008
    148views Applied Computing» more  COMMA 2008»
    A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming
    14 years 2 months ago
    A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming
    Download  cs.uns.edu.ar
    Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
    Teresa Alsinet, Carlos Iván Chesñeva...
    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-2025, USA.