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 3 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 2 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

15 years 28 days 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 12 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers