Automatically assigned DDC number: 00633

Manually assigned DDC number: 0063363

Number of references: 4

Title: A Temporal Executable Action Language

Author:

Author:

Subject: Dov Gabbay (icstm,Rolf Nossum (adh A Temporal Executable Action Language

Description: This paper presents a temporal language for actions, and shows how to embed some other formalisms from the literature into it. This is intended both to provide access to a unified proof theory within which to compare existing action and planning formalisms, and to provide a convenient common avenue for further research. 246 MEDLAR II Deliverable V.2--4 1 Introduction Current logical formalizations of action exhibit the frame problem, and solving it is a major challenge in AI. This has led to many formalisms for nonmonotonic reasoning, and in particular to techniques based on logical minimization, such as circumscription [7] and Reiter's minimization technichue [8]. We describe another approach to dealing with what persists versus what changes as a result of performing an action. While retaining a stringent logical formalism for actions and their effects, we take the view that the issue of persistence is not well suited to logical minimization, since that does not explicitely take in...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-10-31

Pubyear: unknown

Format: ps

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

Source: ftp://medlar.doc.ic.ac.uk/pub/medlar/Milestone-Three/Task-V/WP-2/V.2--4.ps.gz

Language: en

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/598724.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="74"   Title="Nested   Abnormality   Theories,">

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

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

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

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

            <identifier   Org="ISBN:3540411313"   Paper_ID="/598724.html"   Extracted="3540411313"   />

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

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

            <identifier   Org="ISBN:354062600X"   Paper_ID="/598724.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:3540753869"   Paper_ID="/598724.html"   Extracted="3540753869"   DDC="629.892"   Normalized_DDC="629892"   Normalized_Weight="0.14285714285714285"   />

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

      </rec>

      <rec   ID="/93751.html"   Type="inproceedings"   CiteSeer_Book="Working   notes   of   the   1994   AAAI   fall   symposium   on   Control   of   the   Physical   World   by   Intelligent   Systems"   CiteSeer_Volume=""   Title="A   logical   approach   to   high   level   robot   programming   --   a   progress   report,">

            <identifier   Org="ISBN:026251091X"   Paper_ID="/93751.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:0792372247"   Paper_ID="/93751.html"   Extracted="0792372247"   />

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

            <identifier   Org="ISBN:0818682558"   Paper_ID="/93751.html"   Extracted="0818682558"   />

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

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

            <identifier   Org="ISBN:3540233059"   Paper_ID="/93751.html"   Extracted="3540233059"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540696180"   Paper_ID="/93751.html"   Extracted="3540696180"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540410945"   Paper_ID="/117924.html"   Extracted="3540410945"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540661573"   Paper_ID="/117924.html"   Extracted="3540661573"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

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

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

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Temporal   Executable   Action   Language"   />

</references_metadata>

www.000webhost.com