HDTenEightyP/NetNews huggingface dataset:
From: emiel@kub.nl (Emiel Krahmer)
Subject: Elias Thijsse in ITK-colloquium
Date: Mon, 12 Oct 92 11:17:59 GMT
Organization: Tilburg University, Tilburg, The Netherlands
Distribution: nlnet

			    ITK-COLLOQUIUM

			    Elias Thijsse
		      (ITK, Tilburg University)

     PARTIAL LOGIC AND ITS APPLICATIONS TO LANGUAGE AND KNOWLEDGE

   Partial logic, the logic related to partial semantics, can be
fruitfully applied to natural language and knowledge representation.
In partial semantics the classical truth value (true or false) of a
proposition may be undetermined, or even overdetermined. These
possibilities can be represented by new truth values: `undetermined'
and `overdetermined'. At least for the `nonsense' interpretation of
undetermined there is a clear application to linguistics, viz. on
presupposition phenomena. For the `unknown' interpretation, the area
of knowledge representation (both in the philosophical and in the
computational sense) provides fertile soil.
   After a short and easy introduction into partial logic we will turn
to the applications. Part of the results are based on the speaker's
dissertation.

   Elias Thijsse studied mathematics, general linguistics and
philosophy at Groningen University. At present he is a lecturer in the
department of Language and Literature of Tilburg University. He
recently graduated on a thesis entitled `Partial Logic and Knowledge
Representation' (Eburon, Delft 1992, ISBN 90-5166-267-X).


	       Thursday, Oct. 22, 1992, 15.45h - 16.45h

    Institute for Language Technology and Artificial Intelligence

		   Warandelaan 2, 5037 GC, Tilburg
			     Room: PZ 205
From: Guido.van.Rossum@cwi.nl
Newsgroups: cwi.misc,wcw.general,nlnet.announce
Subject: Algemeen CWI Colloquium 16 oktober
Date: 8 Oct 92 10:25:08 GMT
Followup-To: cwi.misc,wcw.general,nlnet.misc
Distribution: nlnet
Organization: CWI
Originator: guido@voorn.cwi.nl

********************** Algemeen CWI Colloquium ***********************

Plaats:         Zaal Z011, CWI, Kruislaan 413, 1098 SJ Amsterdam
Tijd:           16.00 uur, vrijdag 16 oktober
Inlichtingen:   Emma v/d Meulen (emma@cwi.nl), tel. 020 - 5924007

======================================================================

		Categoriale grammatica en type-theorie

			  Michael Moortgat
			      OTS/CWI

Het uitgangspunt van de categoriale grammatica is het idee dat vorm en
betekeniseigenschappen van taalelementen gevangen kunnen worden in
type-declaraties.  Het vaststellen van wat de welgevormde bouwsels zijn
(m.a.w. het karakteriseren van de grammatica van een taal) wordt
daarmee een proces van type-inferentie op basis van de
type-declaraties voor de lexicale elementen. Centraal punt op de
categoriale agenda is het in kaart brengen van de eigenschappen van
een dergelijke linguistische inferentie.

Aanvankelijk concentreerde het categoriale onderzoek zich op
specifieke type-inferentie systemen, zoals de applicatieve systemen
van Ajdukiewicz en Bar-Hillel of Lambeks syntactische calculus.  Die
geisoleerde aanpak bood weinig perspectief op de variatie tussen
taalsystemen, en de parameters die daarvoor bepalend zijn.  In meer
recent werk worden categoriale type-stelsels gesitueerd in een
landschap van substructurele logica's: redeneersystemen waarbij
gevolgtrekking op verschillende wijzen gevoelig is voor de *structuur*
van de assumpties --- in het taalkundige geval: de structuur van
taalbouwsels in de relevante vorm en betekenisdimensies.  De
verschillende type stelsels in dit landschap leven als goede buren
samen en communiceren met elkaar via structurele operatoren.  Deze
accentverschuiving in het categoriale onderzoek heeft de empirische
uitdrukkingskracht op dramatische wijze vergroot zonder de logische en
computationele elegantie van de oorspronkelijke systemen op te geven.

**********************************************************************

Newsgroups: nlnet.announce
From: icpa@iat.holonet.net (Tony Rodriguez)
Subject: International Software Jobs
Organization: HoloNet (BBS: 510-704-1058)
Date: Wed, 14 Oct 1992 22:40:28 GMT

The International Computer Professional Association is a member supported
organization for experienced software professionals who want to work overseas.
We have contact with over 750 technical recruitment firms in the US and
abroad. If you are interested in working overseas, contact us and we will
send you information on membership with the ICPA.


Sincerely 

Tony Rodriguez

Director ICPA


International Computer Professional Association
2261 Market Street, Suite 309
San Francisco, CA 94114
USA

Tel: (415) 695 - 7618
Fax: (415) 252 - 5769

email icpa@holonet.net



Newsgroups: nlnet.announce
From: ted@gouldnl.encore.nl (Ted Lindgreen)
Subject: Rejected articles
Organization: Encore Unix Centre Europe
Distribution: nlnet
Date: Tue, 13 Oct 1992 18:43:48 GMT


Deze lijst van artikelen is een uittreksel uit de lijst van
artikelen, die afgelopen week op UUNET zijn gereject.
Het zijn alleen artikelen die gepost zijn in Nederland.

Het is toch wat jammer van het werk om een mooi artikel te
schrijven, wanneer het door vele hosts gelijk weggegooid wordt,
omdat er ergens een configuratie foutje zit.

Voor de volledige lijst zie de newsgroup news.admin.misc,
waar Rich Salz regelmatig  (eens per week) een lijst van
alle gerejecte artikelen post.

-- Ted.

The articles listed below were rejected by InterNetNews at news.uu.net
during the past week because they do not conform to Internet RFCs 822 and
1036.  They are probably being rejected by other standards-conforming
sites as well.

news.uu.net is also configured to reject articles that are more than
14 days old.

If a Message-ID from your site appears below, you probably have broken news
or mail software which you should investigate and fix.
The articles listed below were rejected because of illegal headers.

Bad "Date" header:
<MAILQUEUE-101.921005113018.384@hto.rhij.nl> 5 Oct 92 11:30:19 MET+0200
<MAILQUEUE-101.921005123635.320@hto.rhij.nl> Mon, 5 Oct 1992 12:36:35 MET+0200
<MAILQUEUE-101.921007135343.352@ls5.let.rug.nl> Wed, 7 Oct 1992 13:53:43 MET-1
<MAILQUEUE-101.921008104454.256@ls5.let.rug.nl> Thu, 8 Oct 1992 10:44:54 MET-1
<MAILQUEUE-101.921007101103.517@rc.rug.nl> Wed, 7 Oct 1992 10:11:04 MET-1
<MAILQUEUE-99.921008141320.919@rc.rug.nl> Thu, 8 Oct 1992 14:13:18 MET-1
<MAILQUEUE-101.921005160550.65@rc.rug.nl> Mon, 5 Oct 1992 16:05:50 MET-1
<MAILQUEUE-101.921006122108.288@zeus.ice.nl> Tue, 6 Oct 1992 12:21:08 MET-1
<MAILQUEUE-101.921009112030.480@zeus.ice.nl> Fri, 9 Oct 1992 11:20:30 MET-1
<MAILQUEUE-101.921009105940.384@zeus.ice.nl> Fri, 9 Oct 1992 10:59:40 MET-1
<MAILQUEUE-101.921009111443.448@zeus.ice.nl> Fri, 9 Oct 1992 11:14:43 MET-1
<MAILQUEUE-101.921005114524.416@zeus.ice.nl> Mon, 5 Oct 1992 11:45:24 MET-2
<MAILQUEUE-101.921008164536.480@zeus.ice.nl> Thu, 8 Oct 1992 16:45:36 MET-1

The following articles were rejected because they have invalid Message-ID's.
Note that some values were truncated during logging.
<1992Oct6.125800.24445@cs.ruu.nl>  QUIT 
<1992Oct9.132325.22772@htsa.aha.nl>  QUIT 
===========================================================================
-- 
| Ted Lindgreen                               tlindgreen@encore.nl |
| Encore Unix Centre Europe          ...!sun4nl!gouldnl!tlindgreen |
| Maarssenbroek, The Netherlands       (USA) tlindgreen@encore.com |
From: kroeze@cs.utwente.nl (Edward Kroeze)
Subject: testing
Followup-To: nl.test
Keywords: testting
Reply-To: kroeze@cs.utwente.nl
Organization: University of Twente, Department of Computer Science
Distribution: nlnet
Date: Fri, 16 Oct 1992 16:13:02 GMT

testje...

---
*----------------------------------------------------------------*
| Edward Kroeze          | University Of Twente,                 |
|                        | Dept. Of Computer Science, B&O-group, |
| kroeze@cs.utwente.nl   | P.O. Box 217,                         |
|                        | 7500 AE  Enschede, The Netherlands    |
*------------------------+---------------------------------------*

Newsgroups: nlnet.test
From: news@paaltjens.si.hhs.nl ()
Subject: test
Organization: Sector Informatica, Haagse Hogeschool, The Hague, The Netherlands
Distribution: nlnet
Date: Thu, 15 Oct 92 08:57:19 GMT

please ignore.

Newsgroups: bln.general
From: root@obh.in-berlin.de (Systemadministration of obh)
Subject: Was ist mit fub?
Organization: obh - private bbs in Berlin/Germany
Date: Wed, 7 Oct 92 07:23:09 GMT


Hallo,

weiss jemand, was mit fub im Moment los ist? Seit gestern abend nur noch
Verbindungsabbrueche oder gar keine Logins mehr, obwohl die Kiste abnimmt.

Tschau, Olli

-- 
+--------------------------------------------------------------------+
| root@obh.in-berlin.de is Oliver Brandmueller (ob@obh.in-berlin.de) |
+--------------------------------------------------------------------+
Newsgroups: bln.general
From: martini@heaven7.in-berlin.de (Martin P. Ibert)
Subject: Re: Was ist mit fub?
Date: Fri, 9 Oct 1992 08:56:56 GMT
Organization: The Seventh Heaven, Berlin, Germany

root@obh.in-berlin.de (Systemadministration of obh) writes:
> 
> Hallo,
> 
> weiss jemand, was mit fub im Moment los ist? Seit gestern abend nur noch
> Verbindungsabbrueche oder gar keine Logins mehr, obwohl die Kiste abnimmt.

Dazwischen war sie nochmal ein paar Stunden da, und jetzt geht wieder nix
mehr - nur dass jetzt gluecklicherweise auch keiner mehr abnimmt.

Was mir auffaellt ist dass das erste Freizeichen etwas kuerzer ist als
normal, so dass man mit dem modemgeuebten Ohr schon "HAH! Es wird abge-
nommen!" wahrnimmt; aber danach kommen doch wieder normal lange. Ist
vielleicht die Telefonanlage der FUB irgendwie abgeraucht?
-- 
___*___  Martin P. Ibert - Westendallee 100 d, D-1000 Berlin 19 - +4930-3056541
=======  E-mail to martini@{heaven7.{in-berlin.de|sub.org}|cloud9.in-berlin.de}
||| |||  ----------------------------------------------------------------------
||| |||  ------ Everybody wants to go to heaven, but nobody wants to die ------
Newsgroups: bln.general
From: martini@heaven7.in-berlin.de (Martin P. Ibert)
Subject: Re: Was ist mit fub?
Date: Fri, 9 Oct 1992 21:29:11 GMT
Organization: The Seventh Heaven, Berlin, Germany

martini@heaven7.in-berlin.de (Martin P. Ibert) writes:
> root@obh.in-berlin.de (Systemadministration of obh) writes:
> > weiss jemand, was mit fub im Moment los ist? Seit gestern abend nur noch
> > Verbindungsabbrueche oder gar keine Logins mehr, obwohl die Kiste abnimmt.
> 
> Dazwischen war sie nochmal ein paar Stunden da, und jetzt geht wieder nix
> mehr - nur dass jetzt gluecklicherweise auch keiner mehr abnimmt.

Das hatten wir heute schon wieder (dass sie zwischendurch da war). WAS GEHT
HIER VOR?
-- 
___*___  Martin P. Ibert - Westendallee 100 d, D-1000 Berlin 19 - +4930-3056541
=======  E-mail to martini@{heaven7.{in-berlin.de|sub.org}|cloud9.in-berlin.de}
||| |||  ----------------------------------------------------------------------
||| |||  ------ Everybody wants to go to heaven, but nobody wants to die ------
Xref: sparky ont.uucp:333 tor.news:81 can.uucp:248
Newsgroups: ont.uucp,tor.news,can.uucp
From: sheasby@dgp.toronto.edu (Michael Sheasby)
Subject: great student apt for rent (toronto)
Distribution: can
Date: 14 Oct 92 03:17:54 GMT


########################################
  ROOM IN 2-BEDROOM APARTMENT FOR RENT
########################################

Large 2-bedroom apartment, 15th floor in a
24-story apt. building right beside campus.
Laundry, variety store & pool in the building.
Bedroom has ensuite bathroom. Balcony
overlooking the annex.
Terrific neighborhood: banks, post office,
subway, pharmacy, supermarket, beer store,
and LOTS of restaurants within walking
distance.
Roommate is a quiet male nonsmoker.

Rent: $450/month, first/last month required.

Ideal for a student... it couldn't be closer
to campus. Right opposite the athletic centre,
on Spadina at Bloor.

Call 967-7223, or email sheasby@dgp.utoronto.ca

available December first.

----Mike.

Newsgroups: ont.uucp
From: dglow@descartes.uwaterloo.ca (Dave Low)
Subject: Need some help getting through to Carleton University
Organization: University of Waterloo
Distribution: ont
Date: Tue, 13 Oct 1992 19:22:55 GMT

I have been having trouble mailing a friend at Carleton University.
The machine address is ccs.carleton.ca yet I cannot send mail to the
system. Is this a closed system that does not accept any outside mail?
If you have an answer please mail me at dglow@descartes.uwaterloo.ca
I do know that there are some machines on the carleton.ca system
but I am unsure of the names... If you have a list please mail them
to me.... 
						Thanks
							Dave Low
Newsgroups: ont.general
From: alopez-o@neumann.uwaterloo.ca (Alex Lopez-Ortiz)
Subject: Orionids
Organization: University of Waterloo
Date: Tue, 13 Oct 1992 01:07:32 GMT

There is an announced meteor shower of the Orionids on October 21st.
Do Ontarians have any suggestions of places around tornoto where city
lights
are not very bright?

Also, which time would it be better to look for the meteors in Southern
Ontario?

Alex



-- 
Alex Lopez-Ortiz                              alopez-o@maytag.UWaterloo.ca
Department of Computer Science                      University of Waterloo
Waterloo, Ontario                                                   Canada
Xref: sparky ont.general:1846 rec.music.afro-latin:638 soc.culture.caribbean:1480
From: frampton@vicuna.ocunix.on.ca (Steve Frampton)
Newsgroups: kingston.events,ont.general,rec.music.afro-latin,soc.culture.caribbean
Subject: "Tropical Dance Fiesta" in Kingston, Ontario!
Date: 7 Oct 92 20:25:31 GMT
Reply-To: frampton@vicuna.ocunix.on.ca
Distribution: na
Organization: Vicuna Systems, Kingston, ON (613) 547-5066
Content-Type: text

SPECIAL EVENT:  * * TROPICAL FIESTA SUPER NIGHT DANCE * *

If you live around the city of Kingston, Ontario, or are planning to
be in the area this weekend, and love Tropical music as much as I do,
you've *got* to attend!

Featuring musical styles:
-  Afro Beats        -  Zouk        -  Soca
-  Calyppso          -  Reggae      -  Salsa
-  Cha-Cha           -  Pachanga    -  Rumba
-  Merengue          -  Cadence     -  Beguine
-  Soukous           -  Highlife    -  Makossa
-  Cumbia       ... and many more!!

Time:   Saturday, October 10, 1992 between 7:00pm to 1:00am.
Place:  St. John's Church Hall, 88 Patrick Street @ Quebec Street,
        Kingston, Ontario, CANADA.
Liquor: Yes, this will be a licensed event.

Tickets only $5.00 for teens and adults.  Contact: (613) 544-2767 for 
more information.

Ah gone!

----------------------------------------------------
frampton@vicuna.ocunix.on.ca  (Steve Frampton)
Vicuna Systems BBS - 613/547-5066 [9600 v.32/.42bis]
From: geoff@zswamp.UUCP (Geoffrey Welsh)
Newsgroups: ont.general
Subject: Re: Response To Take Back The Night	 
Date: Tue, 13 Oct 92 23:37:38 EDT
Organization: Izot's Swamp

amdunn@mongrel.UUCP (Andrew M. Dunn) writes:

> Yes.  Men are told to get away from the marchers.  Even male members of
> the media have trouble getting near the march to photograph it for the
> newspaper, because they are _men_.

   Welcome to the age of enlightenment and _equality_.

Geoffrey Welsh, 7 Strath Humber Court, Islington, Ontario, M9A 4C8 Canada
geoff@zswamp.uucp, [xenitec.on.ca|m2xenix.psg.com]!zswamp!geoff (416)258-8467
         Coincidentally, most people who fight for "fairness" would be
         significantly better off under the system they call "fair"...
Xref: sparky ont.general:1853 sci.electronics:17023 rec.ham-radio:39
From: Mother Nature <gaea@zooid.guild.org>
Subject: Re: Response To Take Back The Night	 
Organization: The Zoo of Ids
Date: Wed, 7 Oct 1992 13:46:29 GMT

jack@watarts.uwaterloo.ca (Jack Cooper) writes:
>>(Ken Lawrence writes): *(I think)
>>>The Anti-Rape Movement and specifically the "Take Back The Night" protests
>>>cannot allow men to participate because every man is a potential rapist.
>
>I question this as being the reason men aren't encouraged to participate.
>I had heard from another source that the reason men aren't recruited
>to help organize is because the protest is about women, specifically,
>reclaiming the right to be safe at night.  Having men involved in
>organizing the event would defeat the purpose.

Well, if men are part of the problem (or _the_ problem, depending on which way
you want to phrase it), shouldn't they be part of the solution??

Just my opinion.

---
Gaea (Mother Nature)                     gaea@zooid.guild.org
ZOOiD Online, Toronto, Canada            (416) 322-7876



Newsgroups: ont.general
From: drraymon@watdragon.uwaterloo.ca (Darrell Raymond)
Subject: Re: Response To Take Back The Night
Keywords:  take back the night
Organization: University of Waterloo
Date: Wed, 7 Oct 1992 18:46:52 GMT

In article <1992Oct7.030734.24401@newshub.ariel.yorku.ca>, cs911077@ariel.yorku.ca (Iain Calder) writes:
>
> Like you say, the significance of the event is for women to be able to walk
> the streets at night *without* need of male escort for protection. The absence
> of men in this event is empowering to women.

  With the increase in "house swarmings" and reports of "carjacking" 
(relieving people of their cars at gunpoint), even males would like a
bit of empowering.  You can bet that when I hold a "take back my house" 
event, *everyone* will be invited.

-Darrell.
Newsgroups: ont.general
From: merce@xenitec.on.ca (Jim Mercer)
Subject: Re: Response To Take Back The Night	 
Organization: XeniTec Consulting, Kitchener, Ontario, CANADA
Date: Sun, 11 Oct 1992 17:49:17 GMT

(Ken Lawrence writes):
>The Anti-Rape Movement and specifically the "Take Back The Night" protests
>cannot allow men to participate because every man is a potential rapist.

what?

this is in the line of:

all germans are Nazis
all jews are rich

this is something i dislike about the current campaigns against violence
against women.

things like "No man has the right to hit a woman".

well no one has the right to hit anyone.

why are they painting all men as neanderthal beings with no sense of right
or wrong?

when the "White Ribbon" campaign hit our place of work (The Law Society),
men were expected to wear a white ribbon, symbolizing that they were keeping
their arms down.  to me it was a symbol that said "i am a man, i am genetically
predisposed to beating women" and i refused to wear one.

there were some women there who could not understand my reasoning, and
basically said the "all men are potentially violent" thing.

i almost went down to human resources and filed a sexual harrasment complaint.

i didn't, because that is a pretty serious thing, but if it happens to me again,
i will.
-- 
[ Jim Mercer   Reptilian Research  merce@iguana.reptiles.org  +1 519 893-6085 ]
[             I don't want to work for a company that has a CIO.              ]
[              Disclaimer! I don't need no stinking Disclaimer!               ]
Newsgroups: ont.general
From: cs911077@ariel.yorku.ca (Iain Calder)
Subject: Re: Response To Take Back The Night	 
Keywords:  take back the night
Organization: York University, Toronto, Canada
Date: Wed, 7 Oct 1992 03:07:34 GMT

Wow! Look what jack@watarts.uwaterloo.ca (Jack Cooper) wrote:
>
> (Ken Lawrence writes):
> >
> > The Anti-Rape Movement and specifically the "Take Back The Night" protests
> > cannot allow men to participate because every man is a potential rapist.
>
> I question this as being the reason men aren't encouraged to participate.
> I had heard from another source that the reason men aren't recruited
> to help organize is because the protest is about women, specifically,
> reclaiming the right to be safe at night.  Having men involved in
> organizing the event would defeat the purpose.

That's exactly what I've heard from numerous sources. Men are welcome to
help the event in other ways. For instance baby-sitting to help mothers
attend the gathering.

Like you say, the significance of the event is for women to be able to walk
the streets at night *without* need of male escort for protection. The absence
of men in this event is empowering to women.

Blessed be,
iain
Newsgroups: ont.general
From: amdunn@mongrel.UUCP (Andrew M. Dunn)
Subject: Re: Response To Take Back The Night	 
Organization: A. Dunn Systems Corporation, Kitchener, Ontario, Canada
Date: Mon, 12 Oct 92 14:19:20 GMT

In article <BvpMAu.GDu@watserv1.uwaterloo.ca> jack@watarts.uwaterloo.ca (Jack Cooper) writes:
>
>Just because men aren't explicitly sought out to help organize the event
>doesn't imply that their presence is unwelcome.  Anyone have direct
>experience from actually attending the protest?

Yes.  Men are told to get away from the marchers.  Even male members of
the media have trouble getting near the march to photograph it for the
newspaper, because they are _men_.

-- 
:-------------------------------------------------------------------------:
:  Andy Dunn (amdunn@mongrel.uucp)  ({uunet...}!xenitec!mongrel!amdunn)   :
:  "AT&T thinks Usenet is an Underground organization" - are we really?   :
:-------------------------------------------------------------------------:
Newsgroups: ont.general
From: jroberts@shade.UWaterloo.ca (J. P. Robertson)
Subject: Re: Response To Take Back The Night
Organization: University of Waterloo
Date: Tue, 13 Oct 1992 23:43:39 GMT

In article <1992Oct11.174917.11226@xenitec.on.ca> merce@xenitec.on.ca (Jim  
Mercer) writes:
> when the "White Ribbon" campaign hit our place of work (The Law  
Society),
> men were expected to wear a white ribbon, symbolizing that they were  
keeping
> their arms down.  to me it was a symbol that said "i am a man, i am  
genetically
> predisposed to beating women" and i refused to wear one.
--
Similiar line of reasoning here.  The way I see it, I don't need to
advertise that I don't rape women, anymore than I need to explicitly
state that I don't strangle kittens.  Neither do I support anyone
who does.  If you (the person looking for my white ribbon) don't 
have the decency to assume that I am "normal", then I don't really
care WHAT your opinion is.  (That's normal, as in belonging to the
majority.)

---
Jeff Robertson
4A Systems Design Engineering
University of Waterloo
"Nothing is easy." - Jethro Tull

Newsgroups: ont.general