Abstract
Reasoning in Ambient Computing environments requires formal models that represent ambient agents as autonomous logic-based entities, and support sharing and distributed reasoning with the available ambiguous context information. This paper presents an approach from the field of Multi-Context Systems that handles these requirements by modeling contexts as local rule theories in a P2P system and mappings through which the agents exchange context information as defeasible rules, and by performing some type of distributed defeasible reasoning.
| Original language | English |
|---|---|
| Title of host publication | Web Reasoning and Rule Systems |
| Subtitle of host publication | Second International Conference, RR 2008 |
| Editors | Diego Calvanese, Georg Lausen |
| Place of Publication | Berlin |
| Publisher | Springer-Verlag Berlin Heidelberg |
| Pages | 234-235 |
| Number of pages | 2 |
| Volume | 5341 LNCS |
| ISBN (Electronic) | 9783540887379 |
| ISBN (Print) | 9783540887362 |
| DOIs | |
| Publication status | Published - 17 Nov 2008 |
| Externally published | Yes |
| Event | 2nd International Conference on Web Reasoning and Rule Systems - Karlsruhe, Germany Duration: 31 Oct 2008 → 1 Nov 2008 Conference number: 2 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer-Verlag Berlin Heidelberg |
| Volume | 5341 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 2nd International Conference on Web Reasoning and Rule Systems |
|---|---|
| Abbreviated title | RR 2008 |
| Country/Territory | Germany |
| City | Karlsruhe |
| Period | 31/10/08 → 1/11/08 |