Sciweavers

3546 search results - page 56 / 710

» A Causal Logic of Logic Programming

105

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 9 months ago

Abstract Interpretation of PIC Programs through Logic Programming

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

112

Voted

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 7 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 »

85

Voted

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 7 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 »

103

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

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

116

KI
2009
Springer

135views Artificial Intelligence» more KI 2009»

Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles

15 years 8 months ago

Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles

Download www.l3g.pl

In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...

Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...

claim paper

Read More »

« Prev « First page 56 / 710 Last » Next »