Sciweavers

2145 search results - page 133 / 429
» Lax Logical Relations
Sort
View
SEBD
2001
145views Database» more  SEBD 2001»
14 years 2 days ago
Reasoning over Conceptual Schemas and Queries in Temporal Databases
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
Alessandro Artale, Enrico Franconi, Milenko Mosuro...
AAMAS
2008
Springer
13 years 10 months ago
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
JOLLI
2008
145views more  JOLLI 2008»
13 years 10 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
CSL
2006
Springer
14 years 2 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
WOLLIC
2007
Springer
14 years 4 months ago
Interval Valued QL-Implications
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...
Renata Hax Sander Reiser, Graçaliz Pereira ...