Sciweavers

    5198 search results - page 59 / 1040
    » A Logic of Agent Programs
    Sort
    View
    ATAL
    2011
    Springer
    186views Intelligent Agents» more  ATAL 2011»
    Agents that speak: modelling communicative plans and information sources in a logic of announcements
    13 years 11 months ago
    Agents that speak: modelling communicative plans and information sources in a logic of announcements
    Download  www.ifaamas.org
    Philippe Balbiani, Nadine Guiraud, Andreas Herzig,...
    claim paper
    Read More »
    SFM
    2005
    Springer
    243views Formal Methods» more  SFM 2005»
    Hermes: Agent-Based Middleware for Mobile Computing
    15 years 4 months ago
    Hermes: Agent-Based Middleware for Mobile Computing
    Download  www.cs.unicam.it
    Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
    Flavio Corradini, Emanuela Merelli
    claim paper
    Read More »
    JSS
    2008
    136views more  JSS 2008»
    Specification, decomposition and agent synthesis for situation-aware service-based systems
    14 years 11 months ago
    Specification, decomposition and agent synthesis for situation-aware service-based systems
    Download  dpse.eas.asu.edu
    Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
    Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
    claim paper
    Read More »
    64
    Voted
    AAAI
    2008
    125views Intelligent Agents» more  AAAI 2008»
    An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics
    15 years 1 months ago
    An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics
    Download  www.cert.fr
    Austin Parker, Guillaume Infantes, V. S. Subrahman...
    claim paper
    Read More »
    66
    Voted
    AAAI
    2007
    75views Intelligent Agents» more  AAAI 2007»
    On the Approximation of Instance Level Update and Erasure in Description Logics
    15 years 1 months ago
    On the Approximation of Instance Level Update and Erasure in Description Logics
    Download  www.aaai.org
    Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...
    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-2025, USA.