Search Sciweavers | Sciweavers

76 search results - page 3 / 16

» kr 2004

142

click to vote

KR
2004
Springer

103views Automated Reasoning» more KR 2004»

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing

16 years 22 hour ago

Download www.cs.toronto.edu

Ronald P. A. Petrick, Fahiem Bacchus

claim paper

Read More »

114

click to vote

KR
2004
Springer

81views Automated Reasoning» more KR 2004»

A Unified Treatment for Knowledge Dynamics

16 years 22 hour ago

Download www.aaai.org

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

claim paper

Read More »

135

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 22 hour ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

137

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 22 hour ago

Download www.cs.vu.nl

Perry Groot, Annette ten Teije, Frank van Harmelen

claim paper

Read More »

138

click to vote

KR
2004
Springer

90views Automated Reasoning» more KR 2004»

Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration

16 years 22 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers