| |
|
| |
ArXiv Computer Science e-prints (November 2003)
|
| |
Artificial Intelligence and Law, Vol. 16, No. 1. (27 March 2008), pp. 53-71.
|
| |
Environments for Multi-Agent Systems III (2007), pp. 203-220.
|
| |
Requirements Engineering, 14th IEEE International Conference In Requirements Engineering, 14th IEEE International Conference (2006), pp. 49-58.
|
| |
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on In Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on (2001), pp. 41-47.
|
| |
Deontic Logic and Artificial Normative Systems (2006), pp. 24-35.
|
| |
Philosophy of Science, Vol. 12, No. 2. (1945), pp. 52-56.
|
| |
|
| |
|
| |
|
| |
Journal of Theoretical Biology, Vol. 241, No. 2. (21 July 2006), pp. 233-240.
|
| |
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on, Vol. 3 (1999), pp. 245-250 vol.3.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Comput. Stand. Interfaces, Vol. 25, No. 2. (May 2003), pp. 83-102.
|
| |
Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
|
| |
In Formal and Applied Practical Reasoning (1996), pp. 449-463.
|
| |
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. 9, No. 3. (1 November 2004), pp. 285-301.
|
| |
In EUROMICRO 93: Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications (1993), pp. 213-220.
|
| |
Form. Methods Syst. Des., Vol. 24, No. 2. (March 2004), pp. 157-188.
|
| |
In Proc.\ IEEE Int. Symp. on Intelligent Control (1992), pp. 170-177.
|
| |
Influence and Power (2005), pp. 249-268.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 42, No. 1-3. (2004), pp. 141-166.
|
| |
Computers and AI, Vol. 14, No. 6. (1995), pp. 533-562.
|
| |
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 7, No. 1. (1 March 1993), pp. 289-346.
|
| |
In Proc. of ICAIL 03, Edimburgh (2003)
|
| |
|
| |
|
| |
|
| |
Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 2000. Proceedings (2000), pp. 47-66.
|
CiteULike
Scis0000002's CiteULike
Search
Export
