Sciweavers

5482 search results - page 132 / 1097
» Logic Programming and Databases
Sort
View
150
Voted
ICLP
2003
Springer
15 years 10 months ago
A Logic Programming View of Authorization in Distributed Systems
William H. Winsborough
146
Voted
PRICAI
2000
Springer
15 years 8 months ago
Argumentation Semantics for Defeasible Logics
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
Guido Governatori, Michael J. Maher, Grigoris Anto...
TCS
1998
15 years 4 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen