Modeling Abstract Behavior: A Dynamic Logic Approach
暂无分享,去创建一个
[1] Jan M. Broersen,et al. Relativized Action Complement for Dynamic Logics , 2002, Advances in Modal Logic.
[2] Tinko Tinchev,et al. An Essay in Combinatory Dynamic Logic , 1991, Inf. Comput..
[3] Dana S. Nau,et al. Semantics for hierarchical task-network planning , 1994 .
[4] Frank Dignum,et al. A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.
[5] Frank Wolter,et al. Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.
[6] Renate A. Schmidt,et al. Multi-agent Logics of Dynamic Belief and Knowledge , 2002, JELIA.
[7] Helmut Prendinger,et al. Reasoning about action and change , 1996, J. Log. Lang. Inf..
[8] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[9] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[10] J.-J. Ch. Meyer,et al. Dynamic logic for reasoning about actions and agents , 1999 .
[11] Maurizio Lenzerini,et al. PDL-based framework for reasoning about actions , 1995, AI*IA.