Author:
de Carvalho Ferreira Nivea,Fisher Michael,van der Hoek Wiebe
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference24 articles.
1. Modal Logic;Blackburn,2001
2. M. Carlsson, G. Ottosson, B. Carlson, An open-ended finite domain constraint solver, in: Proceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics, and Programs (PLILP’97), 1997.
3. N. de Carvalho Ferreira, Programming Uncertain Agents, Ph.D. thesis, Department of Computer Science, University of Liverpool, UK, 2006.
4. N. de Carvalho Ferreira, M. Fisher, W. van der Hoek, A Logical Implementation of Uncertain Agents, in: A.C.C. Bento, G. Dias (Eds.), Progress in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol. 3808, 2005.
5. D. Driankov, Reasoning about Uncertainty: Towards a many-valued logic of belief, in: IDA Annual Research Report, Linköping University, 1987.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献