Search Sciweavers | Sciweavers

4617 search results - page 112 / 924

» Automation of Diagrammatic Reasoning

136

click to vote

DLOG
2008

89views Automated Reasoning» more DLOG 2008»

On Ordering and Indexing Metadata for the Semantic Web

15 years 8 months ago

Download ftp.informatik.rwth-aachen.de

Jeffrey Pound, Lubomir Stanchev, David Toman, Gran...

claim paper

Read More »

144

click to vote

GIS
2007
ACM

130views Automated Reasoning» more GIS 2007»

Near-real time motion analysis for APLIS 2007: a systems modeling perspective

15 years 8 months ago

Download vims.cis.udel.edu

Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...

claim paper

Read More »

135

click to vote

DEON
2008
Springer

103views Automated Reasoning» more DEON 2008»

Need to Know: Questions and the Paradox of Epistemic Obligation

15 years 8 months ago

Download staff.feweb.vu.nl

Joris Hulstijn

claim paper

Read More »

122

click to vote

FLOPS
2008
Springer

73views Automated Reasoning» more FLOPS 2008»

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

15 years 7 months ago

Download okmij.org

Oleg Kiselyov, William E. Byrd, Daniel P. Friedman...

claim paper

Read More »

138

click to vote

FLOPS
2008
Springer

82views Automated Reasoning» more FLOPS 2008»

Quantitative Logic Programming Revisited

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers