Automatically assigned DDC number: 004

Manually assigned DDC number: 005115

Number of references: 4

Title: Programming with Dynamic Predicate Logic

Author:

Subject: Jan Van Eijck Programming with Dynamic Predicate Logic

Description: We propose to bring together two research traditions, computation with first order logic from computer science, and dynamic interpretation of first order logic from natural language semantics. We define a new executable process interpretation for first order logic, and show that it is a faithful approximation of the dynamic interpretation procedure for first order formulas. We then demonstrate the dynamic logic programming alternative to destructive assignment and show how to obtain a versatile logic programming language by adding constructs for bounded choice and for bounded and unbounded iteration. Finally, we show that the operational semantics for first order logic given in Apt and Bezem [1] is an approximation of our executable semantics. It follows that the operational semantics is faithful to the dynamic interpretation of first order logic. Our results relate a recent turn in executable computational interpretation of FOL formulas to a research tradition from natural language se...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-11-14

Pubyear: 1998

Format: ps

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

Source: http://www.illc.uva.nl/Publications/Lists/../ResearchReports/CT-1998-06.text.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/433903.html"   Type="incollection"   CiteSeer_Book="194"   CiteSeer_Volume=""   Title="Formulas   as   programs,">

            <identifier   Org="ISBN:0444516220"   Paper_ID="/433903.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0444874062"   Paper_ID="/433903.html"   Extracted="0444874062"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818607998"   Paper_ID="/433903.html"   Extracted="0818607998"   />

            <identifier   Org="ISBN:0863802524"   Paper_ID="/433903.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0897910087"   Paper_ID="/433903.html"   Extracted="0897910087"   />

            <identifier   Org="ISBN:1852333197"   Paper_ID="/433903.html"   Extracted="1852333197"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540287876"   Paper_ID="/433903.html"   Extracted="3540287876"   DDC="510"   Normalized_DDC="51"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354030729X"   Paper_ID="/433903.html"   Extracted="354030729X"   DDC="003.54"   Normalized_DDC="00354"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/433903.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540666249"   Paper_ID="/433903.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.09090909090909091"   />

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

      </rec>

      <rec   ID="/447459.html"   Type="incollection"   CiteSeer_Book="185"   CiteSeer_Volume=""   Title="Alma-0:   An   imperative   language   that   supports   declarative   programming,">

            <identifier   Org="ISBN:0521866286"   Paper_ID="/447459.html"   Extracted="0521866286"   DDC="005.116"   Normalized_DDC="005116"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0863802524"   Paper_ID="/447459.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1590339533"   Paper_ID="/447459.html"   Extracted="1590339533"   DDC="363.45/098"   Normalized_DDC="36345098"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540003894"   Paper_ID="/447459.html"   Extracted="3540003894"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540221166"   Paper_ID="/447459.html"   Extracted="3540221166"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:354042251X"   Paper_ID="/447459.html"   Extracted="354042251X"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/447459.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540654631"   Paper_ID="/447459.html"   Extracted="3540654631"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540666249"   Paper_ID="/447459.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07692307692307693"   />

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

      </rec>

      <rec   ID="/65672.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Language   and   Information"   CiteSeer_Volume="1"   Title="Dynamic   Interpretation   and   Hoare   Deduction,">

            <identifier   Org="ISBN:0198538596"   Paper_ID="/65672.html"   Extracted="0198538596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0262220474"   Paper_ID="/65672.html"   Extracted="0262220474"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792328620"   Paper_ID="/65672.html"   Extracted="0792328620"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:079234376X"   Paper_ID="/65672.html"   Extracted="079234376X"   DDC="006.3/5"   Normalized_DDC="00635"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402001754"   Paper_ID="/65672.html"   Extracted="1402001754"   DDC="401/.43/0285"   Normalized_DDC="401430285"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402033982"   Paper_ID="/65672.html"   Extracted="1402033982"   DDC="128/.3"   Normalized_DDC="1283"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:1881526410"   Paper_ID="/65672.html"   Extracted="1881526410"   DDC="401/.43"   Normalized_DDC="40143"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354055887X"   Paper_ID="/65672.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:9031314889"   Paper_ID="/65672.html"   Extracted="9031314889"   />

      </rec>

      <rec   ID="/9019.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Prolegomena   to   the   definition   of   dynamic   predicate   logic   with   local   assignments,">

            <identifier   Org="ISBN:1402050119"   Paper_ID="/9019.html"   Extracted="1402050119"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:9039319936"   Paper_ID="/9019.html"   Extracted="9039319936"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Programming   with   Dynamic   Predicate   Logic">

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

      </rec>

</references_metadata>