Search Sciweavers | Sciweavers

10568 search results - page 500 / 2114

» Computer Intelligence and Formalization

183

click to vote

IJCAI
1997

135views Artificial Intelligence» more IJCAI 1997»

Strategies in Rigid-Variable Methods

15 years 8 months ago

Download dli.iiit.ac.in

We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...

Andrei Voronkov

claim paper

Read More »

154

click to vote

WOLLIC
2009
Springer

143views Artificial Intelligence» more WOLLIC 2009»

The Arrow Calculus as a Quantum Programming Language

16 years 1 months ago

Download www.indiana.edu

Juliana Kaizer Vizzotto, André Rauber Du Bo...

claim paper

Read More »

170

click to vote

SOCASE
2009
Springer

128views Intelligent Agents» more SOCASE 2009»

Mechanism Design for Task Procurement with Flexible Quality of Service

16 years 1 months ago

Download www.aamas-conference.org

Enrico H. Gerding, Kate Larson, Alex Rogers, Nicho...

claim paper

Read More »

143

click to vote

SOCASE
2009
Springer

115views Intelligent Agents» more SOCASE 2009»

MAMS Service Framework

16 years 1 months ago

Download www.aamas-conference.org

Alexander Thiele, Silvan Kaiser, Thomas Konnerth, ...

claim paper

Read More »

157

click to vote

WOLLIC
2007
Springer

87views Artificial Intelligence» more WOLLIC 2007»

Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers