Sciweavers

    10568 search results - page 14 / 2114
    » Computer Intelligence and Formalization
    Sort
    View
    PAAMS
    2010
    Springer
    168views Intelligent Agents» more  PAAMS 2010»
    Comparing Three Computational Models of Affect
    15 years 9 months ago
    Comparing Three Computational Models of Affect
    Download  www.few.vu.nl
    In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
    Tibor Bosse, Jonathan Gratch, Johan F. Hoorn, Matt...
    claim paper
    Read More »
    ATAL
    2009
    Springer
    94views Intelligent Agents» more  ATAL 2009»
    Logical formalization of social commitments: application to agent communication languages
    15 years 11 months ago
    Logical formalization of social commitments: application to agent communication languages
    Download  www.aamas-conference.org
    Benoit Gaudou, Andreas Herzig, Dominique Longin
    claim paper
    Read More »
    ATAL
    2009
    Springer
    125views Intelligent Agents» more  ATAL 2009»
    Formal aspects of classifying and selecting business services
    15 years 11 months ago
    Formal aspects of classifying and selecting business services
    Download  www.aamas-conference.org
    Yathiraj B. Udupi, Munindar P. Singh
    claim paper
    Read More »
    75
    Voted
    ICLA
    2009
    Springer
    82views Artificial Intelligence» more  ICLA 2009»
    Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
    15 years 11 months ago
    Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
    Download  ali.cmi.ac.in
    G. S. Mahalakshmi, T. V. Geetha
    claim paper
    Read More »
    AIED
    2007
    Springer
    73views Artificial Intelligence» more  AIED 2007»
    Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances
    15 years 10 months ago
    Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances
    Download  www.cs.cmu.edu
    Maxim Makatchev, Kurt VanLehn
    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.