Executing specifications of distributed computations with Chronolog(MC)
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Transforming the .NET intermediate language using path logic programming
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A generic operator over discrete time intervals
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A Framework for Event Correlation in Communication Systems
MMNS '01 Proceedings of the 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services: Management of Multimedia on the Internet
Spatio-temporal Annotated Constraint Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Beyond AOP: toward naturalistic programming
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Beyond AOP: toward naturalistic programming
ACM SIGPLAN Notices
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
A connectionist computational model for epistemic and temporal reasoning
Neural Computation
Theoretical Computer Science
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
Temporal nonmonotonic logical systems: Interrelationships and computational complexity
Scientific and Technical Information Processing
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Deductive and inductive reasoning on spatio-temporal data
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Branching-time logic programming: the language Cactus and its applications
Computer Languages
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Knowlog: a declarative language for reasoning about knowledge in distributed systems
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |