Search Sciweavers | Sciweavers

1368 search results - page 9 / 274

» Personality-Based Practical Reasoning

108

click to vote

FASE
2007
Springer

82views Software Engineering» more FASE 2007»

Practical Reasoning About Invocations and Implementations of Pure Methods

15 years 11 months ago

Download research.microsoft.com

Ádám Darvas, K. Rustan M. Leino

claim paper

Read More »

118

click to vote

ATAL
2003
Springer

100views Intelligent Agents» more ATAL 2003»

Towards practical reasoning agents for the semantic web

15 years 10 months ago

Download www.hpl.hp.com

Ian Dickinson, Michael Wooldridge

claim paper

Read More »

134

Voted

IEAAIE
2003
Springer

216views Artificial Intelligence» more IEAAIE 2003»

Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases

15 years 10 months ago

Download www.cs.us.es

José A. Alonso-Jiménez, Joaquí...

claim paper

Read More »

169

click to vote

CSCW
1996
ACM

196views Social Sciences» more CSCW 1996»

Documents and Professional Practice: "bad" Organisational Reasons for "good" Clinical Records

15 years 9 months ago

Download www.fhi.rcsed.ac.uk

Christian Heath, Paul Luff

claim paper

Read More »

105

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers