Manolis Koubarakis  Home/Search
Context
Related
| di.uoa.gr/~manolis/publica...kr92.ps.gz dbnet.ece.ntua.gr/pub/pap...Koub92.ps.Z dbnet.ece.ntua.gr/pub/pap...tr9201.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.uoa.gr/~manolis/conferences (more) From: dbnet.ece.ntua.gr/public...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In some temporal reasoning systems, inequations can give rise to disjunctions of inequations when variable elimination is performed. Motivated by this observation, we extend previous research on temporal constraints by considering disjunctions of inequations (under the assumption that time is dense.) We present results on consistency checking, canonical forms and variable elimination for this new class of temporal constraints. 1 INTRODUCTION In recent years temporal reasoning has received much ... (Update)
Similar documents (at the sentence level):
9.1%: Foundations of Temporal Constraint Databases - Koubarakis (1994) (Correct)
Active bibliography (related documents): More All
0.4: From Local to Global Consistency in Temporal Constraint Networks - Koubarakis (1995) (Correct)
0.3: Tractable Disjunctions of Linear Constraints - Koubarakis (1996) (Correct)
0.3: Tractable Disjunctions of Linear Constraints: Basic Results and .. - Koubarakis (1996) (Correct)
Similar documents based on text: More All
0.2: Extremal Solutions of Inequations over Lattices with.. - Kumar, Garg (Correct)
0.1: Representation and Querying in Temporal Databases: the Power of .. - Koubarakis (1993) (Correct)
0.1: Representation and Querying in Temporal Databases: the Power of .. - Koubarakis (1993) (Correct)
BibTeX entry: (Update)
@incollection{ koubarakis92dense,
author = "Manolis Koubarakis",
title = "Dense Time and Temporal Constraints with $\neq$",
booktitle = "{KR}'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference",
publisher = "Morgan Kaufmann",
address = "San Mateo, California",
editor = "Bernhard Nebel and Charles Rich and William Swartout",
pages = "24--35",
year = "1992",
url = "citeseer.ist.psu.edu/koubarakis92dense.html" }
Citations (may not include all citations):1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983
702 Consistency in Networks of Relations (context) - Mackworth - 1977
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
307 Networks of Constraints: Fundamental Properties and Applicat.. (context) - Montanari - 1974
267 Network-Based Heuristics for Constraint Satisfaction Problem.. (context) - Dechter, Pearl - 1988
107 Combining Qualitative and Quantitative Constraints in Tempor.. - Meiri - 1991
106 Temporal Data Base Management (context) - Dean, McDermott - 1987
96 Telos: A Language for Representing Knowledge About Informati.. (context) - Mylopoulos, Borgida et al. - 1990
82 Integrating Metric and Qualitative Temporal Reasoning - Kautz, Ladkin - 1991
81 Reasoning About Qualitative Temporal Information (context) - van Beek - 1990
64 Temporal Databases: Status and Research Directions (context) - Snodgrass - 1990
40 Theory of Integer and Linear Programming (context) - Schrijver - 1986
36 Equality and Domain Closure in First Order Databases (context) - Reiter - 1980
28 Representation and Querying in Temporal Databases: the Power.. - Koubarakis - 1992
20 Dense Time and Temporal Constraints with (context) - Koubarakis - 1992
19 Exact and Approximate Reasoning About Qualitative Temporal R.. (context) - van Beek - 1990
12 Special Volume on Knowledge Representation (context) - Dechter, Meiri et al. - 1991
8 Temporal Reasoning in Artificial Intelligence (context) - Shoham, Goyal - 1988
6 Simplification and Elimination of Redundant Linear Arithmeti.. (context) - Lassez, Huynh et al. - 1989
6 Kestrel Institute Technical Report (context) - Ladkin, Maddux et al. - 1988
5 A Canonical Form for Generalized Linear Costraints (context) - Lassez, McAloon - 1989
Documents on the same site (http://www.di.uoa.gr/~manolis/conferences.html): More
Tractable Disjunctive Constraints - Cohen, Jeavons, Koubarakis (1996) (Correct)
Tractable Disjunctions of Linear Constraints - Koubarakis (1996) (Correct)
From Local to Global Consistency in Temporal Constraint Networks - Koubarakis (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC