Sciweavers

4617 search results - page 559 / 924
» Automation of Diagrammatic Reasoning
Sort
View
EWCBR
2004
Springer
16 years 1 months ago
Development of CBR-BDI Agents: A Tourist Guide Application
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
Juan M. Corchado, Juan Pavón, Emilio Corcha...
ICLP
2004
Springer
16 years 1 months ago
Possible Worlds Semantics for Probabilistic Logic Programs
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
Alex Dekhtyar, Michael I. Dekhtyar
ILP
2004
Springer
16 years 29 days ago
Learning Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
Fabrizio Riguzzi
KR
2004
Springer
16 years 29 days ago
Regulative and Constitutive Norms in Normative Multiagent Systems
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
Guido Boella, Leendert W. N. van der Torre
KR
2004
Springer
16 years 29 days ago
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities
In this paper, we propose a framework that provides software and robotic agents with the ability to ask approximate questions to each other in the context of heterogeneous ontolog...
Patrick Doherty, Andrzej Szalas, Witold Lukaszewic...