Sciweavers

4573 search results - page 33 / 915

» Automated Reasoning

85

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

15 years 6 months ago

A Monotonicity Theorem for Extended Logic Programs

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

78

ICLP
1994
Springer

93views Automated Reasoning» more ICLP 1994»

Implementation of Andorra-based Languages

15 years 6 months ago

Implementation of Andorra-based Languages

Download www.sics.se

Sverker Janson

claim paper

Read More »

101

ICTL
1994

227views Automated Reasoning» more ICTL 1994»

Temporal Logic with Reference Pointers

15 years 6 months ago

Temporal Logic with Reference Pointers

Download staff.science.uva.nl

Valentin Goranko

claim paper

Read More »

82

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 6 months ago

Sequentialization of Parallel Logic Programs with Mode Analysis

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

68

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

15 years 6 months ago

Belief Ascription and Mental-Level Modelling

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

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