Sciweavers

    AAAI
    2000
    143views Intelligent Agents» more  AAAI 2000»
    Iterative Flattening: A Scalable Method for Solving Multi-Capacity Scheduling Problems
    14 years 25 days ago
    Iterative Flattening: A Scalable Method for Solving Multi-Capacity Scheduling Problems
    Download  www.ri.cmu.edu
    One challenge for research in constraint-based scheduling has been to produce scalable solution procedures under fairly general representational assumptions. Quite often, the comp...
    Amedeo Cesta, Angelo Oddi, Stephen F. Smith
    claim paper
    Read More »
    AAAI
    2000
    129views Intelligent Agents» more  AAAI 2000»
    Answering Queries Using Views over Description Logics Knowledge Bases
    14 years 25 days ago
    Answering Queries Using Views over Description Logics Knowledge Bases
    Download  www.inf.unibz.it
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    AAAI
    2000
    84views Intelligent Agents» more  AAAI 2000»
    On the Recognition of Abstract Markov Policies
    14 years 25 days ago
    On the Recognition of Abstract Markov Policies
    Download  www.aaai.org
    Hung Hai Bui, Svetha Venkatesh, Geoff A. W. West
    claim paper
    Read More »
    AAAI
    2000
    83views Intelligent Agents» more  AAAI 2000»
    Disjunctive Temporal Reasoning in Partially Ordered Models of Time
    14 years 25 days ago
    Disjunctive Temporal Reasoning in Partially Ordered Models of Time
    Download  www.aaai.org
    Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
    Mathias Broxvall, Peter Jonsson
    claim paper
    Read More »
    AAAI
    2000
    166views Intelligent Agents» more  AAAI 2000»
    From Causal Theories to Successor State Axioms and STRIPS-Like Systems
    14 years 25 days ago
    From Causal Theories to Successor State Axioms and STRIPS-Like Systems
    Download  www.aaai.org
    We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
    Fangzhen Lin
    claim paper
    Read More »
    AAAI
    2000
    161views Intelligent Agents» more  AAAI 2000»
    A Methodology for Modeling and Representing Expert Knowledge that Supports Teaching-Based Intelligent Agent Development
    14 years 25 days ago
    A Methodology for Modeling and Representing Expert Knowledge that Supports Teaching-Based Intelligent Agent Development
    Download  lalab.gmu.edu
    Michael Bowman, Gheorghe Tecuci, Mihai Boicu
    claim paper
    Read More »
    AAAI
    2000
    176views Intelligent Agents» more  AAAI 2000»
    Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
    14 years 25 days ago
    Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
    Download  www.aaai.org
    We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
    Craig Boutilier, Raymond Reiter, Mikhail Soutchans...
    claim paper
    Read More »
    AAAI
    2000
    197views Intelligent Agents» more  AAAI 2000»
    Decision Making under Uncertainty: Operations Research Meets AI (Again)
    14 years 25 days ago
    Decision Making under Uncertainty: Operations Research Meets AI (Again)
    Download  www.aaai.org
    Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...
    Craig Boutilier
    claim paper
    Read More »
    AAAI
    2000
    94views Intelligent Agents» more  AAAI 2000»
    Redundancy in Random SAT Formulas
    14 years 25 days ago
    Redundancy in Random SAT Formulas
    Download  www.aaai.org
    The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
    Yacine Boufkhad, Olivier Roussel
    claim paper
    Read More »
    AAAI
    2000
    104views Intelligent Agents» more  AAAI 2000»
    Towards a Logic-Based Theory of Argumentation
    14 years 25 days ago
    Towards a Logic-Based Theory of Argumentation
    Download  www.aaai.org
    There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...
    Philippe Besnard, Anthony Hunter
    claim paper
    Read More »
    « first‹ previous…91011121314151617next ›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.