Sciweavers

    524 search results - page 3 / 105
    » Representation and Reasoning on RBAC: A Description Logic Ap...
    Sort
    View
    LILOG
    1989
    108views Information Technology» more  LILOG 1989»
    Representation and Reasoning with Attributive Descriptions
    13 years 9 months ago
    Representation and Reasoning with Attributive Descriptions
    Download  www.ps.uni-saarland.de
    This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
    Bernhard Nebel, Gert Smolka
    claim paper
    Read More »
    JACM
    2010
    137views more  JACM 2010»
    Reconciling description logics and rules
    13 years 3 months ago
    Reconciling description logics and rules
    Download  www.dis.uniroma1.it
    Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
    Boris Motik, Riccardo Rosati
    claim paper
    Read More »
    DLOG
    2006
    132views Automated Reasoning» more  DLOG 2006»
    Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
    13 years 6 months ago
    Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
    Download  ftp.informatik.rwth-aachen.de
    Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
    Haiyan Che, Jigui Sun
    claim paper
    Read More »
    DLOG
    2009
    104views Automated Reasoning» more  DLOG 2009»
    A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
    13 years 3 months ago
    A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
    Download  web.comlab.ox.ac.uk
    Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
    Thomas Lukasiewicz, Azzurra Ragone
    claim paper
    Read More »
    DLOG
    2003
    154views Automated Reasoning» more  DLOG 2003»
    Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
    13 years 6 months ago
    Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
    Download  sunsite.informatik.rwth-aachen.de
    In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
    François de Bertrand de Beuvron, Amadou Cou...
    claim paper
    Read More »
    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.