Switch to: References

Add citations

You must login to add citations.
  1. How to progress a database III.Stavros Vassos & Hector J. Levesque - 2013 - Artificial Intelligence 195 (C):203-221.
  • The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.
  • A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
  • 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
  • Belief revision and projection in the epistemic situation calculus.Christoph Schwering, Gerhard Lakemeyer & Maurice Pagnucco - 2017 - Artificial Intelligence 251 (C):62-97.
  • Event calculus and temporal action logics compared.Erik T. Mueller - 2006 - Artificial Intelligence 170 (11):1017-1029.
  • John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.
    Direct download (2 more)  
     
    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.
  • 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.
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
  • Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
     
    Export citation  
     
    Bookmark   11 citations