Sciweavers

    3970 search results - page 35 / 794
    » A Logic For Causal Reasoning
    Sort
    View
    ECSQARU
    2001
    Springer
    104views Automated Reasoning» more  ECSQARU 2001»
    Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
    15 years 10 months ago
    Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
    Download  www.kr.tuwien.ac.at
    Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...
    claim paper
    Read More »
    IAT
    2008
    IEEE
    131views Intelligent Agents» more  IAT 2008»
    Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
    16 years 13 days ago
    Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
    Download  www.governatori.net
    Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
    Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
    claim paper
    Read More »
    IJAR
    2008
    129views more  IJAR 2008»
    Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
    15 years 6 months ago
    Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
    Download  cs.uns.edu.ar
    Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
    Teresa Alsinet, Carlos Iván Chesñeva...
    claim paper
    Read More »
    ICLP
    2001
    Springer
    94views Automated Reasoning» more  ICLP 2001»
    Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
    15 years 10 months ago
    Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
    Download  kaminari.scitec.kobe-u.ac.jp
    Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...
    claim paper
    Read More »
    LICS
    1997
    IEEE
    119views Automated Reasoning» more  LICS 1997»
    First-Order Logic with Two Variables and Unary Temporal Logic
    15 years 10 months ago
    First-Order Logic with Two Variables and Unary Temporal Logic
    Download  www.brics.dk
    Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
    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.