Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/14.5.703
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Combining Situation Calculus and Event Calculus

1995English

A Satisfiability Tester for Non-Clausal Propositional Calculus

English

Variants of the Event Calculus

1995English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

A Simple Distributed Reasoning System for the Connection Calculus

Vietnam Journal of Computer Science
2014English

Distributed Localized Contextual Event Reasoning Under Uncertainty

IEEE Internet of Things Journal
Information SystemsSignal ProcessingComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
2017English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Applying the Mu-Calculus in Planning and Reasoning About Action

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1998English

Event Extraction for Legal Case Building and Reasoning

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy