Sciweavers

3546 search results - page 56 / 710
» A Causal Logic of Logic Programming
Sort
View
112
Voted
EPS
1995
Springer
15 years 7 months ago
An Adaptive Inductive Logic Programming System Using Genetic Programming
Man Leung Wong, Kwong-Sak Leung
85
Voted
ELP
1989
15 years 7 months ago
Logic Programming, Functional Programming, and Inductive Definitions
Lawrence C. Paulson, Andrew W. Smith
CORR
2002
Springer
119views Education» more  CORR 2002»
15 years 3 months ago
Composing Programs in a Rewriting Logic for Declarative Programming
Juan M. Molina-Bravo, Ernesto Pimentel
KI
2009
Springer
15 years 8 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
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...