Sciweavers

13 search results - page 1 / 3

» icla 2009

15

ICLA
2009
Springer

105views Artificial Intelligence» more ICLA 2009»

Knowledge, Games and Tales from the East

14 years 1 months ago

Knowledge, Games and Tales from the East

Download web.cs.gc.cuny.edu

Rohit Parikh

claim paper

Read More »

16

ICLA
2009
Springer

136views Artificial Intelligence» more ICLA 2009»

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

14 years 1 months ago

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

Download ali.cmi.ac.in

Yoshihiro Maruyama

claim paper

Read More »

16

ICLA
2009
Springer

105views Artificial Intelligence» more ICLA 2009»

A General Setting for the Pointwise Investigation of Determinacy

14 years 1 months ago

A General Setting for the Pointwise Investigation of Determinacy

Download ali.cmi.ac.in

Yurii Khomskii

claim paper

Read More »

14

ICLA
2009
Springer

97views Artificial Intelligence» more ICLA 2009»

Machine Checking Proof Theory: An Application of Logic to Logic

14 years 1 months ago

Machine Checking Proof Theory: An Application of Logic to Logic

Download ali.cmi.ac.in

Rajeev Goré

claim paper

Read More »

11

ICLA
2009
Springer

124views Artificial Intelligence» more ICLA 2009»

Decisions, Actions, and Games: A Logical Perspective

14 years 1 months ago

Decisions, Actions, and Games: A Logical Perspective

Download ali.cmi.ac.in

Johan van Benthem

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »