Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guillermo de Ita Luna
Extending Model Checking to Efficient Propositional Inference
International Journal of Machine Learning and Computing
Management
Computer Science Applications
Information Systems
Artificial Intelligence
Related publications
Model Checking Propositional Dynamic Logic With All Extras
Journal of Applied Logic
Applied Mathematics
Logic
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
Efficient Large-Scale Model Checking
Efficient Model Checking of Networked Applications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Efficient Decompositional Model Checking for Regular Timing Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Invariant Checking to Invariant Inference Using Randomized Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extending Predictive Processing to the Body: Emotion as Interoceptive Inference
Behavioral and Brain Sciences
Physiology
Physiological Psychology
Neuropsychology
Behavioral Neuroscience
Propositional Integration and World-Knowledge Inference: Processes in UnderstandingBecauseSentences
Discourse Processes
Communication
Language
Linguistics
Extending the Entry Consistency Model to Enable Efficient Visualization for Code-Coupling Grid Applications
