login/register

Snip!t channels - Alan Dix

Channels > HCI stuff > status-event

[ RSS button feed for Channels > HCI stuff > status-event ]

Order by: date | title | url | snip    Show: just this cat | subcats too

2008-06-15 09:23:11     Temporal Logic (Stanford Encyclopedia of Philosophy)

http://plato.stanford.edu/entries/logic-temporal/

2.3 State and event-type reification
The method of temporal arguments encounters difficulties ...
The method of state and event-type reification was intro ...
Holds(Asleep(Mary), (1pm, 6pm))
... here “In” expresses the proper subinterval relation.

view snip

/Channels/HCI stuff/status-event

Search Alan Dix Snips

Channels - Alan Dix