Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing

Antonis Bikakis, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 languageEnglish
Title of host publicationWeb Reasoning and Rule Systems
Subtitle of host publicationSecond International Conference, RR 2008
EditorsDiego Calvanese, Georg Lausen
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages2
Volume5341 LNCS
ISBN (Electronic)9783540887379
ISBN (Print)9783540887362
Publication statusPublished - 17 Nov 2008
Externally publishedYes
Event2nd International Conference on Web Reasoning and Rule Systems - Karlsruhe, Germany
Duration: 31 Oct 20081 Nov 2008
Conference number: 2

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag Berlin Heidelberg
Volume5341 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference2nd International Conference on Web Reasoning and Rule Systems
Abbreviated titleRR 2008

Cite this