liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Reasoning about concurrent actions in the trajectory semantics
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska fakulteten.
1995 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
Abstract [en]

We have introduced concurrency into the framework of Sandewall. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. Following Sandewall’s systematical method, we have then applied the entailment criterion PCM to selecting intended models of common sense theories where concurrent actions are allowed, and proved that the criterion leads to only intended models for a subset of such theories. Our work implies that most of Sandewall’s results on the range of applicability of logics for sequential actions can be reobtained similarly for concurrent actions as well after necessary generalizations.

sted, utgiver, år, opplag, sider
Linköping: Univ. , 1995. , s. 90
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 475
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-163440Lokal ID: LiU-Tek-Lic-1995:7ISBN: 9178714990 (tryckt)OAI: oai:DiVA.org:liu-163440DiVA, id: diva2:1391717
Tilgjengelig fra: 2020-02-05 Laget: 2020-02-05 Sist oppdatert: 2020-02-05bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør
Yi, Choong-Ho
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf