Sciweavers

    DLOG
    2008
    91views Automated Reasoning» more  DLOG 2008»
    A Hybrid Tableau Algorithm for ALCQ
    15 years 8 months ago
    A Hybrid Tableau Algorithm for ALCQ
    Download  users.encs.concordia.ca
    Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
    Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev,...
    claim paper
    Read More »
    121
    Voted
    ICIA
    2007
    184views Artificial Intelligence» more  ICIA 2007»
    Supporting Interaction in the ROBOCARE Intelligent Assistive Environment
    15 years 8 months ago
    Supporting Interaction in the ROBOCARE Intelligent Assistive Environment
    Download  robocare.istc.cnr.it
    Amedeo Cesta, Gabriella Cortellessa, Federico Peco...
    claim paper
    Read More »
    ICIA
    2007
    219views Artificial Intelligence» more  ICIA 2007»
    Task Learning by Instruction: Benefits and Challenges for Intelligent Interactive Systems
    15 years 8 months ago
    Task Learning by Instruction: Benefits and Challenges for Intelligent Interactive Systems
    Download  www.aaai.org
    The CALO desktop assistant aims to provide assistance through many AI technologies, including several techniques for learning to perform tasks. Based on our experiences implementi...
    Jim Blythe, Prateek Tandon, Mandar Tillu
    claim paper
    Read More »
    DLOG
    2008
    119views Automated Reasoning» more  DLOG 2008»
    Two Upper Bounds for Conjunctive Query Answering in SHIQ
    15 years 8 months ago
    Two Upper Bounds for Conjunctive Query Answering in SHIQ
    Download  sunsite.informatik.rwth-aachen.de
    We have shown recently that, in extensions of ALC that involve inverse roles, conjunctive query answering is harder than satisfiability: it is 2-ExpTime-complete in general and NEx...
    Carsten Lutz
    claim paper
    Read More »
    126
    Voted
    ICIA
    2007
    190views Artificial Intelligence» more  ICIA 2007»
    Bringing the User Back into Scheduling: Two Case Studies of Interaction with Intelligent Scheduling Assistants
    15 years 8 months ago
    Bringing the User Back into Scheduling: Two Case Studies of Interaction with Intelligent Scheduling Assistants
    Download  www.ai.sri.com
    Pauline Berry, Bart Peintner, Neil Yorke-Smith
    claim paper
    Read More »
    « first‹ previous…285362853728538285392854028541285422854328544…next ›last »
    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.