Search Sciweavers | Sciweavers

13827 search results - page 84 / 2766

» The state of artificial intelligence

click to vote

TABLEAUX
2007
Springer

105views Artificial Intelligence» more TABLEAUX 2007»

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

14 years 3 months ago

Download www.cs.st-andrews.ac.uk

Ekaterina Komendantskaya

claim paper

Read More »

click to vote

WIA
2007
Springer

86views Artificial Intelligence» more WIA 2007»

Efficient Enumeration of Regular Languages

14 years 3 months ago

Download www.cs.uwaterloo.ca

Margareta Ackerman, Jeffrey Shallit

claim paper

Read More »

click to vote

WIA
2007
Springer

89views Artificial Intelligence» more WIA 2007»

Multi-grain Relations

14 years 3 months ago

Download www.stringology.org

François Barthélemy

claim paper

Read More »

click to vote

WIA
2007
Springer

72views Artificial Intelligence» more WIA 2007»

Memory Reduction for Strategies in Infinite Games

14 years 3 months ago

Download www.automata.rwth-aachen.de

Michael Holtmann, Christof Löding

claim paper

Read More »

click to vote

WIA
2007
Springer

134views Artificial Intelligence» more WIA 2007»

Regulated Nondeterminism in Pushdown Automata

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers