Search Sciweavers | Sciweavers

4573 search results - page 207 / 915

» Automated Reasoning

145

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 11 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

145

click to vote

KR
2004
Springer

90views Automated Reasoning» more KR 2004»

Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration

16 years 11 days ago

Download ontology.buffalo.edu

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

claim paper

Read More »

142

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 11 days ago

Download www.cs.vu.nl

Perry Groot, Annette ten Teije, Frank van Harmelen

claim paper

Read More »

120

click to vote

KR
2004
Springer

106views Automated Reasoning» more KR 2004»

Logical Foundations of Negotiation: Strategies and Preferences

16 years 11 days ago

Download www.aaai.org

Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Don...

claim paper

Read More »

140

click to vote

NMR
2004
Springer

208views Automated Reasoning» more NMR 2004»

A unifying semantics for belief change

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers