Sciweavers

    29908 search results - page 640 / 5982
    » On the Complexity of
    Sort
    View
    AAAI
    2004
    128views Intelligent Agents» more  AAAI 2004»
    Complexity of Contextual Reasoning
    15 years 8 months ago
    Complexity of Contextual Reasoning
    Download  www.ai.rug.nl
    Floris Roelofsen, Luciano Serafini
    claim paper
    Read More »
    AAAI
    2006
    101views Intelligent Agents» more  AAAI 2006»
    On the Complexity of Linking Deductive and Abstract Argument Systems
    15 years 8 months ago
    On the Complexity of Linking Deductive and Abstract Argument Systems
    Download  www.aaai.org
    Michael Wooldridge, Paul E. Dunne, Simon Parsons
    claim paper
    Read More »
    ACID
    2006
    220views Algorithms» more  ACID 2006»
    Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms
    15 years 8 months ago
    Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms
    Download  www.dcs.gla.ac.uk
    We consider the concepts of a t-total vertex cover and a t-total edge cover (t 1), which generalize the notions of a vertex cover and an edge cover, respectively. A t-total verte...
    Henning Fernau, David Manlove
    claim paper
    Read More »
    ACID
    2006
    271views Algorithms» more  ACID 2006»
    On the Complexity of Ordered Colourings
    15 years 8 months ago
    On the Complexity of Ordered Colourings
    Download  www.maths.lse.ac.uk
    Jan van den Heuvel
    claim paper
    Read More »
    AIML
    2004
    125views Logical Reasoning» more  AIML 2004»
    A Lower Complexity Bound for Propositional Dynamic Logic with Intersection
    15 years 8 months ago
    A Lower Complexity Bound for Propositional Dynamic Logic with Intersection
    Download  www2.tcs.ifi.lmu.de
    This paper shows that satisfiability for Propositional Dynamic Logic with Intersection is EXPSPACE-hard. The proof uses a reduction from the word problem for alternating, exponent...
    Martin Lange
    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.