Concurrent systems and inevitability
Theoretical Computer Science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal query languages for secure relational databases
ACM Transactions on Database Systems (TODS)
Reasoning about knowledge
Readings in agents
Logics for specifying concurrent information systems
Logics for databases and information systems
A Modal Logical Framework for Security Policies
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
A Trace Consistent Subset of PTL
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Locally linear time temporal logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Knowledge and the ordering of events in distributed systems: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Local knowledge assertions in a changing world: extended abstract
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Application of paraconsistent logic in an intelligent tutoring system
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Checking violation tolerance of approaches to database integrity
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Hi-index | 0.00 |
Modern information systems must respect certain restrictions in order to guarantee the proper and desired functionality. Semantic constraints help to prevent inconsistencies in the stored data resulting from faulty updates. Security constraints are to maintain integrity, secrecy and availability over updates and over queries. In this paper we design an unifying framework for both kinds of constraints in order to study interactions between them. We view a distributed information system as a multi-agent system in which all components of the system are seen as agents. We present a temporal and epistemic logic for the defined framework and show in an example how security constraints and semantic constraints can be expressed in this framework.