Search Sciweavers | Sciweavers

10568 search results - page 16 / 2114

» Computer Intelligence and Formalization

click to vote

ESAW
2009
Springer

133views Intelligent Agents» more ESAW 2009»

Navigational Web-Interfaces from Formal Tropos Specification

15 years 1 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

14 years 12 months ago

Download www.aaai.org

Jean-Pierre Desclés

claim paper

Read More »

click to vote

ATAL
2010
Springer

117views Intelligent Agents» more ATAL 2010»

A formal approach to MASQ

14 years 10 months ago

Download www.lirmm.fr

Razvan Dinu, Tiberiu Stratulat, Jacques Ferber

claim paper

Read More »

click to vote

AAMAS
2008
Springer

89views Intelligent Agents» more AAMAS 2008»

Formal models and algorithms for decentralized decision making under uncertainty

14 years 9 months ago

Download anytime.cs.umass.edu

Sven Seuken, Shlomo Zilberstein

claim paper

Read More »

click to vote

AI
2004
Springer

86views Artificial Intelligence» more AI 2004»

Introduction: Progress in formal commonsense reasoning

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers