Sciweavers

3845 search results - page 73 / 769

» Belief Logic Programming

68

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 1 months ago

An Adaptive Inductive Logic Programming System Using Genetic Programming

Download cptra.ln.edu.hk

Man Leung Wong, Kwong-Sak Leung

claim paper

Read More »

47

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 1 months ago

Logic Programming, Functional Programming, and Inductive Definitions

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

70

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

14 years 9 months ago

Composing Programs in a Rewriting Logic for Declarative Programming

Download www.lcc.uma.es

Juan M. Molina-Bravo, Ernesto Pimentel

claim paper

Read More »

80

AAAI
1990

128views Intelligent Agents» more AAAI 1990»

Logical Task Modelling for Man-Machine Dialogue

14 years 11 months ago

Logical Task Modelling for Man-Machine Dialogue

Download www.aaai.org

To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...

M. David Sadek

claim paper

Read More »

80

IJAR
2008

91views more IJAR 2008»

Distance-based paraconsistent logics

14 years 9 months ago

Distance-based paraconsistent logics

Download www2.mta.ac.il

We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...

Ofer Arieli

claim paper

Read More »

« Prev « First page 73 / 769 Last » Next »