Sciweavers

    AAAI
    2011
    158views Intelligent Agents» more  AAAI 2011»
    Reasoning About General Games Described in GDL-II
    12 years 9 months ago
    Reasoning About General Games Described in GDL-II
    Download  cgi.cse.unsw.edu.au
    Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
    Stephan Schiffel, Michael Thielscher
    claim paper
    Read More »
    LOGCOM
    1998
    80views more  LOGCOM 1998»
    Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
    13 years 9 months ago
    Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
    Download  www.cs.toronto.edu
    The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
    Javier Pinto
    claim paper
    Read More »
    ECAI
    2010
    Springer
    208views Artificial Intelligence» more  ECAI 2010»
    On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
    13 years 11 months ago
    On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
    Download  www-kbsg.informatik.rwth-aachen.de
    Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
    Jens Claßen, Gerhard Lakemeyer
    claim paper
    Read More »
    IJCAI
    1989
    88views Artificial Intelligence» more  IJCAI 1989»
    Time for Action: On the Relation Between Time, Knowledge and Action
    13 years 11 months ago
    Time for Action: On the Relation Between Time, Knowledge and Action
    Download  dli.iiit.ac.in
    We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
    Yoav Shoham
    claim paper
    Read More »
    AAAI
    1994
    152views Intelligent Agents» more  AAAI 1994»
    Rule Based Updates on Simple Knowledge Bases
    13 years 11 months ago
    Rule Based Updates on Simple Knowledge Bases
    Download  www.aaai.org
    In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
    Chitta Baral
    claim paper
    Read More »
    AAAI
    1994
    167views Intelligent Agents» more  AAAI 1994»
    Forming Beliefs about a Changing World
    13 years 11 months ago
    Forming Beliefs about a Changing World
    Download  www.aaai.org
    The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
    Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
    claim paper
    Read More »
    IJCAI
    1997
    135views Artificial Intelligence» more  IJCAI 1997»
    Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
    13 years 11 months ago
    Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
    Download  dli.iiit.ac.in
    As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
    Giuseppe De Giacomo, Yves Lespérance, Hecto...
    claim paper
    Read More »
    AAAI
    2000
    104views Intelligent Agents» more  AAAI 2000»
    cc-Golog: Towards More Realistic Logic-Based Robot Controllers
    13 years 11 months ago
    cc-Golog: Towards More Realistic Logic-Based Robot Controllers
    Download  www.aaai.org
    High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
    Henrik Grosskreutz, Gerhard Lakemeyer
    claim paper
    Read More »
    IJCAI
    2003
    145views Artificial Intelligence» more  IJCAI 2003»
    Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
    13 years 11 months ago
    Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
    Download  www.cs.toronto.edu
    A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
    Alfredo Gabaldon
    claim paper
    Read More »
    AAAI
    2006
    199views Intelligent Agents» more  AAAI 2006»
    Decision Making in Uncertain Real-World Domains Using DT-Golog
    13 years 11 months ago
    Decision Making in Uncertain Real-World Domains Using DT-Golog
    Download  www.aaai.org
    DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
    Mikhail Soutchanski, Huy Pham, John Mylopoulos
    claim paper
    Read More »
    123next ›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.