Switch to: References

Add citations

You must login to add citations.
  1. Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
    Download  
     
    Export citation  
     
    Bookmark  
  • How to progress a database III.Stavros Vassos & Hector J. Levesque - 2013 - Artificial Intelligence 195 (C):203-221.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.
    The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Belief revision and projection in the epistemic situation calculus.Christoph Schwering, Gerhard Lakemeyer & Maurice Pagnucco - 2017 - Artificial Intelligence 251 (C):62-97.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Event calculus and temporal action logics compared.Erik T. Mueller - 2006 - Artificial Intelligence 170 (11):1017-1029.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.
    Download  
     
    Export citation  
     
    Bookmark  
  • A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):142-164.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Reasoning about actions and change in argumentation.E. Hadjisoteriou & A. Kakas - 2016 - Argument and Computation 6 (3):265-291.
    Volume 6, Issue 3, September 2015, Page 265-291.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Communicative Intentions and Conversational Processes in Human-Human and Human-Computer Dialogue.Matthew Stone - unknown
    This chapter investigates the computational consequences of a broadly Gricean view of language use as intentional activity. In this view, dialogue rests on coordinated reasoning about communicative intentions. The speaker produces each utterance by formulating a suitable communicative intention. The hearer understands it by recognizing the communicative intention behind it. When this coordination is successful, interlocutors succeed in considering the same intentions— that is, the same representations of utterance meaning—as the dialogue proceeds. In this paper, I emphasize that these intentions (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations