Programming Goal-Driven Web Sites Using an Agent Logic Language

This publication has 14 references indexed in Scilit:

• Ramification and causality in a modal action logic
  Journal of Logic and Computation, 2000
• Tailoring the Interaction with Users in Electronic Shops
  Published by Springer Nature ,1999
• A configurable system for the construction of adaptive virtual stores
  World Wide Web, 1999
• A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
  Published by Springer Nature ,1998
• Modal tableaux for reasoning about actions and plans
  Published by Springer Nature ,1997
• A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction
  Published by Springer Nature ,1997
• An abductive proof procedure for reasoning about actions in modal logic programming
  Published by Springer Nature ,1997
• Reasoning about action and change
  Journal of Logic, Language and Information, 1996
• User modelling for adaptive computer systems: a survey of recent developments
  Artificial Intelligence Review, 1993
• User Models in Dialog Systems
  Published by Springer Nature ,1989