Search Sciweavers | Sciweavers

4573 search results - page 172 / 915

» Automated Reasoning

160

click to vote

LPNMR
2004
Springer

118views Automated Reasoning» more LPNMR 2004»

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative

15 years 12 months ago

Download www.cs.uni-potsdam.de

Paul Borchert, Christian Anger, Torsten Schaub, Mi...

claim paper

Read More »

128

click to vote

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

Verifying the Equivalence of Logic Programs in the Disjunctive Case

15 years 12 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

135

click to vote

LPNMR
2004
Springer

88views Automated Reasoning» more LPNMR 2004»

Smodels with CLP?A Treatment of Aggregates in ASP

15 years 12 months ago

Download www.cs.nmsu.edu

Enrico Pontelli, Tran Cao Son, Islam Elkabani

claim paper

Read More »

153

click to vote

NMR
2004
Springer

201views Automated Reasoning» more NMR 2004»

On sceptical vs credulous acceptance for abstract argument systems

15 years 12 months ago

Download events.pims.math.ca

Sylvie Doutre, Jérôme Mengin

claim paper

Read More »

129

click to vote

PPSWR
2004
Springer

86views Automated Reasoning» more PPSWR 2004»

Towards Generic Query, Update, and Event Languages for the Semantic Web

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers