Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Transactions and Electronic Commerce
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
A unified semantics for constraint handling rules in transaction logic
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
On the equivalence between the L1 action language and partial actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Reasoning with actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |