73 search results - page 4 / 15 » A Metalogic Programming Approach to Reasoning about Time in ... |
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
CLIMA
2006
13 years 8 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
ENC
2005
IEEE
14 years 22 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
AIMDM
1999
Springer
13 years 11 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...