Actions,    Ramifications and Linear Modalities

Actions, Ramifications and Linear Modalities (1998)

Cached

Download Links

by G. White

Citations:

BibTeX

@MISC{White98actions,ramifications,
    author = {G. White},
    title = {Actions, Ramifications and Linear Modalities},
    year = {1998}
}

Bookmark

OpenURL

Abstract

Citations

1359	Some philosophical problems from the standpoint of artificial intelligence - McCarthy, Hayes - 1969
651	Notions of computation and monads - Moggi - 1991
379	Introduction to Higher Order Categorical Logic - Lambek, Scott - 1986
151	Solving the frame problem: A mathematical investigation of the commonsense law of inertia - Shanahan - 1997
142	Linear Logic: Its syntax and semantics - Girard - 1995
137	Ramification and causality - Thielscher - 1997
89	Premonoidal categories and notions of computation - Power, Robinson - 1997
67	A uniform proof-theoretic investigation of linear logic programming - Pym, Harland - 1994
45	Dependent fluents - GIUNCHIGLIA, LIFSCHITZ - 1995
43	Computing Ramifications by Postprocessing - Thielscher - 1994
41	From Petri nets to linear logic through categories: A survey - -Oliet, Meseguer - 1991
40	Strong functors and monoidal monads - Kock - 1972
34	Lectures on linear logic - Troelstra
28	Monads on symmetric monoidal closed categories - Kock - 1970
28	Counterfactuals and comparative possibility - Lewis - 1973
24	Linear deductive planning - Groe, Holldobler, et al. - 1992
24	The persistence of derived information - Myers, Smith - 1988
22	Representing actions in equational logic programming - Thielscher - 1994
17	Basic Proof Theory,” Number 43 - Troelstra, Schwichtenberg - 1996
13	Closed categories generated by commutative monads - Kock - 1971
13	Strong monads, algebras and fixed points - Mulry - 1991
12	Relevance Logic and Concurrent Composition - Dam - 1990
12	Rami cation and causality - Thielscher - 1997
11	On the ne structure of the exponential rule - Martini, Masini - 1978
9	Philosophical Papers, Volume II - Lewis - 1986
4	The design of a situation-based Lygon metainterpreter: I. simple changes and persistence - White - 1996
4	Computing rami cations by postprocessing - Thielscher - 1994
3	Holomorphic models of exponential types in linear logic - Blute, Panangaden, et al. - 1994
3	Fock space: A model of linear exponential types - Blute, Panangaden, et al. - 1994
3	Monads and algebras in the semantics of partial data types - Mulry - 1992
3	Underlying semantics for action and change with ramification. Linkoping - Sandewall - 1996
3	A linear meta-interpreter for the situation calculus. Submitted to the - White - 1997
3	Golog and linear logic programming - White - 1998
2	159--213. Originally published - Causation - 1973
2	and string: Simulations and theories. Paper presented at Common Sense 98; available from ftp://ftp.dcs.qmw. ac.uk/pub/appliedlogic/graham/simulation.ps - Balls - 1997
1	Im)Permutabilities of LL. Message of Sat, 30 Nov 91 on the Linear mailing list� available from http://www.csl.sri.com/linear/ mailing-list-traffic/www/03/mail_2.html - Lincoln
1	Categorical fixed point semantics - Mulry - 1990
1	and string. Slides for the talk at Common Sense 98: available from ftp://ftp.dcs.qmw.ac.uk/pub/appliedlogic/graham/ simSlides.ps - Balls - 1998
1	Simulation, ramification, and linear logic. Submitted to Electronic Transactions in Artificial Intelligence: available from ftp: //ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/simRam.ps - White - 1998
1	Balls and string: Simulations and theories. Paper presented at Common Sense 98 - White - 1997
1	On the ne structure of the exponential rule. In Girard et al - Martini, Masini
1	Categorical xed point semantics - Mulry - 1990
1	Strong monads, algebras and xed points - Mulry - 1992