Search Sciweavers | Sciweavers

2585 search results - page 38 / 517

» Automating Coherent Logic

click to vote

DLOG
2011

194views Automated Reasoning» more DLOG 2011»

Mapping Data to Higher-Order Description Logic Knowledge Bases

13 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...

claim paper

Read More »

click to vote

CADE
2007
Springer

95views Logical Reasoning» more CADE 2007»

Handling Polymorphism in Automated Deduction

14 years 10 months ago

Download www.lri.fr

Jean-François Couchot, Stéphane Lesc...

claim paper

Read More »

click to vote

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

14 years 4 months ago

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

click to vote

ICLP
2009
Springer

105views Automated Reasoning» more ICLP 2009»

Belief Logic Programming

14 years 10 months ago

Download www.aifb.uni-karlsruhe.de

Hui Wan

claim paper

Read More »

click to vote

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers