Extending Model Checking to Efficient Propositional Inference

International Journal of Machine Learning and Computing - Singapore
doi 10.7763/ijmlc.2014.v4.417
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EJournal Publishing

Related search

Model Checking Propositional Dynamic Logic With All Extras

Journal of Applied Logic
Applied MathematicsLogic
2006English

The Complexity of Model Checking for Propositional Default Logics

Data and Knowledge Engineering
Information SystemsManagement
2005English

Efficient Large-Scale Model Checking

2009English

Efficient Model Checking of Networked Applications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2008English

Efficient Decompositional Model Checking for Regular Timing Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

From Invariant Checking to Invariant Inference Using Randomized Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Extending Predictive Processing to the Body: Emotion as Interoceptive Inference

Behavioral and Brain Sciences
PhysiologyPhysiological PsychologyNeuropsychologyBehavioral Neuroscience
2013English

Propositional Integration and World-Knowledge Inference: Processes in UnderstandingBecauseSentences

Discourse Processes
CommunicationLanguageLinguistics
2011English

Extending the Entry Consistency Model to Enable Efficient Visualization for Code-Coupling Grid Applications

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy