Sciweavers

1636 search results - page 125 / 328
» Reasoning About Quantum Systems
Sort
View
NMR
2004
Springer
15 years 11 months ago
Generalizing the AGM postulates: preliminary results and applications
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
Giorgos Flouris, Dimitris Plexousakis, Grigoris An...
ENC
2003
IEEE
15 years 11 months ago
Modelling Norms for Autonomous Agents
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
Fabiola López y López, Michael Luck
ATAL
2005
Springer
15 years 8 months ago
Observation-based proactive communication in team cooperation
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
Yu Zhang, Richard A. Volz, Thomas R. Ioerger
EWCBR
2008
Springer
15 years 8 months ago
Increasing Precision of Credible Case-Based Inference
Abstract. Credible case-based inference (CCBI) is a new and theoretically sound inferencing mechanism for case-based systems. In this paper, we formally investigate the level of pr...
Thomas Gabel, Martin Riedmiller
IADIS
2004
15 years 7 months ago
Deployment of ICT application in rural India - our experience
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
Sree Kumar R., Neelanarayanan Venkataraman, Balaji...