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>