MAGIC

Contact owners and managers

1–30 of 143

Welcome to the Mathematical Artificial General Intelligence Consortium (MAGIC) mailing-list!

Its purpose is to gather people that are interested in having a solid, mathematical theory of real-world AGI.
No need to be a mathematician (most of us are not).

"There is nothing more practical than a good theory." (Kurt Lewin)

"Only math nerds would call 2^500 finite" (Leonid Levin)

"Any sufficiently advanced technology is indistinguishable from magic." (Arthur C. Clark)

0 selected

Fredrick Johnson

3/19/20

[Meetings]Second Batch Call for Papers:International Conference on Artificial Intelligence and Big Data (AIBD 2020)

International Conference on Artificial Intelligence and Big Data (AIBD 2020) April 25~26, 2020,

unread,

[Meetings]Second Batch Call for Papers:International Conference on Artificial Intelligence and Big Data (AIBD 2020)

International Conference on Artificial Intelligence and Big Data (AIBD 2020) April 25~26, 2020,

3/19/20

Fredrick Johnson

1/6/20

Call for Papers - Stream on Advanced Computing @ ADCOM 2020, Copenhagen/ Denmark

*** APOLOGIES FOR CROSS-POSTING *** Stream on Advanced Computing the 6th International conference on

unread,

Call for Papers - Stream on Advanced Computing @ ADCOM 2020, Copenhagen/ Denmark

*** APOLOGIES FOR CROSS-POSTING *** Stream on Advanced Computing the 6th International conference on

1/6/20

Fredrick Johnson

12/17/19

Call for participations-7th AIAPP 2020/January 25 ~ 26, 2020, Zurich, Switzerland

7th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~ 26

unread,

Call for participations-7th AIAPP 2020/January 25 ~ 26, 2020, Zurich, Switzerland

7th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~ 26

12/17/19

Fredrick Johnson

10/22/19

7th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~ 26, 2020, Zurich, Switzerland

7 th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~

unread,

7th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~ 26, 2020, Zurich, Switzerland

7 th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~

10/22/19

10/19/19

Human Compatible: Artificial Intelligence and the Problem of Control

I highly recommend Stuart Russell's new book, Human Compatible: Artificial Intelligence and the

unread,

Human Compatible: Artificial Intelligence and the Problem of Control

I highly recommend Stuart Russell's new book, Human Compatible: Artificial Intelligence and the

10/19/19

1/16/19

Multiple positions: Humanising Machine Intelligence@ Australian National University

The Australian National University is launching a major new project on Humanising Machine

unread,

Multiple positions: Humanising Machine Intelligence@ Australian National University

The Australian National University is launching a major new project on Humanising Machine

1/16/19

8/14/18

Research Fellow Position & PhD Scholarships Available at AI@RSCS@ANU

Research Fellow Position ------------------------ Intelligent Agents Group Research School of

unread,

Research Fellow Position & PhD Scholarships Available at AI@RSCS@ANU

Research Fellow Position ------------------------ Intelligent Agents Group Research School of

8/14/18

Laurent, … Gabriel Leuenberger71

9/8/17

Re: [MAGIC-list] Choice of the reference model [was: AIXI limitations]

It's nice to use both a stochastic grammar and the stochastic lambda calculus together because it

unread,

Re: [MAGIC-list] Choice of the reference model [was: AIXI limitations]

It's nice to use both a stochastic grammar and the stochastic lambda calculus together because it

9/8/17

8/25/17

PhD Scholarships and Lecturer positions at ANU. Deadline 31Aug17

The Research School of Computer Science at the Australian National University in Canberra offers a

unread,

PhD Scholarships and Lecturer positions at ANU. Deadline 31Aug17

The Research School of Computer Science at the Australian National University in Canberra offers a

8/25/17

Nil Geisweiller, Eray Ozkural4

8/3/17

Universal Operator Induction with partial operators

Every researcher here should really try to understand current applications of the information

unread,

Universal Operator Induction with partial operators

Every researcher here should really try to understand current applications of the information

8/3/17

Aruhan Borzigin, … Eray Ozkural6

5/20/17

Is there a "continuous" extension of Kolmogorov complexity

That ought to be trivial if you use computable reals instead of R. There is no need to use R in any

unread,

Is there a "continuous" extension of Kolmogorov complexity

That ought to be trivial if you use computable reals instead of R. There is no need to use R in any

5/20/17

4/29/17

2nd call for papers: 10th Conference on Artificial General Intelligence: AGI-17

Upon popular request, the deadline for submitting papers to the 10th Annual Conference on Artificial

unread,

2nd call for papers: 10th Conference on Artificial General Intelligence: AGI-17

Upon popular request, the deadline for submitting papers to the 10th Annual Conference on Artificial

4/29/17

3/10/17

Call for papers: 10th Conference on Artificial General Intelligence: AGI-17

It is our tremendous pleasure to invite you to participate in the 10th Annual Conference on

unread,

Call for papers: 10th Conference on Artificial General Intelligence: AGI-17

It is our tremendous pleasure to invite you to participate in the 10th Annual Conference on

3/10/17

1/19/17

Looks like a nice paper on the inadequacy of RL to model human-like intelligence

[High-relevance to both groups I am posting] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4270100/

unread,

Looks like a nice paper on the inadequacy of RL to model human-like intelligence

[High-relevance to both groups I am posting] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4270100/

1/19/17

Eray Ozkural, … Vaibhav Gavane11

1/9/17

The first formalization of an animal model

Since there was some interest in this matter, here is a book written on the history of cybernetics/AI

unread,

The first formalization of an animal model

Since there was some interest in this matter, here is a book written on the history of cybernetics/AI

1/9/17

Gabriel Leuenberger, potapov7

1/5/17

Applications of Algorithmic Probability to the Philosophy of Mind

Not exactly. We consider the agent that builds representations of the environment on different levels

unread,

Applications of Algorithmic Probability to the Philosophy of Mind

Not exactly. We consider the agent that builds representations of the environment on different levels

1/5/17

1/2/17

Re: [MAGIC-list] Dear Experts Please Review Ozkural's Essay

The probability upper bound in the paper is about 2^-100000, not 2^-100. You have apparently not

unread,

Re: [MAGIC-list] Dear Experts Please Review Ozkural's Essay

The probability upper bound in the paper is about 2^-100000, not 2^-100. You have apparently not

1/2/17

11/30/16

Overlap between BPL papers and my previous HAM papers

Dear colleagues, Someone pointed out that the algorithm in https://arxiv.org/abs/1110.5667 is too

unread,

Overlap between BPL papers and my previous HAM papers

Dear colleagues, Someone pointed out that the algorithm in https://arxiv.org/abs/1110.5667 is too

11/30/16

Aruhan Borzigin, … Eray Ozkural5

6/15/16

Can we speed up (approximated) Solomonoff Induction with Dynamic Programming?

As a rule of thumb in a rigorous implementation of levin search generation takes like 20-40% of the

unread,

Can we speed up (approximated) Solomonoff Induction with Dynamic Programming?

As a rule of thumb in a rigorous implementation of levin search generation takes like 20-40% of the

6/15/16

6/14/16

Foundational Super Intelligence (upcoming session)

Hi Folks, I write to advise you I am active with the Foundations of Information Science (FIS) group,

unread,

Foundational Super Intelligence (upcoming session)

Hi Folks, I write to advise you I am active with the Foundations of Information Science (FIS) group,

6/14/16

Nil Geisweiller, Laurent3

6/14/16

Solomonoff induction using probabilistic programs

Yes it helps Laurent! I had read some of this 10 years ago but I didn't connect all the dots at

unread,

Solomonoff induction using probabilistic programs

Yes it helps Laurent! I had read some of this 10 years ago but I didn't connect all the dots at

6/14/16

5/5/16

Research Fellow Position & PhD Scholarships Available at AI@RSCS@ANU

Research Fellow Position ------------------------ Intelligent Agents Group Research School of

unread,

Research Fellow Position & PhD Scholarships Available at AI@RSCS@ANU

Research Fellow Position ------------------------ Intelligent Agents Group Research School of

5/5/16

Eray Ozkural, … Marcus Abundis8

4/15/16

Proof that AIXI is more intelligent than plain induction

Hi Eray, I see that you cross-post your notes to "ai-phi...@yahoogroups.com." Can you

unread,

Proof that AIXI is more intelligent than plain induction

Hi Eray, I see that you cross-post your notes to "ai-phi...@yahoogroups.com." Can you

4/15/16

Eray Ozkural, … Marcus Abundis4

4/15/16

Any reason to believe that the real environment is "adversarial"?

Initially, I tend to view this question in a more reductive sense . . . doesn't the heart of this

unread,

Any reason to believe that the real environment is "adversarial"?

Initially, I tend to view this question in a more reductive sense . . . doesn't the heart of this

4/15/16

4/7/16

New to group . . . guidance?

Greetings all, I am new to this group and wish to introduce myself. For my background you can look at

unread,

New to group . . . guidance?

Greetings all, I am new to this group and wish to introduce myself. For my background you can look at

4/7/16

3/21/16

Last call for papers: AGI-16 (jointly with BICA,NeSy,AIC). Deadline 1.April

We are excited to remind you about an historic event that is coming up soon -- The Ninth Annual

unread,

Last call for papers: AGI-16 (jointly with BICA,NeSy,AIC). Deadline 1.April

We are excited to remind you about an historic event that is coming up soon -- The Ninth Annual

3/21/16

Bill Hibbard, Vaibhav Gavane5

3/11/16

Humans for Transparency in Artificial Intelligence

On Fri, 11 Mar 2016, Vaibhav Gavane wrote: > On 3/11/16, Bill Hibbard <te...@ssec.wisc.edu>

unread,

Humans for Transparency in Artificial Intelligence

On Fri, 11 Mar 2016, Vaibhav Gavane wrote: > On 3/11/16, Bill Hibbard <te...@ssec.wisc.edu>

3/11/16

2/29/16

Call for papers: 9th Conference on Artificial General Intelligence: AGI-16 (jointly with BICA,NeSy,AIC)

We are excited to remind you about an historic event that is coming up soon -- The Ninth Annual

unread,

Call for papers: 9th Conference on Artificial General Intelligence: AGI-16 (jointly with BICA,NeSy,AIC)

We are excited to remind you about an historic event that is coming up soon -- The Ninth Annual

2/29/16

10/15/15

Research Fellow Position Available at AI@RSCS@ANU

Position: Research Fellow Intelligent Agents Group Research School of Computer Science Australian

unread,

Research Fellow Position Available at AI@RSCS@ANU

Position: Research Fellow Intelligent Agents Group Research School of Computer Science Australian

10/15/15

7/12/15

Research Fellow Position Available at AI@RSCS@ANU

Position: Research Fellow Intelligent Agents Group Research School of Computer Science Australian

unread,

Research Fellow Position Available at AI@RSCS@ANU

Position: Research Fellow Intelligent Agents Group Research School of Computer Science Australian

7/12/15

Search

Clear search

Close search

Google apps

Main menu