Automatically assigned DDC number: 00633

Manually assigned DDC number: 00633

Number of references: 8

Title: A Logic Based Framework for Action Theories

Author:

Subject: Camilla Schwind A Logic Based Framework for Action Theories

Description: this paper, we present a logic based framework for the representation of actions. Actions can change the meaning of properties of existing constants and their relationships. For instance "take" changes the properties of "on" and "hold": if somebody takes an object lying on a table then he/she will be holding this object after performing the action and the object will no longer be on the table. If somebody builds a wall, then the properties of bricks and cement will change. In logic oriented approaches, actions are frequently described by their preconditions and their results. The preconditions are represented by a formula which has to be true before the execution of the action and the results are represented by a formula which will be true after the action has been performed. In addition, the general laws of the world are described by formulas which have always to be true. An action occurs in a state of the world, which is also described by a formula, and yields a new state of the world which is obtained from the old state. Logic based action theories encounter typically the following problems:

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-02-02

Pubyear: 1996

Format: ps

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

Source: http://www.lim.univ-mrs.fr/Lim/Logique/ROK/Tbilisi.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="/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.058823529411764705"   />

            <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.058823529411764705"   />

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

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

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

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

            <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.058823529411764705"   />

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/217255.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourteenth   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Soundness   and   Completeness   Theorems   for   Three   Formalizations   of   Action,">

            <identifier   Org="ISBN:0198538456"   Paper_ID="/217255.html"   Extracted="0198538456"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:0262510715"   Paper_ID="/217255.html"   Extracted="0262510715"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262611023"   Paper_ID="/217255.html"   Extracted="0262611023"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0444514937"   Paper_ID="/217255.html"   Extracted="0444514937"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.09090909090909091"   />

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

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

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

            <identifier   Org="ISBN:3540604367"   Paper_ID="/217255.html"   Extracted="3540604367"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540635866"   Paper_ID="/217255.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354064413X"   Paper_ID="/217255.html"   Extracted="354064413X"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:354089196X"   Paper_ID="/217255.html"   Extracted="354089196X"   />

      </rec>

      <rec   ID="/417296.html"   Type="incollection"   CiteSeer_Book="KR91   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="On   the   Difference   Between   Updating   a   Knowledge   Base   and   Revising   It,">

            <identifier   Org="ISBN:0521545641"   Paper_ID="/417296.html"   Extracted="0521545641"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897915933"   Paper_ID="/417296.html"   Extracted="0897915933"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:2874630772"   Paper_ID="/417296.html"   Extracted="2874630772"   />

            <identifier   Org="ISBN:3540221174"   Paper_ID="/417296.html"   Extracted="3540221174"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540298967"   Paper_ID="/417296.html"   Extracted="3540298967"   />

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

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

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

            <identifier   Org="ISBN:3540432205"   Paper_ID="/417296.html"   Extracted="3540432205"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540603034"   Paper_ID="/417296.html"   Extracted="3540603034"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540630953"   Paper_ID="/417296.html"   Extracted="3540630953"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:427490525X"   Paper_ID="/417296.html"   Extracted="427490525X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9810228309"   Paper_ID="/417296.html"   Extracted="9810228309"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/111585.html"   Type="incollection"   CiteSeer_Book="KR91   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Towards   a   Metatheory   of   Action,">

            <identifier   Org="ISBN:0198537476"   Paper_ID="/111585.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

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

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

            <identifier   Org="ISBN:354061057X"   Paper_ID="/111585.html"   Extracted="354061057X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540617086"   Paper_ID="/111585.html"   Extracted="3540617086"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:9051994753"   Paper_ID="/111585.html"   Extracted="9051994753"   DDC="621.36/7"   Normalized_DDC="621367"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/117924.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="4"   Title="State   Constraints   Revisited,">

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

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

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

            <identifier   Org="ISBN:157735236X"   Paper_ID="/117924.html"   Extracted="157735236X"   />

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

            <identifier   Org="ISBN:3540221115"   Paper_ID="/117924.html"   Extracted="3540221115"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:3540435425"   Paper_ID="/117924.html"   Extracted="3540435425"   />

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

            <identifier   Org="ISBN:354061057X"   Paper_ID="/117924.html"   Extracted="354061057X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:354067201X"   Paper_ID="/117924.html"   Extracted="354067201X"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.06666666666666667"   />

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

      </rec>

      <rec   ID="/88383.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourteenth   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Embracing   Causality   in   Specifying   the   Indirect   Effects   of   Actions,">

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

            <identifier   Org="ISBN:0849314909"   Paper_ID="/88383.html"   Extracted="0849314909"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:157735236X"   Paper_ID="/88383.html"   Extracted="157735236X"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540635866"   Paper_ID="/88383.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354065965X"   Paper_ID="/88383.html"   Extracted="354065965X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:9812381791"   Paper_ID="/88383.html"   Extracted="9812381791"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/351230.html"   Type="incollection"   CiteSeer_Book="Formalizing   Common   Sense   Papers   by   John   McCarthy"   CiteSeer_Volume=""   Title="Applications   of   Circumscription   to   Formalizing   Common   Sense   Knowledge,">

            <identifier   Org="ISBN:0198537476"   Paper_ID="/351230.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262521687"   Paper_ID="/351230.html"   Extracted="0262521687"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:0824722809"   Paper_ID="/351230.html"   Extracted="0824722809"   />

            <identifier   Org="ISBN:0893915351"   Paper_ID="/351230.html"   Extracted="0893915351"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540403809"   Paper_ID="/351230.html"   Extracted="3540403809"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540432205"   Paper_ID="/351230.html"   Extracted="3540432205"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540528504"   Paper_ID="/351230.html"   Extracted="3540528504"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540545638"   Paper_ID="/351230.html"   Extracted="3540545638"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:354064993X"   Paper_ID="/351230.html"   Extracted="354064993X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:9051838883"   Paper_ID="/351230.html"   Extracted="9051838883"   />

      </rec>

      <rec   ID="/73138.html"   Type="article"   CiteSeer_Book="Fundamenta   Informaticae"   CiteSeer_Volume="21"   Title="A   Modal   Logic   for   Hypothesis   Theory,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Logic   Based   Framework   for   Action   Theories">

            <identifier   Org="ISBN:0387276947"   Paper_ID="SELF"   Extracted="0387276947"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="SELF"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540278281"   Paper_ID="SELF"   Extracted="3540278281"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540426728"   Paper_ID="SELF"   Extracted="3540426728"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.2"   />

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

      </rec>

</references_metadata>

www.000webhost.com