Sciweavers

1419 search results - page 132 / 284
» Notes on Formalizing Context
Sort
View
94
Voted
DALT
2006
Springer
15 years 4 months ago
When Agents Communicate Hypotheses in Critical Situations
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson
117
Voted
AAAI
2007
15 years 3 months ago
Forgetting Actions in Domain Descriptions
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
Esra Erdem, Paolo Ferraris
116
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
The Pairing of Contracts and Session Types
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
Cosimo Laneve, Luca Padovani
117
Voted
DCAI
2008
15 years 2 months ago
Management Ubiquitous of Messages and Documents Organizational through Intelligent Agents
In the context of artificial intelligence, the multiagent systems are an alternative solution to address complex problems and distributed. PAINALLI is an multi-agent architecture f...
Rosa Cano, Juan G. Sánchez, Cristian Pinz&o...
OWLED
2007
15 years 2 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi