Sciweavers

    260 search results - page 36 / 52
    » Model Checking Agent Dialogues
    Sort
    View
    ECAI
    2010
    Springer
    208views Artificial Intelligence» more  ECAI 2010»
    On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
    13 years 8 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 »
    AAAI
    2004
    106views Intelligent Agents» more  AAAI 2004»
    On Odd and Even Cycles in Normal Logic Programs
    13 years 8 months ago
    On Odd and Even Cycles in Normal Logic Programs
    Download  www.cs.ust.hk
    An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
    Fangzhen Lin, Xishun Zhao
    claim paper
    Read More »
    SEFM
    2009
    IEEE
    126views Software Engineering» more  SEFM 2009»
    An Automated Approach to Verifying Diagnosability in Multi-agent Systems
    14 years 2 months ago
    An Automated Approach to Verifying Diagnosability in Multi-agent Systems
    Download  www.doc.ic.ac.uk
    —This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
    Jonathan Ezekiel, Alessio Lomuscio
    claim paper
    Read More »
    WOA
    2007
    108views Intelligent Agents» more  WOA 2007»
    Declarative representation of curricula models: an LTL- and UML-based approach
    13 years 8 months ago
    Declarative representation of curricula models: an LTL- and UML-based approach
    Download  woa07.disi.unige.it
    Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
    Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
    claim paper
    Read More »
    LKR
    2008
    155views Knowledge Management» more  LKR 2008»
    On the Representation of Perceptual Knowledge for Understanding Reference Expressions
    13 years 8 months ago
    On the Representation of Perceptual Knowledge for Understanding Reference Expressions
    Download  tanaka-www.cs.titech.ac.jp
    Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
    Philipp Spanger, Takenobu Tokunaga
    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.