Sciweavers

5482 search results - page 131 / 1097
» Logic Programming and Databases
Sort
View
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
15 years 8 months ago
Schema Evolution and Versioning: A Logical and Computational Characterisation
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
LPNMR
2009
Springer
15 years 11 months ago
Simple Random Logic Programs
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
Gayathri Namasivayam, Miroslaw Truszczynski
ICLP
2007
Springer
15 years 11 months ago
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Matti Järvisalo, Emilia Oikarinen