Search Sciweavers | Sciweavers

4617 search results - page 224 / 924

» Automation of Diagrammatic Reasoning

109

click to vote

KR
2004
Springer

106views Automated Reasoning» more KR 2004»

Logical Foundations of Negotiation: Strategies and Preferences

15 years 12 months ago

Download www.aaai.org

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

claim paper

Read More »

129

click to vote

NMR
2004
Springer

208views Automated Reasoning» more NMR 2004»

A unifying semantics for belief change

15 years 12 months ago

Download www.sci.brooklyn.cuny.edu

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

claim paper

Read More »

162

click to vote

NMR
2004
Springer

192views Automated Reasoning» more NMR 2004»

Combining individually inconsistent prioritized knowledge bases

15 years 12 months ago

Download www.cs.qub.ac.uk

Guilin Qi, Weiru Liu, David H. Glass

claim paper

Read More »

click to vote

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

15 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

103

click to vote

ASP
2003
Springer

159views Automated Reasoning» more ASP 2003»

Aggregate Functions in DLV

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers