Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
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
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Mobile Agents and Logic Programming
MA '02 Proceedings of the 6th International Conference on Mobile Agents
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Overview of the ROL2 Deductive Object-Oriented Database System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Knowledge representation concepts for automated SLA management
Decision Support Systems
Transactions in Constraint Handling Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Rule-based active domain brokering for the semantic web
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Transaction logic with external actions
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Reasoning with actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A new HTN planning framework for agents in dynamic environments
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |