Communicating sequential processes
Communicating sequential processes
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
A calculus of mobile processes, II
Information and Computation
Proving properties of states in the situation calculus
Artificial Intelligence
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Temporal conditions and integrity constraints in active database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Evolving algebras 1993: Lipari guide
Specification and validation methods
Representing action: indeterminacy and ramifications
Artificial Intelligence
On logical foundations of active databases
Logics for databases and information systems
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Modalities for model checking (extended abstract): branching time strikes back
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
NiagaraCQ: a scalable continuous query system for Internet databases
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency
First-Order Dynamic Logic
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Implementing a scalable XML publish/subscribe system using relational database systems
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
DoNet: a semantic domotic framework
Proceedings of the 15th international conference on World Wide Web
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Complex events and actions to control cyber-physical systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Reactive policies for the semantic web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Hi-index | 0.00 |
The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to events it perceives. Rather than a Web of data sources, we envisage a Web of Information Systems, where each such system, besides being capable of gathering information (querying persistent data, as well as “listening” to volatile data such as occurring events), is capable of updating persistent data, communicating the changes, requesting changes of persistent data in other systems, and being able to react to requests from other systems. The dynamic character of such a Web requires declarative languages and mechanisms for specifying the evolution of the data. In this course we will talk about foundations of evolution and reactive languages in general, and will then concentrate on some specific issues posed by evolution and reactivity in the Web and in the Semantic Web.