Sciweavers

CORR
2011
Springer
215views Education» more  CORR 2011»
12 years 7 months ago
A Foundational View on Integration Problems
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti ...
IGPL
2007
125views more  IGPL 2007»
13 years 3 months ago
Morph Moulder: Teaching Software for HPSG and Description Logics
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
Ekaterina Ovchinnikova, Frank Richter
FMLDO
1999
Springer
94views Database» more  FMLDO 1999»
13 years 7 months ago
Specifying Active Rules for Database Maintenance
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
Leopoldo E. Bertossi, Javier Pinto
LICS
2003
IEEE
13 years 9 months ago
Logic in Access Control
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
Martín Abadi