Emacs Artificial General Intelligence AI: Artificial Intelligence lab Algorithmic Game Theory: Prediction Markets (po polsku) Systemy Inteligentnych Agentów
|
Main.HomePage HistoryHide minor edits - Show changes to output Changed line 6 from:
Welcome on my "professional" homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as [[Functional. | Functional Programming]] are lectures and/or labs in English, pages like [[Pascal. | Kurs Pascala]] -- Polish only. Pages as [[AGI. | Artificial General Intelligence]] are my personal notes and slides for informal meetings. [[Infer. | Type Inference]] are unpublished results in invariant inference for functional languages to:
Welcome on my "professional" homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as [[Functional. | Functional Programming]] are lectures and/or labs in English, pages like [[Pascal. | Kurs Pascala]] -- Polish only. Pages as [[AGI. | Artificial General Intelligence]] are my personal notes and slides for informal meetings. [[Infer. | Type Inference]] are unpublished results in invariant inference for functional languages. [[http://toss.sourceforge.net/ | Toss]] is a project I participate in [[http://toss.sourceforge.net/Publications/index.html | (publications)]]. Emacs mode I use to edit this wiki [[Emacs/pmwiki-mode]]. November 23, 2013, at 12:41 AM
by - on the personal side
Added lines 8-9:
(:if userlang pl:)Aby poznać mnie od strony osobistej, możesz sprawdzić [[http://google.com/+LukaszStafiniak]]. (:if userlang en:)To get to know me on the personal side, you can visit [[http://google.com/+LukaszStafiniak]].(:if:) Changed line 4 from:
Witaj na mojej "zawodowej" stronie domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku to:
Witaj na mojej "zawodowej" stronie domowej. Pasek po lewej to mapa. Większość materiałów jest tylko po angielsku, część tylko po polsku. Znajdziesz tu: Strony jak [[Functional. | Functional Programming]] to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak [[Pascal. | Kurs Pascala]] -- po polsku. Strony jak [[AGI. | Artificial General Intelligence]] to moje notatki i slajdy na nieformalne spotkania. [[Infer. | Type Inference]] to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). [[http://toss.sourceforge.net/ | Toss]] to projekt w którym uczestniczę [[http://toss.sourceforge.net/Publications/index.html | (publikacje)]]. Tryb do Emacsa do edycji tej wiki [[Emacs/pmwiki-mode]]. Changed line 6 from:
Welcome on my "professional" homepage. to:
Welcome on my "professional" homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as [[Functional. | Functional Programming]] are lectures and/or labs in English, pages like [[Pascal. | Kurs Pascala]] -- Polish only. Pages as [[AGI. | Artificial General Intelligence]] are my personal notes and slides for informal meetings. [[Infer. | Type Inference]] are unpublished results in invariant inference for functional languages (awaiting implementation and better presentation). [[http://toss.sourceforge.net/ | Toss]] is a project I participate in [[http://toss.sourceforge.net/Publications/index.html | (publications)]]. Emacs mode I use to edit this wiki [[Emacs/pmwiki-mode]]. Changed line 6 from:
Welcome on my "professional" homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as [[Functional. | Functional Programming]] are lectures and/or labs in English, pages like [[Pascal. | Kurs Pascala]] -- Polish only. Pages as [[AGI. | Artificial General Intelligence]] are my personal notes and slides for informal meetings. [[Infer. | Type Inference]] are unpublished results to:
Welcome on my "professional" homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as [[Functional. | Functional Programming]] are lectures and/or labs in English, pages like [[Pascal. | Kurs Pascala]] -- Polish only. Pages as [[AGI. | Artificial General Intelligence]] are my personal notes and slides for informal meetings. [[Infer. | Type Inference]] are unpublished results in invariant inference for functional languages (awaiting implementation and better presentation). [[http://toss.sourceforge.net/ | Toss]] is a project I participate in [[http://toss.sourceforge.net/Publications/index.html | (publications)]]. Emacs mode I use to edit this wiki [[Emacs/pmwiki-mode]]. Changed line 4 from:
Witaj na mojej to:
Witaj na mojej "zawodowej" stronie domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku. Pasek po lewej to mapa. Znajdziesz tu: Strony jak [[Functional. | Functional Programming]] to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak [[Pascal. | Kurs Pascala]] -- po polsku. Strony jak [[AGI. | Artificial General Intelligence]] to moje notatki i slajdy na nieformalne spotkania. [[Infer. | Type Inference]] to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). [[http://toss.sourceforge.net/ | Toss]] to projekt w którym uczestniczę [[http://toss.sourceforge.net/Publications/index.html | (publikacje)]]. Tryb do Emacsa do edycji tej wiki [[Emacs/pmwiki-mode]]. December 10, 2012, at 12:35 AM
by - main page overhaul
Changed line 4 from:
Witaj na to:
Witaj na mojej stronie "zawodowej" domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku. Pasek po lewej to mapa. Znajdziesz tu: Strony jak [[Functional. | Functional Programming]] to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak [[Pascal. | Kurs Pascala]] -- po polsku. Strony jak [[AGI. | Artificial General Intelligence]] to moje notatki i slajdy na nieformalne spotkania. [[Infer. | Type Inference]] to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). [[http://toss.sourceforge.net/ | Toss]] to projekt w którym uczestniczę [[http://toss.sourceforge.net/Publications/index.html | (publikacje)]]. Tryb do Emacsa do edycji tej wiki [[Emacs/pmwiki-mode]]. Changed line 6 from:
Welcome on my homepage. to:
Welcome on my "professional" homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as [[Functional. | Functional Programming]] are lectures and/or labs in English, pages like [[Pascal. | Kurs Pascala]] -- Polish only. Pages as [[AGI. | Artificial General Intelligence]] are my personal notes and slides for informal meetings. [[Infer. | Type Inference]] are unpublished results for invariant inference for functional languages (awaiting implementation and better presentation). [[http://toss.sourceforge.net/ | Toss]] is a project I participate in [[http://toss.sourceforge.net/Publications/index.html | (publications)]]. Emacs mode I use to edit this wiki [[Emacs/pmwiki-mode]]. Changed line 9 from:
!!! (:if userlang en:) Miscelaneous slides to:
!!! (:if userlang en:) Miscelaneous slides -- old ones. (:if userlang pl:) Różne slajdy -- stare. (:if:) Deleted lines 15-19:
!!! (:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:) * [[http://stuff.mit.edu/iap/emacs/ | Being Productive With Emacs]] * [[http://www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] May 23, 2008, at 11:53 PM
by - cleanup 1
Changed line 9 from:
!!! (:if userlang en:) to:
!!! (:if userlang en:) Miscelaneous slides (:if userlang pl:) Slajdy... (:if:) Deleted lines 16-25:
!!!! Full type inference for GADTs I should soon have some working code. For now, I can present some poor and unclear [[Attach:GADT_slides.pdf | slides]] ([[Attach:GADT_slides.tm.tar.gz | source]]), and a description of the algorithm from module [[Attach:Solve.html | Solve]]. !!!! Genetic Programming in Typed Languages (translation) Finally I've started translating my master thesis [[Attach:dyplom_en.pdf | Genetic Programming in Typed Languages]] ([[Attach:dyplom_en.tm.tar.gz | source]]). Here are definitions and theorems from subchapter 2.2: [[Attach:DM_generation.pdf | Damas-Milner Type System: type inference and term generation]]. Changed line 10 from:
* [[Attach:PapugTutor.pdf | Coq as a Tutor in Formal Reasoning. Guiding through the proof]] ([[PapugTutor.tar.gz | odp presentation source, exemplary exercises from the Warsaw University Institute of Informatics]]) to:
* [[Attach:PapugTutor.pdf | Coq as a Tutor in Formal Reasoning. Guiding through the proof]] ([[Attach:PapugTutor.tar.gz | odp presentation source, exemplary exercises from the Warsaw University Institute of Informatics]]) February 01, 2008, at 03:13 AM
by - Papug Tutor slides
Added line 10:
* [[Attach:PapugTutor.pdf | Coq as a Tutor in Formal Reasoning. Guiding through the proof]] ([[PapugTutor.tar.gz | odp presentation source, exemplary exercises from the Warsaw University Institute of Informatics]]) January 24, 2008, at 01:30 AM
by - Coq slides example source link
Changed line 10 from:
* [[Attach:IntProv.pdf | Interactive Proving with Coq]] ([[Attach:IntProv.tar.gz | odp presentation source and example source]]) to:
* [[Attach:IntProv.pdf | Interactive Proving with Coq]] ([[Attach:IntProv.tar.gz | odp presentation source and example source]]), [[the example source -> http://www.labri.fr/perso/casteran/CoqArt/newstuff/CVSONLY/mergesort.v]] January 24, 2008, at 01:14 AM
by - Coq slides
Added line 10:
* [[Attach:IntProv.pdf | Interactive Proving with Coq]] ([[Attach:IntProv.tar.gz | odp presentation source and example source]]) October 07, 2007, at 03:52 AM
by - work in progress (GADTs and my old GP)
Added lines 15-24:
!!! Work in progress !!!! Full type inference for GADTs I should soon have some working code. For now, I can present some poor and unclear [[Attach:GADT_slides.pdf | slides]] ([[Attach:GADT_slides.tm.tar.gz | source]]), and a description of the algorithm from module [[Attach:Solve.html | Solve]]. !!!! Genetic Programming in Typed Languages (translation) Finally I've started translating my master thesis [[Attach:dyplom_en.pdf | Genetic Programming in Typed Languages]] ([[Attach:dyplom_en.tm.tar.gz | source]]). Here are definitions and theorems from subchapter 2.2: [[Attach:DM_generation.pdf | Damas-Milner Type System: type inference and term generation]]. October 02, 2007, at 04:25 PM
by - cleanup
Changed line 4 from:
Witaj na zaczątkach mojej strony. to:
Witaj na zaczątkach mojej strony. Z mojego lenistwa, jest ona w części tylko po angielsku. Changed line 9 from:
!!! to:
!!! (:if userlang en:) My slides (:if userlang pl:) Moje slajdy (:if:) Changed lines 18-20 from:
* [[http:// * Wykład dotyczący projektu [[http://www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] * [[Remote-Control Self -> http://www.wired.com/news/technology/0,71426-0.html to:
* [[http://www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] October 02, 2007, at 03:19 PM
by - Ideas on EAs
Added line 10:
* [[Attach:Ideas_on_EAs.pdf | Some ideas on Evolutionary Algorithms]] ([[Attach:Ideas_on_EAs.odp.tar.gz | OpenOffice presentation source]]) Changed lines 10-13 from:
* [[Attach:agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach:agi.odp | OpenOffice presentation source]]) * [[Attach:multi_rl.pdf | Multiagent Reinforcement Learning]] ([[Attach:multi_rl.tm | TeXmacs presentation source]]) * [[Attach:DependencyParsing.pdf | Dependency Parsing and beyond (in Polish)]] ([[Attach:DependencyParsing.odp | OpenOffice presentation source]]) to:
* [[Attach:agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach:agi.odp.tar.gz | OpenOffice presentation source]]) * [[Attach:multi_rl.pdf | Multiagent Reinforcement Learning]] ([[Attach:multi_rl.tm.tar.gz | TeXmacs presentation source]]) * [[Attach:DependencyParsing.pdf | Dependency Parsing and beyond (in Polish)]] ([[Attach:DependencyParsing.odp.tar.gz | OpenOffice presentation source]]) Changed line 10 from:
* [[Attach:agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach to:
* [[Attach:agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach:agi.odp | OpenOffice presentation source]]) Changed lines 9-10 from:
!!!! (:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:) to:
!!! My slides * [[Attach:agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach.agi.odp | OpenOffice presentation source]]) * [[Attach:multi_rl.pdf | Multiagent Reinforcement Learning]] ([[Attach:multi_rl.tm | TeXmacs presentation source]]) * [[Attach:DependencyParsing.pdf | Dependency Parsing and beyond (in Polish)]] ([[Attach:DependencyParsing.odp | OpenOffice presentation source]]) !!! (:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:) Changed lines 18-22 from:
Wykład dotyczący projektu [[Remote-Control Self -> http://www.wired.com/news/technology/0,71426-0.html]] to:
* Wykład dotyczący projektu [[http://www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] * [[Remote-Control Self -> http://www.wired.com/news/technology/0,71426-0.html]] May 19, 2007, at 11:29 AM
by - welcom
Changed line 6 from:
Welcome on my homepage. to:
Welcome on my homepage. It still waits for more thorough translation into English. May 09, 2007, at 07:24 PM
by - alligator
Changed lines 11-12 from:
[[http://stuff.mit.edu/iap/emacs/ | Being Productive With Emacs]] to:
* [[http://stuff.mit.edu/iap/emacs/ | Being Productive With Emacs]] * [[http://worrydream.com/AlligatorEggs/ | Alligator Eggs]] game for kids Added lines 9-10:
!!!! (:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:) Added lines 9-10:
[[http://stuff.mit.edu/iap/emacs/ | Being Productive With Emacs]] Changed lines 9-12 from:
to:
!!!!! Linki od L.K. Wykład dotyczący projektu [[http://www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] [[Remote-Control Self -> http://www.wired.com/news/technology/0,71426-0.html]] Changed lines 9-10 from:
to:
Ś Added line 1:
(:if userlang pl:) Changed lines 3-6 from:
to:
(:if userlang en:) Welcome on my homepage. (:if:) Changed line 5 from:
Wykład dotyczący projektu [[www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] to:
Wykład dotyczący projektu [[http://www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] Changed lines 3-4 from:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. to:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. Changed lines 3-4 from:
Zajęcia z Przetwarzania Języka Naturalnego to:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. Changed lines 3-5 from:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. to:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. Wykład dotyczący projektu [[www.opencyc.org | CyC]]: [[http://video.google.com/videoplay?docid=-7704388615049492068 | Computers versus Common Sense]] Added lines 2-3:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. Deleted lines 1-2:
W piątek 8. grudnia zajęcia z NLP bez zmian w godz. 10.15 - 12.00. Deleted lines 2-3:
Added lines 2-5:
We wtorek 5. grudnia zajęcia z programowania funkcjonalnego w godz. 12.00 - 13.30. W piątek 8. grudnia zajęcia z NLP bez zmian w godz. 10.15 - 12.00. Deleted lines 1-2:
[[NLP.statystyczne#markow | Uwaga do ostatnich ćwiczeń z NLP]] Changed lines 1-3 from:
Witaj na zaczątkach mojej strony. to:
Witaj na zaczątkach mojej strony. [[NLP.statystyczne#markow | Uwaga do ostatnich ćwiczeń z NLP]] Changed lines 1-12 from:
A local copy of PmWiki's documentation has been installed along with the software, and is available via the [[PmWiki/documentation index]]. To continue setting up PmWiki, see [[PmWiki/initial setup tasks]]. The [[PmWiki/basic editing]] page describes how to create pages in PmWiki. You can practice editing in the [[wiki sandbox]]. More information about PmWiki is available from http://www.pmwiki.org to:
Witaj na zaczątkach mojej strony. |