Bookmark file

ECAI2000 Piero P. Bonissone General Electric, USA Corporate Research and Development "Hybrid Soft Computing: Where are we going?" Patrick Doherty Linkoeping University, Sweden Artificial Intelligence and Integrated Computer Systems Division "A Bird's-Eye View of the WITAS Unmanned Aerial Vehicle Project" Daniele Nardi Universita di Roma "La Sapienza", Italy Artificial Intelligence Research Group "Artificial Intelligence in RoboCup" Bernhard Nebel Albert-Ludwigs-Universitaet Freiburg, Germany Artificial Intelligence Research Group "Knowledge Representation and Reasoning - The Theoretical Side of AI" Luc Steels Sony Computer Science Laboratory Paris, France and Vrije Universiteit Brussels, Belgium Artificial Intelligence Laboratory "The Emergence of Grammar in Communicating Autonomous Robotic Agents" Mark Wallace Imperial College, UK ICL and IC-Parc "Constraint Programming - Applications, Algorithms, Languages" H. Van Dyke Parunak Environmental Research Institute of Michigan, USA Center for Electronic Commerce "Assembling Artificial Societies: Missing Pieces and Left-Over Parts" M. Dorigo

T1: Ant Algorithms and Swarm Intelligence: An Introduction

T2: Stochastic Search Algorithms H. H. Hoos, T. Stuetzle

T3: AI Techniques for Knowledge Management S. Decker, S. Staab T4: Solving and Programming with Soft Constraints: Theory and Implementation F. Rossi, P. Codognet

Reunion Tourist Board

Corinne Narassiguin

DFG-Project Logic Algorithms in Knowledge Representation

Erich Gr�del

ASM homepage

Articles on Abstract State Machines

Annotated Articles (Main List) Gurevich

Abstract State Machines Home Page

Erich Gr�del

JAIR

SAIS

Peregrin, Possible Worlds: A Critical Analysis

Jonathan Cohen, Kripkean Semantics

Dynamic Belief Analysis (o.i.)

Variety of Logical Consequences

Modal Logic - Literature (o.i.)

AiML

Advances in Modal Logic - International Conference on Temporal Logic 2000

Maschinelle Intelligenz

Web �bersicht - Hubert Keller

AILab

zazipovane materialy

Evidencia publik�cii pracovn�kov UK

Pascal.Manoury@pps.jussieu.fr

Slovn�k cesk�ch filosofu

SuperZoznam - najvacsi slovensky katalogovy zoznam WWW stranok From pno@whitestein.com Wed Sep 13 13:54:00 2000 Return-Path: Received: from kopernik.cc.fmph.uniba.sk (kopernik.cc.fmph.uniba.sk [158.195.16.142]) by dent.ii.fmph.uniba.sk (8.8.7/8.8.7) with SMTP id NAA26932 for ; Wed, 13 Sep 2000 13:54:00 +0200 Received: (qmail 12597 invoked by alias); 13 Sep 2000 11:51:27 -0000 Delivered-To: ailab@kopernik.cc.fmph.uniba.sk Received: (qmail 12593 invoked from network); 13 Sep 2000 11:51:22 -0000 Received: from ns.whitestein.com (HELO styx.aitecon.sk) (195.98.155.34) by kopernik.cc.fmph.uniba.sk with SMTP; 13 Sep 2000 11:51:22 -0000 Received: (from uucp@localhost) by styx.aitecon.sk (8.8.5/8.8.5) id OAA19245 for ; Wed, 13 Sep 2000 14:02:43 +0200 Received: from linux.aitecon.sk(192.168.1.2) by styx.aitecon.sk via smap (V2.1/2.1+anti-relay+anti-spam) id xma019241; Wed, 13 Sep 00 14:02:19 +0200 Received: from virgo (virgo.aitecon.sk [192.168.1.43]) by linux.aitecon.sk (8.8.7/8.8.7) with SMTP id NAA03250 for ; Wed, 13 Sep 2000 13:51:02 +0200 Message-ID: <000601c01d79$88a1b040$2b01a8c0@virgo.aitecon.sk> Reply-To: "Peter Novak" From: "Peter Novak" To: Subject: Fw: Laboratorium umelej inteligencie Date: Wed, 13 Sep 2000 13:55:38 +0200 X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 4.72.3110.5 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Status: RO Prijemny den prajem, mame dalsi rychly response na AI-lab. Potesi. BTW, tento mejl moze byt usefull aj kvoli linkom na ucebne texty ;-). Peter. -----Original Message----- From: Jiri Pospichal To: Peter Novak Cc: Vladimir Kvasnicka ; Peter Sincak Date: 13. september 2000 12:34 Subject: RE: Laboratorium umelej inteligencie >Dobry den, >odpovedam aj v mene profesora Kvasnicku, ktory zajtra odchadza na mesiac do >kupelov. Sme velmi radi, ze aktivita a zaujem o umelu inteligenciu vychadza >od studentov. >Slovenska spolocnost pre umelu inteligenciu bola zalozena v Kosiciach, prva >zakladajuca >schodza bola 29.8., a teda jej cinnost este nie je poriadne "rozbehnuta", aj >ked >plany do buducna su :-). Velmi strucne je o spolocnosti na strane >http://neuron-ai.tuke.sk/~sais/ >ale zapisnica z prvej schodze tam este nie je. Pokial sa tyka formalnych >zalezitosti, >mozete do spolocnosti vstupit ako jednotlivi clenovia (myslim ze poplatok >pre studentov >je 50 Sk za rok, alebo ako organizacia) - pre organizaciu bol sice >odsuhlasovany >vyssi vstupny poplatok, ale pritom sa myslelo skor na sponzorov, nie na >studentske >sdruzenia. Kedze byste boli prvym studentskym sdruzenim, ktore vstupi do >SAIS, >formalne podrobnosti a podmienky si mozete dohodnut s doc. Sincakom a Ing. >Vascakom podla >potrieb. > >Podrobnosti o Kosickej skupine su na stranke >http://neuron-ai.tuke.sk/cig/ >ina zaujimava Kosicka WWW stranka je >http://alife.tuke.sk/). >Nas vlastny WWW server je >http://math.chtf.stuba.sk/ >kde mame texty z prednasok z evolucnych algoritmov >http://math.chtf.stuba.sk/evol/prednaska.htm >Vlastna prednaska sa zacne na matfyze buduci utorok o 12.30. > >Zo seminarov z kognitivnych vied su texty prednasok na >http://math.chtf.stuba.sk/CogSci_98.htm >http://math.chtf.stuba.sk/CogSci_99.htm >http://math.chtf.stuba.sk/CogSci_2000.htm > >Pokial sa tyka materialov na tema umela inteligencia, dost >(aj nasich, ale vacsinou zahranicnych) sa da najst na nasom ftp serveri >ftp://math.chtf.stuba.sk/pub/VLADO/ > >Pracujeme predovsetkym v oblasti neuronovych sieti, >evolucnych algoritmov a pripadne mame na katedre aj seminar o fuzzy >mnozinach >(ktorymi sa ale naplno zaoberaju ini ludia na nasej fakulte aj inde). >Verime, ze >rozdiely medzi symbolickym - klasicka AI - a subsymbolickym pristupom >- fuzzy, evolucne algoritmy, neuronove siete ... by sa mali odstranovat >zmysluplnym >spajanim tychto pristupov do spolocnych celkov. > > Z nasej strany, teda od prof. Kvasnicku a mna, mozem prislubit, ze sa vas >budeme >snazit podporovat, ako budeme moct. > >S pozdravom, > Jiri Pospichal > Katedra matematiky CHTF STU > > > From pno@whitestein.com Wed Sep 13 11:05:25 2000 Return-Path: Received: from kopernik.cc.fmph.uniba.sk (kopernik.cc.fmph.uniba.sk [158.195.16.142]) by dent.ii.fmph.uniba.sk (8.8.7/8.8.7) with SMTP id LAA25901 for ; Wed, 13 Sep 2000 11:05:25 +0200 Received: (qmail 6694 invoked by alias); 13 Sep 2000 09:02:54 -0000 Delivered-To: ailab@kopernik.cc.fmph.uniba.sk Received: (qmail 6691 invoked from network); 13 Sep 2000 09:02:53 -0000 Received: from ns.whitestein.com (HELO styx.aitecon.sk) (195.98.155.34) by kopernik.cc.fmph.uniba.sk with SMTP; 13 Sep 2000 09:02:53 -0000 Received: (from uucp@localhost) by styx.aitecon.sk (8.8.5/8.8.5) id LAA14215 for ; Wed, 13 Sep 2000 11:14:12 +0200 Received: from linux.aitecon.sk(192.168.1.2) by styx.aitecon.sk via smap (V2.1/2.1+anti-relay+anti-spam) id xma014212; Wed, 13 Sep 00 11:14:06 +0200 Received: from virgo (virgo.aitecon.sk [192.168.1.43]) by linux.aitecon.sk (8.8.7/8.8.7) with SMTP id LAA23494 for ; Wed, 13 Sep 2000 11:02:51 +0200 Message-ID: <001f01c01d62$09e9ed60$2b01a8c0@virgo.aitecon.sk> Reply-To: "Peter Novak" From: "Peter Novak" To: Subject: Fw: Laboratorium umelej inteligencie Date: Wed, 13 Sep 2000 11:07:26 +0200 X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 4.72.2106.4 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4 Status: RO Zdrawim, mame tu response od pana Tomasku. Mozno by vas uvedeny link mohol zaujimat... Peter. -----Original Message----- From: Lubo Tomaska To: Peter Novak Date: 13. september 2000 10:55 Subject: Re: Laboratorium umelej inteligencie >Vazeny pan doktor, chybicka se vloudila ;-) >Vdaka za informacie. Vasa iniciativa je velmi atraktivna... Profesor >Kovac je v sucasnosti mimo Bratislavy a vrati sa po 20.9. >Co sa tyka nasej skupiny, popis projektov je mozne najst na: > >http://www.fns.uniba.sk/~kbi/kovlab/ > >Ako uvidite, kognitivnymi vedami sa priamo zaobera len prof. Kovac. >Nepriamo sa ich vsak dotykaju aj dalsie nase projekty, ktore maju >perspektivny ciel vyuzit jednobunkove mikroorganizmy ako jednoduche >modely kognitivnych systemov. > >Zdravi, >Lubo Tomaska > >-- >Lubomir Tomaska >Department of Genetics >Faculty of Natural Sciences >Comenius University >Mlynska dolina B-1 >84215 Bratislava 4 >Slovak Republic > >Tel: +421.7.60296.536 >Fax: +421.7.60296.452 >E-mail: tomaska@fns.uniba.sk

http://www.research.att.com/~pstone

RoboCup Bibliography

RoboCup Papers

Idea Papers

Layered Learning in Multi-Agent Systems (Stone, PhD)

robotic-links

Task Decomposition, Dynamic Role Assignment, and Low-Bandwidth

Service scientifique Odes�latel: Jose Alferes [jja@uevora.pt] Odesl�no: 10. janu�r 2000 18:23 Komu: Jan Sefranek P�edm�t: Re: updates Dear Jan Sefranek, > in your paper "Dynamic Logic Programming" is a footnote concerning an > implementation available from http://www-ssdi.fct.unl.pt/~jja/updates/. > Unfortunately, both http://www-ssdi.fct.unl.pt/~jja/updates/ and > http://www-ssdi.fct.unl.pt/~jja/ are not accessible (I received error > messages "... was not found on this server"). Sorry for that. The problem was that the server with that name (www-ssdi.fct.unl.pt) got broken. Then a new server came, but the name is no longer valid. > I would like recieve a valid http-address of the implementation (and of your > on-line papers). Many thanks. Here it is: http://centria.di.fct.unl.pt/~jja/updates/ Best regards, Jose Alferes From Peter.Bodik@st.fmph.uniba.sk Mon May 1 23:11:32 2000 Return-Path: Received: from cyril.fmph.uniba.sk (cyril.fmph.uniba.sk [158.195.17.89]) by dent.ii.fmph.uniba.sk (8.8.7/8.8.7) with ESMTP id XAA18833 for ; Mon, 1 May 2000 23:11:32 +0200 From: Peter.Bodik@st.fmph.uniba.sk Received: from turing.fmph.uniba.sk (158.195.16.207) by cyril.fmph.uniba.sk (MX V5.1-X AnBn) with ESMTP for ; Mon, 1 May 2000 23:12:36 +0200 Received: by st.fmph.uniba.sk (MX V5.1 AnBn) id 60; Mon, 1 May 2000 23:11:40 +0200 Sender: Peter.Bodik@st.fmph.uniba.sk Date: Mon, 1 May 2000 23:11:40 +0200 To: sefranek@dent.ii.fmph.uniba.sk Message-ID: <009E974B.11FCA7CD.60@st.fmph.uniba.sk> Subject: vyskum Status: RO Dobry den, pisem vam za seba a svojich dvoch spoluziakov (Palo Cerny a Jano Valky). Sme (pravdepodobne traja najlepsi) studenti druheho rocnika informatiky na MMF UK a mame vazdy zaujem o dlhodoby vyskumny projekt, ktory by mohol viest k publikaciach a diplomovke. Predmety na MFF su dobre, ale nedavaju moznost na dlhodobe tvorive a vyskumne projekty. Taktiez -- po skonceni studia na MFF by sme radi isli na postgradual do USA a clanky z vlastneho vyskumu by nam vylepsili resume. Vsetci traja sme sa zhodli, ze jedna z oblasti computer science, v ktorej by sme chceli robit vyskum je umela inteligencia. Samozrejme ak sa najde nieco zaujimave v inej oblasti, radi sa na to dame. Jedna vec, ktoru som ja sam robil posledne prazdniny je simulovany roboticky futbal (www.robocup.org). Konkretne som programoval simulovanych "futbalistov", ktory potom hrali futbal vo futbalovom simulatore (http://ci.etl.go.jp/~noda/soccer/server/index.html). Je to uloha prilis tazka na jedneho cloveka a dva mesiace volneho casu. Velmi rad by som v tom pokracoval, ak by sme nasli niekoho, kto by nam robil tutora. Preto by som sa na vas chcel obratit s otazkou, ci by ste nam nemohli robit akehosi tutora. Niekoho, kto by nam pomohol s vyberom zaujimaveho a doleziteho (praktickeho) problemu a mal s nami konzultacie pocas jeho riesenia. Ak nie, neviete nam odporucit niekoho v Bratislave, s kym by bola takato spolupraca mozna? S pozdravom, Peter Bodik PS: http://members.tripod.com/bodikp/internship/internship.htm

Metadata.Net Home Page

Regional: Accelerated: Using Metadata for Knowledge Management

MD97 (2nd IEEE Metadata Conference)

Phil Bernstein

ON-LINE PAPERS Marek

Discussion on Knowledge Theory (Denecker)

Papers on-line Mirek

Springer LNCS/LNAI

LPAR registration information

Table of contents of the LPAR volume

KRI-zib