26 results on '"Hansen, Helle Hvid"'
Search Results
2. A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey’s Update Rule
3. An Evidence Logic Perspective on Schotch-Jennings Forcing
4. Two-Layered Logics for Paraconsistent Probabilities
5. Effective Skolemization
6. Conditional Obligations in Justification Logic
7. Learning Context-Free Grammars from Positive Data and Membership Queries
8. Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember
9. Quantitative Global Memory
10. An Axiom System for Basic Hybrid Logic with Propositional Quantifiers
11. Subsumption-Linear Q-Resolution for QBF Theorem Proving
12. Maximally Multi-focused Proofs for Skew Non-Commutative MILL
13. Decidability of Modal Logics of Non-k-Colorable Graphs
14. Relevant Reasoning and Implicit Beliefs
15. Parameterized Complexity of Propositional Inclusion and Independence Logic
16. Towards an Induction Principle for Nested Data Types
17. Parallelism in Realizability Models
18. Aleatoric Propositions: Reasoning About Coins
19. Focus-Style Proofs for the Two-Way Alternation-Free -Calculus
20. Bisimulations Between Verbrugge Models and Veltman Models
21. Structural Completeness and Superintuitionistic Inquisitive Logics
22. Validity in Choice Logics : A Game-Theoretic Investigation
23. From Gödel’s Incompleteness Theorem to the Completeness of Bot Beliefs : (Extended Abstract)
24. A Short Introduction to SHACL for Logicians
25. A Separation Logic with Histories of Epistemic Actions as Resources
26. Correction to: Decidability of Modal Logics of Non-k-Colorable Graphs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.