Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications

Radosław Klimek

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications

Topics: Ambient Intelligence; Context-Aware Applications

In Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems PECCS - Volume 1, 131-134, 2013 , Barcelona, Spain

Author: Radosław Klimek

Affiliation: AGH University of Science and Technology, Poland

Keyword(s): Preference Modeling, Context-aware Applications, Patterns, Temporal Logic, Deduction, Semantic Tableaux.

Related Ontology Subjects/Areas/Topics: Ambient Intelligence ; Context ; Context-Aware Applications ; Mobile and Pervasive Computing ; Paradigm Trends ; Software Engineering ; Telecommunications

Abstract: This work concerns preference models and their formal analysis using a deductive approach, i.e. temporal logic for both specification and verification, and the semantic tableaux method for reasoning. The architecture of an automatic and deduction-based verification system for preference models is also proposed. It allows analysis of both desired properties of models and their semantic contradictions. Preference models are built from predefined patterns which enable automatic generation of logical specifications for preferences.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.15.190.144

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Klimek, R. (2013). Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications. In Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS; ISBN 978-989-8565-43-3; ISSN 2184-2817, SciTePress, pages 131-134. DOI: 10.5220/0004314901310134

@conference{peccs13,
author={Radosław Klimek.},
title={Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications},
booktitle={Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS},
year={2013},
pages={131-134},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004314901310134},
isbn={978-989-8565-43-3},
issn={2184-2817},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS
TI - Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications
SN - 978-989-8565-43-3
IS - 2184-2817
AU - Klimek, R.
PY - 2013
SP - 131
EP - 134
DO - 10.5220/0004314901310134
PB - SciTePress