Automatically assigned DDC number: 005115

Manually assigned DDC number: 005115

Number of references: 8

Title: Hypothetical Reasoning About Actions: From Situation Calculus To Event Calculus

Author:

Subject: Alessandro Provetti Hypothetical Reasoning About Actions: From Situation Calculus To Event Calculus

Description: this paper, the language and the axioms of Event Calculus are extended to allow representing and reasoning about hypothetical actions, performed either at the present time or in the past, altough counterfactuals are not supported. Both Event Calculus and its extension are defined as logic programs so that theories are readily adaptable for Prolog query interpretation. For a reasonably large class of theories and queries, Prolog interpretation is shown to be sound and complete w.r.t. the main semantics for logic programs.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-09-10

Pubyear: 1996

Format: ps

Identifier: http://citeseer.ist.psu.edu/160520.html

Source: http://cs.utep.edu/provetti/Papers/coin.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/75166.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Actions   and   Events   in   Interval   Temporal   Logic,">

            <identifier   Org="ISBN:0199268533"   Paper_ID="/75166.html"   Extracted="0199268533"   DDC="425"   Normalized_DDC="425"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0199268541"   Paper_ID="/75166.html"   Extracted="0199268541"   DDC="425"   Normalized_DDC="425"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792347161"   Paper_ID="/75166.html"   Extracted="0792347161"   />

            <identifier   Org="ISBN:0792361490"   Paper_ID="/75166.html"   Extracted="0792361490"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0802038662"   Paper_ID="/75166.html"   Extracted="0802038662"   DDC="191"   Normalized_DDC="191"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0805845275"   Paper_ID="/75166.html"   Extracted="0805845275"   DDC="153.2"   Normalized_DDC="1532"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:155860345X"   Paper_ID="/75166.html"   Extracted="155860345X"   />

            <identifier   Org="ISBN:3540216715"   Paper_ID="/75166.html"   Extracted="3540216715"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540281746"   Paper_ID="/75166.html"   Extracted="3540281746"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540312196"   Paper_ID="/75166.html"   Extracted="3540312196"   DDC="006.3/7"   Normalized_DDC="00637"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540404333"   Paper_ID="/75166.html"   Extracted="3540404333"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540404503"   Paper_ID="/75166.html"   Extracted="3540404503"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540441263"   Paper_ID="/75166.html"   Extracted="3540441263"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354058241X"   Paper_ID="/75166.html"   Extracted="354058241X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/75166.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540732802"   Paper_ID="/75166.html"   Extracted="3540732802"   />

            <identifier   Org="ISBN:3540745521"   Paper_ID="/75166.html"   Extracted="3540745521"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/3062.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="106"   Title="Reasoning   about   Termination   of   Pure   Prolog   Programs,">

            <identifier   Org="ISBN:026264035X"   Paper_ID="/3062.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/3062.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540009868"   Paper_ID="/3062.html"   Extracted="3540009868"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540221522"   Paper_ID="/3062.html"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/3062.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540266550"   Paper_ID="/3062.html"   Extracted="3540266550"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/3062.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540423141"   Paper_ID="/3062.html"   Extracted="3540423141"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/3062.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/3062.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/3062.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/3062.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/3062.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540625038"   Paper_ID="/3062.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540630457"   Paper_ID="/3062.html"   Extracted="3540630457"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354065190X"   Paper_ID="/3062.html"   Extracted="354065190X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540657657"   Paper_ID="/3062.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/3062.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/3062.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/3062.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/183595.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="1920"   Title="Logic   Programming   and   Negation:   A   Survey,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/183595.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/183595.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/183595.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792351614"   Paper_ID="/183595.html"   Extracted="0792351614"   />

            <identifier   Org="ISBN:1402030916"   Paper_ID="/183595.html"   Extracted="1402030916"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/183595.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540221522"   Paper_ID="/183595.html"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/183595.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540238069"   Paper_ID="/183595.html"   Extracted="3540238069"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/183595.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540404384"   Paper_ID="/183595.html"   Extracted="3540404384"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540408010"   Paper_ID="/183595.html"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/183595.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439153"   Paper_ID="/183595.html"   Extracted="3540439153"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540591559"   Paper_ID="/183595.html"   Extracted="3540591559"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/183595.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/183595.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/183595.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/183595.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354072981X"   Paper_ID="/183595.html"   Extracted="354072981X"   />

      </rec>

      <rec   ID="/302704.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="The   Stable   Model   Semantics   for   Logic   Programming,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/302704.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/302704.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/302704.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/302704.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/302704.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/302704.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/302704.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354043724X"   Paper_ID="/302704.html"   Extracted="354043724X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540564543"   Paper_ID="/302704.html"   Extracted="3540564543"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/302704.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540584951"   Paper_ID="/302704.html"   Extracted="3540584951"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/302704.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/302704.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/302704.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540664084"   Paper_ID="/302704.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/302704.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/302704.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540699112"   Paper_ID="/302704.html"   Extracted="3540699112"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540738460"   Paper_ID="/302704.html"   Extracted="3540738460"   />

            <identifier   Org="ISBN:3540755586"   Paper_ID="/302704.html"   Extracted="3540755586"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/4173.html"   Type="article"   CiteSeer_Book="New   Generation   Computing"   CiteSeer_Volume="9"   Title="Classical   Negation   in   Logic   Programs   and   Disjunctive   Databases,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/4173.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/4173.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/4173.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/4173.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/4173.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/4173.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="/4173.html"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540205829"   Paper_ID="/4173.html"   Extracted="3540205829"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/4173.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540307370"   Paper_ID="/4173.html"   Extracted="3540307370"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/4173.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/4173.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/4173.html"   Extracted="3540609830"   />

            <identifier   Org="ISBN:3540616306"   Paper_ID="/4173.html"   Extracted="3540616306"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/4173.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/4173.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/4173.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/4173.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/4173.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540717021"   Paper_ID="/4173.html"   Extracted="3540717021"   />

      </rec>

      <rec   ID="/181806.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="17"   Title="Representing   Action   and   Change   by   Logic   Programs,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/181806.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/181806.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/181806.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/181806.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/181806.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540240594"   Paper_ID="/181806.html"   Extracted="3540240594"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540281770"   Paper_ID="/181806.html"   Extracted="3540281770"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540286535"   Paper_ID="/181806.html"   Extracted="3540286535"   />

            <identifier   Org="ISBN:3540411313"   Paper_ID="/181806.html"   Extracted="3540411313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/181806.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540440380"   Paper_ID="/181806.html"   Extracted="3540440380"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/181806.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/181806.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540613137"   Paper_ID="/181806.html"   Extracted="3540613137"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/181806.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/181806.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/181806.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540663290"   Paper_ID="/181806.html"   Extracted="3540663290"   DDC="004/.01/5114"   Normalized_DDC="004015114"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/181806.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540721991"   Paper_ID="/181806.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/49484.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Splitting   a   Logic   Program,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/49484.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262631806"   Paper_ID="/49484.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/49484.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/49484.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:1586036424"   Paper_ID="/49484.html"   Extracted="1586036424"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/49484.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540221522"   Paper_ID="/49484.html"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/49484.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/49484.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/49484.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/49484.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540422196"   Paper_ID="/49484.html"   Extracted="3540422196"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/49484.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/49484.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540441905"   Paper_ID="/49484.html"   Extracted="3540441905"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/49484.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/49484.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540657657"   Paper_ID="/49484.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540721991"   Paper_ID="/49484.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="/49484.html"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/241619.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Temporal   Reasoning   in   Logic   Programming:   A   Case   for   the   Situation   Calculus,">

            <identifier   Org="ISBN:0262193841"   Paper_ID="/241619.html"   Extracted="0262193841"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/241619.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/241619.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:038747319X"   Paper_ID="/241619.html"   Extracted="038747319X"   DDC="620.0042"   Normalized_DDC="6200042"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0412626802"   Paper_ID="/241619.html"   Extracted="0412626802"   DDC="658.4012"   Normalized_DDC="6584012"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0412642603"   Paper_ID="/241619.html"   Extracted="0412642603"   DDC="658.4063"   Normalized_DDC="6584063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0412756307"   Paper_ID="/241619.html"   Extracted="0412756307"   DDC="658.4/02/011"   Normalized_DDC="658402011"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792355350"   Paper_ID="/241619.html"   Extracted="0792355350"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792372247"   Paper_ID="/241619.html"   Extracted="0792372247"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818670193"   Paper_ID="/241619.html"   Extracted="0818670193"   />

            <identifier   Org="ISBN:0818679395"   Paper_ID="/241619.html"   Extracted="0818679395"   />

            <identifier   Org="ISBN:1586030418"   Paper_ID="/241619.html"   Extracted="1586030418"   DDC="005.756"   Normalized_DDC="005756"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540413855"   Paper_ID="/241619.html"   Extracted="3540413855"   DDC="510   s"   Normalized_DDC="51"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540434720"   Paper_ID="/241619.html"   Extracted="3540434720"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/241619.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/241619.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/241619.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Hypothetical   Reasoning   About   Actions:   From   Situation   Calculus   To   Event   Calculus">

            <identifier   Org="ISBN:0262193841"   Paper_ID="SELF"   Extracted="0262193841"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="SELF"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792355350"   Paper_ID="SELF"   Extracted="0792355350"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="SELF"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354069045X"   Paper_ID="SELF"   Extracted="354069045X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540880488"   Paper_ID="SELF"   Extracted="3540880488"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

      </rec>

</references_metadata>