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

Graph

<?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>

www.000webhost.com