Search Sciweavers | Sciweavers

4617 search results - page 224 / 924

» Automation of Diagrammatic Reasoning

122

click to vote

KR
2004
Springer

106views Automated Reasoning» more KR 2004»

Logical Foundations of Negotiation: Strategies and Preferences

16 years 16 days ago

Download www.aaai.org

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

claim paper

Read More »

141

click to vote

NMR
2004
Springer

208views Automated Reasoning» more NMR 2004»

A unifying semantics for belief change

16 years 16 days ago

Download www.sci.brooklyn.cuny.edu

Richard Booth, Samir Chopra, Thomas Andreas Meyer,...

claim paper

Read More »

179

click to vote

NMR
2004
Springer

192views Automated Reasoning» more NMR 2004»

Combining individually inconsistent prioritized knowledge bases

16 years 16 days ago

Download www.cs.qub.ac.uk

Guilin Qi, Weiru Liu, David H. Glass

claim paper

Read More »

106

click to vote

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

16 years 13 days ago

Download sunsite.informatik.rwth-aachen.de

James P. Delgrande, Mona Gharib, Robert E. Mercer,...

claim paper

Read More »

117

click to vote

ASP
2003
Springer

159views Automated Reasoning» more ASP 2003»

Aggregate Functions in DLV

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers