Sciweavers

4573 search results - page 22 / 915

» Automated Reasoning

131

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

15 years 10 months ago

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

Download ds.lib.kyutech.ac.jp

Eric Martin, Arun Sharma

claim paper

Read More »

247

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

15 years 10 months ago

An Introduction to Inductive Logic Programming and Learning Language in Logic

Download www-users.cs.york.ac.uk

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

132

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

15 years 10 months ago

Recursive Types in Games: Axiomatics and Process Representation

Download www.eecs.qmul.ac.uk

Marcelo P. Fiore, Kohei Honda

claim paper

Read More »

133

LICS
1998
IEEE

111views Automated Reasoning» more LICS 1998»

The First-Order Theory of Ordering Constraints over Feature Trees

15 years 10 months ago

The First-Order Theory of Ordering Constraints over Feature Trees

Download www.coli.uni-saarland.de

Martin Müller, Joachim Niehren, Ralf Treinen

claim paper

Read More »

114

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 10 months ago

Model-Based Visualization of Temporal Abstractions

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

« Prev « First page 22 / 915 Last » Next »