Sciweavers

3546 search results - page 56 / 710

» A Causal Logic of Logic Programming

110

Voted

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

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

117

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 »

89

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 »

109

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

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

124

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 »