Automatically assigned DDC number: 00633
Manually assigned DDC number: 00633
Number of references: 4
Title: Temporal Reasoning with Constraint Handling Rules
Author:
Subject: Thom Fruhwirth Temporal Reasoning with Constraint Handling Rules
Description: This paper describes an application of constraint handling rules to temporal reasoning and illustrates the conceptual simplicity and flexibility of the approach. Following the framework of Meiri, temporal reasoning is viewed as a constraint satisfaction problem about location of temporal variables along the time line. Temporal variables may be points or intervals and temporal constraints are disjunctions of qualitative or quantitative primitive binary temporal relations. We use constraint logic programming extended with constraint handling rules to define an incremental, flexible general purpose solver for disjunctive binary constraints based on path consistency and backtrack search. We show how this approach supports rapid prototyping and experimentation with different kinds of temporal reasoning and constraint satisfaction techniques in general. Keywords: Constraint-Based Reasoning, Temporal Reasoning, Logic Programming. This work was supported by ESPRIT Project 5291 CHIC. This repor...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1996-12-11
Pubyear: 1994
Format: ps
Identifier: http://citeseer.ist.psu.edu/142799.html
Source: ftp://ftp.cs.unh.edu/pub/csp/archive/papers/nato/ecrc-94-05.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/371034.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Seventh International Conference on Logic Programming" CiteSeer_Volume="" Title="Kernel Andorra {P}rolog and its Computation Model," />
<rec ID="/326130.html" Type="inproceedings" CiteSeer_Book="National Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Integrating Metric and Qualitative Temporal Reasoning,">
<identifier Org="ISBN:0262510596" Paper_ID="/326130.html" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0262510987" Paper_ID="/326130.html" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521445175" Paper_ID="/326130.html" Extracted="0521445175" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0780324625" Paper_ID="/326130.html" Extracted="0780324625" />
<identifier Org="ISBN:0805822852" Paper_ID="/326130.html" Extracted="0805822852" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0821806114" Paper_ID="/326130.html" Extracted="0821806114" DDC="006.3/0151" Normalized_DDC="00630151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586034847" Paper_ID="/326130.html" Extracted="1586034847" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:2884491287" Paper_ID="/326130.html" Extracted="2884491287" DDC="620.0028563" Normalized_DDC="6200028563" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540410538" Paper_ID="/326130.html" Extracted="3540410538" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540573224" Paper_ID="/326130.html" Extracted="3540573224" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540584951" Paper_ID="/326130.html" Extracted="3540584951" />
<identifier Org="ISBN:3540602992" Paper_ID="/326130.html" Extracted="3540602992" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540617841" Paper_ID="/326130.html" Extracted="3540617841" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540652248" Paper_ID="/326130.html" Extracted="3540652248" />
<identifier Org="ISBN:3540664955" Paper_ID="/326130.html" Extracted="3540664955" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540748172" Paper_ID="/326130.html" Extracted="3540748172" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:4274900363" Paper_ID="/326130.html" Extracted="4274900363" DDC="629.8/9263" Normalized_DDC="62989263" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/288472.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Ninth National Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Combining Qualitative and Quantitative Constraints in Temporal Reasoning,">
<identifier Org="ISBN:0262510596" Paper_ID="/288472.html" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0262510987" Paper_ID="/288472.html" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0262521687" Paper_ID="/288472.html" Extracted="0262521687" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0444527265" Paper_ID="/288472.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1558604804" Paper_ID="/288472.html" Extracted="1558604804" />
<identifier Org="ISBN:1591403006" Paper_ID="/288472.html" Extracted="1591403006" DDC="610/.68" Normalized_DDC="61068" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540222189" Paper_ID="/288472.html" Extracted="3540222189" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354024087X" Paper_ID="/288472.html" Extracted="354024087X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540290419" Paper_ID="/288472.html" Extracted="3540290419" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540325298" Paper_ID="/288472.html" Extracted="3540325298" DDC="511.313" Normalized_DDC="511313" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540437851" Paper_ID="/288472.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540584021" Paper_ID="/288472.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540584951" Paper_ID="/288472.html" Extracted="3540584951" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540602992" Paper_ID="/288472.html" Extracted="3540602992" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540614427" Paper_ID="/288472.html" Extracted="3540614427" />
<identifier Org="ISBN:3540637532" Paper_ID="/288472.html" Extracted="3540637532" />
<identifier Org="ISBN:3540637575" Paper_ID="/288472.html" Extracted="3540637575" />
<identifier Org="ISBN:3540645829" Paper_ID="/288472.html" Extracted="3540645829" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:9051992378" Paper_ID="/288472.html" Extracted="9051992378" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:9056996150" Paper_ID="/288472.html" Extracted="9056996150" />
</rec>
<rec ID="/583876.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Residuation and Guarded Rules for Constraint Logic Programming,">
<identifier Org="ISBN:0125979304" Paper_ID="/583876.html" Extracted="0125979304" DDC="401.51" Normalized_DDC="40151" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0198537921" Paper_ID="/583876.html" Extracted="0198537921" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262193612" Paper_ID="/583876.html" Extracted="0262193612" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262691779" Paper_ID="/583876.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0387569790" Paper_ID="/583876.html" Extracted="0387569790" DDC="006.3/3/015115" Normalized_DDC="00633015115" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0444527265" Paper_ID="/583876.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1558604448" Paper_ID="/583876.html" Extracted="1558604448" DDC="006.3/37" Normalized_DDC="006337" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540433716" Paper_ID="/583876.html" Extracted="3540433716" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540559302" Paper_ID="/583876.html" Extracted="3540559302" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540591559" Paper_ID="/583876.html" Extracted="3540591559" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540594795" Paper_ID="/583876.html" Extracted="3540594795" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354060670X" Paper_ID="/583876.html" Extracted="354060670X" />
<identifier Org="ISBN:3540676236" Paper_ID="/583876.html" Extracted="3540676236" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540708804" Paper_ID="/583876.html" Extracted="3540708804" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Temporal Reasoning with Constraint Handling Rules">
<identifier Org="ISBN:0262193612" Paper_ID="SELF" Extracted="0262193612" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0262731053" Paper_ID="SELF" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0471776157" Paper_ID="SELF" Extracted="0471776157" DDC="363.3202854" Normalized_DDC="3633202854" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0780337573" Paper_ID="SELF" Extracted="0780337573" />
<identifier Org="ISBN:3540584021" Paper_ID="SELF" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540591559" Paper_ID="SELF" Extracted="3540591559" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:9051994125" Paper_ID="SELF" Extracted="9051994125" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.16666666666666666" />
</rec>
</references_metadata>