Sciweavers

    4978 search results - page 187 / 996
    » Logical models of argument
    Sort
    View
    AI
    2010
    Springer
    157views Artificial Intelligence» more  AI 2010»
    Learning complex action models with quantifiers and logical implications
    15 years 2 months ago
    Learning complex action models with quantifiers and logical implications
    Download  www.zsusoft.com
    Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei L...
    claim paper
    Read More »
    GCB
    2009
    Springer
    196views Biometrics» more  GCB 2009»
    Comparative Generalized Logic Modeling Reveals Differential Gene Interactions during Cell Cycle Exit in Drosophila Wing Developm
    15 years 1 months ago
    Comparative Generalized Logic Modeling Reveals Differential Gene Interactions during Cell Cycle Exit in Drosophila Wing Developm
    Download  www.cs.nmsu.edu
    Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
    Mingzhou Song, Chung-Chien Hong, Yang Zhang, Laura...
    claim paper
    Read More »
    ATAL
    2011
    Springer
    186views Intelligent Agents» more  ATAL 2011»
    Agents that speak: modelling communicative plans and information sources in a logic of announcements
    14 years 4 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 »
    COMPSAC
    2011
    IEEE
    251views Software Engineering» more  COMPSAC 2011»
    Conformance Checking with Constraint Logic Programming: The Case of Feature Models
    14 years 4 months ago
    Conformance Checking with Constraint Logic Programming: The Case of Feature Models
    Download  cri-dist.univ-paris1.fr
    Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...
    claim paper
    Read More »
    CAISE
    2006
    Springer
    133views Information Technology» more  CAISE 2006»
    Modelling and Verifying of e-Commerce Systems
    15 years 8 months ago
    Modelling and Verifying of e-Commerce Systems
    Download  sunsite.informatik.rwth-aachen.de
    Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
    Andreas Speck
    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.