Sciweavers

3776 search results - page 30 / 756

» Partition-Based Logical Reasoning

17

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

14 years 1 months ago

Introducing Temporal Description Logics

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

25

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

14 years 1 months ago

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

22

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

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

18

TPHOL
1998
IEEE

96views Automated Reasoning» more TPHOL 1998»

Free Variables and Subexpressions in Higher-Order Meta Logic

14 years 1 months ago

Free Variables and Subexpressions in Higher-Order Meta Logic

Download www.cs.hofstra.edu

Chuck Liang

claim paper

Read More »

21

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

14 years 1 months ago

Proof-Theoretic Foundation of Compilation in Logic Programming

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

« Prev « First page 30 / 756 Last » Next »