mahler@latcs1.oz.au (Daniel Mahler) (09/05/90)
Does anyone know of any relatively recent work/results/publications in these areas, especially if it is computation oriented. I can only find references up to the early 80's, with one exception. The main authors in these areas are Hintikka (game theoretic semantics) and Lorenz & Lorenzen (dialogue/dialogic logic - these guys have a nasty :-) habit of writing in german) I am sure this stuff is very relevant to CS in many ways (computation theory, theorem proving & logic programming, NLP, yet another formal semantics for computer languages ...) However all I have read is primarily concerned with linguistics and philosophy. Thanks in advance Daniel Mahler
FlashsMom@cup.portal.com (NancyAnn none Sheridan) (09/07/90)
Non-Standard Logics for Automated Reasoning (Academic Press, February 1988. Edited by Phillipe Smets, E.H. Mamdani, et al has an article by Peter Jackson. --- 72540.1731@CompuServe.Com Flash@Dcjcon.Das.Net FlaSheridn on America OnLine FlashsMom@Cup.Portal.Com
graham@maths.su.oz.au (Graham Matthews) (09/07/90)
Thanks to everyone who sent me addresses for the SBProlog people at Stony Brook. Much appreciated. graham