An Abstract Machine for Reasoning about Situations, Actions, and Causality

Kerstin Eder; Steffen Holldobler; Michael Thielscher

An Abstract Machine for Reasoning about Situations, Actions, and Causality

Kerstin Eder
, Steffen Holldobler
, Michael Thielscher

Systems Centre

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

4 Citations (Scopus)

Translated title of the contribution	An Abstract Machine for Reasoning about Situations, Actions, and Causality
Original language	English
Title of host publication	Unknown
Publisher	Springer Verlag
Pages	137 - 151
Number of pages	14
ISBN (Print)	3540609830
Publication status	Published - 1996

Bibliographical note

Conference Proceedings/Title of Journal: 5th International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 1050

Access to Document

http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1996-eder.html

Handle.net

Persistent link

Cite this

@inproceedings{f58bdf5436c141879fd554829583d133,

title = "An Abstract Machine for Reasoning about Situations, Actions, and Causality",

author = "Kerstin Eder and Steffen Holldobler and Michael Thielscher",

note = "Conference Proceedings/Title of Journal: 5th International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 1050",

year = "1996",

language = "English",

isbn = "3540609830",

pages = "137 -- 151",

booktitle = "Unknown",

publisher = "Springer Verlag",

address = "Germany",

}

TY - GEN

T1 - An Abstract Machine for Reasoning about Situations, Actions, and Causality

AU - Eder, Kerstin

AU - Holldobler, Steffen

AU - Thielscher, Michael

N1 - Conference Proceedings/Title of Journal: 5th International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 1050

PY - 1996

Y1 - 1996

M3 - Conference Contribution (Conference Proceeding)

SN - 3540609830

SP - 137

EP - 151

BT - Unknown

PB - Springer Verlag

ER -