Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. T. Mueller
Event Calculus Reasoning Through Satisfiability
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Combining Situation Calculus and Event Calculus
A Satisfiability Tester for Non-Clausal Propositional Calculus
Variants of the Event Calculus
A Probabilistic Logic Programming Event Calculus
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
A Simple Distributed Reasoning System for the Connection Calculus
Vietnam Journal of Computer Science
Distributed Localized Contextual Event Reasoning Under Uncertainty
IEEE Internet of Things Journal
Information Systems
Signal Processing
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Applying the Mu-Calculus in Planning and Reasoning About Action
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Event Extraction for Legal Case Building and Reasoning
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
