Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
A layered architecture for querying dynamic Web content
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
KWM: Knowledge-based Workflow Model for Agile Organization
Journal of Intelligent Information Systems
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Logical Update Queries as Open Nested Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Modeling Interactive Web Sources for Information Mediation
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
CL '00 Proceedings of the First International Conference on Computational Logic
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
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
A Logical Approach to Dynamic Role-Based Access Control
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Process Algebra-Based Query Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Research Summary: Tabled Evaluation for Transaction Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Existentially quantified values for queries and updates of facts in transaction logic programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Querying sequential and concurrent horn transaction logic programs using tabling techniques
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Optimizations and extensions for the horn transaction logic programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
A general language for evolution and reactivity in the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
A logic for state-modifying authorization policies
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
A Petri net model for changing units of learning in runtime
Knowledge-Based Systems
Hi-index | 0.00 |