Search Sciweavers | Sciweavers

10568 search results - page 29 / 2114

» Computer Intelligence and Formalization

click to vote

AOSE
2004
Springer

114views Intelligent Agents» more AOSE 2004»

A Formal Reuse-Based Approach for Interactively Designing Organizations

15 years 3 months ago

Download www.ai.rug.nl

Catholijn M. Jonker, Jan Treur, Pinar Yolum

claim paper

Read More »

click to vote

TPHOL
2003
IEEE

131views Automated Reasoning» more TPHOL 2003»

Formalizing Hilbert's Grundlagen in Isabelle/Isar

15 years 2 months ago

Download www.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

click to vote

AOSE
2003
Springer

109views Intelligent Agents» more AOSE 2003»

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

15 years 2 months ago

Download dit.unitn.it

Anna Perini, Marco Pistore, Marco Roveri, Angelo S...

claim paper

Read More »

click to vote

CP
2003
Springer

76views Artificial Intelligence» more CP 2003»

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint

15 years 2 months ago

Download www.cse.unsw.edu.au

Toby Walsh

claim paper

Read More »

click to vote

KI
2009
Springer

102views Artificial Intelligence» more KI 2009»

A Formal Cognitive Model of Mathematical Metaphors

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers