Search Sciweavers | Sciweavers

4573 search results - page 208 / 915

» Automated Reasoning

118

click to vote

NMR
2004
Springer

192views Automated Reasoning» more NMR 2004»

Combining individually inconsistent prioritized knowledge bases

15 years 9 months ago

Download www.cs.qub.ac.uk

Guilin Qi, Weiru Liu, David H. Glass

claim paper

Read More »

Voted

ASP
2003
Springer

98views Automated Reasoning» more ASP 2003»

Lukaszewicz-style Answer Set Programming: A Preliminary Report

15 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

click to vote

ASP
2003
Springer

159views Automated Reasoning» more ASP 2003»

Aggregate Functions in DLV

15 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...

claim paper

Read More »

102

click to vote

CSL
2003
Springer

87views Automated Reasoning» more CSL 2003»

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

15 years 9 months ago

Download www.avispa-project.org

Yannick Chevalier, Ralf Küsters, Michaël...

claim paper

Read More »

Voted

GIS
2009
ACM

139views Automated Reasoning» more GIS 2009»

Monitoring minimum cost paths on road networks

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers