AIML 2006 | Sciweavers

13

click to vote

AIML
2006

111views Logical Reasoning» more AIML 2006»

Developing Modal Tableaux and Resolution Methods via First-Order Resolution

13 years 6 months ago

Download www.cs.bham.ac.uk

Renate A. Schmidt

claim paper

Read More »

10

click to vote

AIML
2006

137views Logical Reasoning» more AIML 2006»

The Tree of Knowledge in Action: Towards a Common Perspective

13 years 6 months ago

Download www.illc.uva.nl

We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...

Johan van Benthem, Eric Pacuit

claim paper

Read More »

12

click to vote

AIML
2006

86views Logical Reasoning» more AIML 2006»

On the Deterministic Horn Fragment of Test-free PDL

13 years 6 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

11

click to vote

AIML
2006

115views Logical Reasoning» more AIML 2006»

Logics with an existential modality

13 years 6 months ago

Download www.cs.nott.ac.uk

Natasha Alechina, Dmitry Shkatov

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers