Sciweavers

    1143 search results - page 25 / 229
    » Prospective Logic Agents
    Sort
    View
    ATAL
    2009
    Springer
    97views Intelligent Agents» more  ATAL 2009»
    Handling prioritized goals and subgoals in a logical account of goal change
    16 years 17 days ago
    Handling prioritized goals and subgoals in a logical account of goal change
    Download  www.aamas-conference.org
    Shakil M. Khan, Yves Lespérance
    claim paper
    Read More »
    ATAL
    2007
    Springer
    124views Intelligent Agents» more  ATAL 2007»
    Reducing the complexity of logics for multiagent systems
    16 years 5 days ago
    Reducing the complexity of logics for multiagent systems
    Download  www.aamas-conference.org
    Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin...
    claim paper
    Read More »
    ATAL
    2007
    Springer
    82views Intelligent Agents» more  ATAL 2007»
    Towards a logical theory of coordination and joint ability
    16 years 5 days ago
    Towards a logical theory of coordination and joint ability
    Download  www.aamas-conference.org
    Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
    claim paper
    Read More »
    DALT
    2004
    Springer
    108views Intelligent Agents» more  DALT 2004»
    Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective
    15 years 11 months ago
    Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective
    Download  centria.di.fct.unl.pt
    Peep Küngas, Mihhail Matskin
    claim paper
    Read More »
    ATAL
    1997
    Springer
    121views Intelligent Agents» more  ATAL 1997»
    On the Epistemic Foundations of Agent Theories
    15 years 10 months ago
    On the Epistemic Foundations of Agent Theories
    Download  lips.informatik.uni-leipzig.de
    Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
    Ho Ngoc Duc
    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.