Search Sciweavers | Sciweavers

12993 search results - page 248 / 2599

» Artificial Intelligence in China

138

click to vote

TABLEAUX
2005
Springer

107views Artificial Intelligence» more TABLEAUX 2005»

LoTREC: Logical Tableaux Research Engineering Companion

16 years 5 days ago

Download www.irit.fr

Olivier Gasquet, Andreas Herzig, Dominique Longin,...

claim paper

Read More »

137

Voted

ANTSW
2004
Springer

85views Artificial Intelligence» more ANTSW 2004»

Evolution of Direct Communication for a Swarm-bot Performing Hole Avoidance

16 years 3 days ago

Download www-users.york.ac.uk

Vito Trianni, Thomas Halva Labella, Marco Dorigo

claim paper

Read More »

151

click to vote

APN
2004
Springer

88views Artificial Intelligence» more APN 2004»

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

16 years 3 days ago

Download sbml.org

Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...

claim paper

Read More »

click to vote

ECAI
2004
Springer

120views Artificial Intelligence» more ECAI 2004»

Failing First: An Update

16 years 3 days ago

Download www.dcs.gla.ac.uk

J. Christopher Beck, Patrick Prosser, Richard J. W...

claim paper

Read More »

100

click to vote

ECAI
2004
Springer

77views Artificial Intelligence» more ECAI 2004»

A Tabulation Proof Procedure for Residuated Logic Programming

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers