liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Licentiatavhandling, monografi (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Linköping: Univ. , 1995. , s. 90
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 475
Nationell ämneskategori
Filosofi
Identifikatorer
URN: urn:nbn:se:liu:diva-163440Lokalt ID: LiU-Tek-Lic-1995:7ISBN: 9178714990 (tryckt)OAI: oai:DiVA.org:liu-163440DiVA, id: diva2:1391717
Tillgänglig från: 2020-02-05 Skapad: 2020-02-05 Senast uppdaterad: 2020-02-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Sök vidare i DiVA

Av författaren/redaktören
Yi, Choong-Ho
Av organisationen
Institutionen för datavetenskapTekniska fakulteten
Filosofi

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
RefereraExporteraLänk till posten
Permanent länk

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