Sciweavers

12993 search results - page 118 / 2599

» Artificial Intelligence in China

11

ICAIL
1987
ACM

46views Artificial Intelligence» more ICAIL 1987»

Conceptual Retrieval and Case Law

14 years 1 months ago

Conceptual Retrieval and Case Law

Download ftp.cs.toronto.edu

Judith P. Dick

claim paper

Read More »

10

ICAIL
1987
ACM

55views Artificial Intelligence» more ICAIL 1987»

A Case-Based System for Trade Secrets Law

14 years 1 months ago

A Case-Based System for Trade Secrets Law

Download logic.stanford.edu

Edwina L. Rissland, Kevin D. Ashley

claim paper

Read More »

14

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

14 years 1 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

claim paper

Read More »

19

ISMIS
1987
Springer

84views Artificial Intelligence» more ISMIS 1987»

Knowledge and the Problem of Logical Omniscience

14 years 1 months ago

Knowledge and the Problem of Logical Omniscience

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

4

KI
1987
Springer

45views Artificial Intelligence» more KI 1987»

Many-Sorted Resolution

14 years 1 months ago

Many-Sorted Resolution

Download www.aaai.org

Christoph Walther

claim paper

Read More »

« Prev « First page 118 / 2599 Last » Next »