Switch to: References

Add citations

You must login to add citations.
  1. On propositional definability.Jérôme Lang & Pierre Marquis - 2008 - Artificial Intelligence 172 (8-9):991-1017.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.Claudio Castellini, Enrico Giunchiglia & Armando Tacchella - 2003 - Artificial Intelligence 147 (1-2):85-117.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Propositional belief base update and minimal change.Andreas Herzig & Omar Rifi - 1999 - Artificial Intelligence 115 (1):107-138.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Reasoning about nondeterministic and concurrent actions: A process algebra approach.Xiao Jun Chen & Giuseppe De Giacomo - 1999 - Artificial Intelligence 107 (1):63-98.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Two switches in the theory of counterfactuals: A study of truth conditionality and minimal change.Ivano Ciardelli, Linmin Zhang & Lucas Champollion - 2018 - Linguistics and Philosophy (6).
    Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Breaking de Morgan's law in counterfactual antecedents.Lucas Champollion, Ivano Ciardelli & Linmin Zhang - manuscript
    The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Deriving properties of belief update from theories of action.Alvaro Del Val & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2):81-119.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Deriving properties of belief update from theories of action.Alvaro Val & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2):81-119.
    We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a restricted subfamily of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Defeasible reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • On updates of hybrid knowledge bases composed of ontologies and rules.Martin Slota, João Leite & Theresa Swift - 2015 - Artificial Intelligence 229 (C):33-104.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Reasoning about actions: steady versus stabilizing state constraints.Michael Thielscher - 1998 - Artificial Intelligence 104 (1-2):339-355.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A general first-order solution to the ramification problem with cycles.Hannes Strass & Michael Thielscher - 2013 - Journal of Applied Logic 11 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark  
  • Specifying and verifying interaction protocols in a temporal action logic.Laura Giordano, Alberto Martelli & Camilla Schwind - 2007 - Journal of Applied Logic 5 (2):214-234.
    Download  
     
    Export citation  
     
    Bookmark