Search Sciweavers | Sciweavers

2585 search results - page 63 / 517

» Automating Coherent Logic

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

14 years 4 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

14 years 4 months ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

14 years 4 months ago

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

click to vote

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

14 years 4 months ago

Download staff.science.uva.nl

Luigi Santocanale, Yde Venema

claim paper

Read More »

click to vote

RR
2007
Springer

109views Automated Reasoning» more RR 2007»

Consistent Query Answering over Description Logic Ontologies

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers