Sciweavers

    1143 search results - page 52 / 229
    » Prospective Logic Agents
    Sort
    View
    LANMR
    2007
    125views Logical Reasoning» more  LANMR 2007»
    Analysis of the paraconsistency in some logics
    15 years 7 months ago
    Analysis of the paraconsistency in some logics
    Download  sunsite.informatik.rwth-aachen.de
    In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful t...
    Eduardo Ariza, José Arrazola
    claim paper
    Read More »
    DALT
    2008
    Springer
    163views Intelligent Agents» more  DALT 2008»
    A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
    15 years 7 months ago
    A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
    Download  www.di.unito.it
    Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
    Jan Broersen
    claim paper
    Read More »
    WWW
    2001
    ACM
    114views Internet Technology» more  WWW 2001»
    Logic-Based Adaptive Information Agents on the Web
    16 years 6 months ago
    Logic-Based Adaptive Information Agents on the Web
    Download  www10.org
    Raymond Lau
    claim paper
    Read More »
    SAC
    2005
    ACM
    122views Applied Computing» more  SAC 2005»
    Agent oriented logic programming in Jinni 2004
    15 years 11 months ago
    Agent oriented logic programming in Jinni 2004
    Download  jo.ecs.fullerton.edu
    Paul Tarau
    claim paper
    Read More »
    JELIA
    2004
    Springer
    115views Artificial Intelligence» more  JELIA 2004»
    The DALI Logic Programming Agent-Oriented Language
    15 years 11 months ago
    The DALI Logic Programming Agent-Oriented Language
    Download  www.cs.unipr.it
    Stefania Costantini, Arianna Tocchio
    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.