Search Sciweavers | Sciweavers

10568 search results - page 16 / 2114

» Computer Intelligence and Formalization

127

click to vote

ESAW
2009
Springer

133views Intelligent Agents» more ESAW 2009»

Navigational Web-Interfaces from Formal Tropos Specification

15 years 7 months ago

Download www.cs.uu.nl

Komminist Weldemariam

claim paper

Read More »

click to vote

FLAIRS
2008

111views Artificial Intelligence» more FLAIRS 2008»

Towards a Bridge between Cognitive Linguistics and Formal Ontology

15 years 6 months ago

Download www.aaai.org

Jean-Pierre Desclés

claim paper

Read More »

Voted

ATAL
2010
Springer

117views Intelligent Agents» more ATAL 2010»

A formal approach to MASQ

15 years 5 months ago

Download www.lirmm.fr

Razvan Dinu, Tiberiu Stratulat, Jacques Ferber

claim paper

Read More »

120

click to vote

AAMAS
2008
Springer

89views Intelligent Agents» more AAMAS 2008»

Formal models and algorithms for decentralized decision making under uncertainty

15 years 4 months ago

Download anytime.cs.umass.edu

Sven Seuken, Shlomo Zilberstein

claim paper

Read More »

113

Voted

AI
2004
Springer

86views Artificial Intelligence» more AI 2004»

Introduction: Progress in formal commonsense reasoning

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers