Search Sciweavers | Sciweavers

4573 search results - page 25 / 915

» Automated Reasoning

click to vote

ILP
1998
Springer

77views Automated Reasoning» more ILP 1998»

Completing Inverse Entailment

15 years 6 months ago

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

123

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

15 years 6 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

click to vote

KR
1998
Springer

110views Automated Reasoning» more KR 1998»

On the Logic of Merging

15 years 6 months ago

Download dagwood.cs.byu.edu

Sébastien Konieczny, Ramón Pino P&ea...

claim paper

Read More »

click to vote

LACL
1998
Springer

74views Automated Reasoning» more LACL 1998»

Derivational Minimalism Is Mildly Context-Sensitive

15 years 6 months ago

Download esslli2009.labri.fr

Jens Michaelis

claim paper

Read More »

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers