Sciweavers

42 search results - page 3 / 9

» An introduction to logical spreadsheets

23

RULEML
2010
Springer

109views Internet Technology» more RULEML 2010»

Logical Spreadsheets

13 years 9 months ago

Logical Spreadsheets

Download logic.stanford.edu

Michael R. Genesereth

claim paper

Read More »

40

BIRTHDAY
2005
Springer

233views Applied Computing» more BIRTHDAY 2005»

Logical Non-determinism as a Tool for Logical Modularity: An Introduction

14 years 4 months ago

Logical Non-determinism as a Tool for Logical Modularity: An Introduction

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

60

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

14 years 3 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 »

39

FUIN
2007

236views more FUIN 2007»

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

13 years 10 months ago

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Download people.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

36

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

13 years 10 months ago

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Download dtai.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

« Prev « First page 3 / 9 Last » Next »