Search Sciweavers | Sciweavers

4617 search results - page 223 / 924

» Automation of Diagrammatic Reasoning

150

click to vote

FLOPS
2004
Springer

84views Automated Reasoning» more FLOPS 2004»

Multivariant Non-failure Analysis via Standard Abstract Interpretation

16 years 17 days ago

Download www.cs.unm.edu

Francisco Bueno, Pedro López-García,...

claim paper

Read More »

123

click to vote

KR
2004
Springer

81views Automated Reasoning» more KR 2004»

A Unified Treatment for Knowledge Dynamics

16 years 16 days ago

Download www.aaai.org

Isabelle Bloch, Ramón Pino Pérez, Ca...

claim paper

Read More »

149

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

16 years 16 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

152

click to vote

KR
2004
Springer

90views Automated Reasoning» more KR 2004»

Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration

16 years 16 days ago

Download ontology.buffalo.edu

James Matthew Fielding, Jonathan Simon, Werner Ceu...

claim paper

Read More »

149

click to vote

KR
2004
Springer

148views Automated Reasoning» more KR 2004»

Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers