Search Sciweavers | Sciweavers

2585 search results - page 38 / 517

» Automating Coherent Logic

106

click to vote

DLOG
2011

194views Automated Reasoning» more DLOG 2011»

Mapping Data to Higher-Order Description Logic Knowledge Bases

14 years 6 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

16 years 3 months ago

Download www.lri.fr

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

claim paper

Read More »

116

click to vote

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

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

15 years 9 months ago

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

201

click to vote

ICLP
2009
Springer

105views Automated Reasoning» more ICLP 2009»

Belief Logic Programming

16 years 3 months ago

Download www.aifb.uni-karlsruhe.de

Hui Wan

claim paper

Read More »

102

Voted

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers