Sciweavers

5482 search results - page 131 / 1097
» Logic Programming and Databases
Sort
View
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
15 years 10 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
16 years 1 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
16 years 1 months ago
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Matti Järvisalo, Emilia Oikarinen