Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive RulesEchenim, Mnacho ; Iosif, Radu ; Peltier, NicolasInformation processing letters, 2022-01, Vol.173 [Periódico revisado por pares]ElsevierTexto completo disponível |
|
2 |
Material Type: Artigo
|
Formal definitions and proofs for partial (co)recursive functionsCheval, Horaţiu ; Nowak, David ; Rusu, VladJournal of logical and algebraic methods in programming, 2024-10, Vol.141, p.100999, Article 100999 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
3 |
Material Type: Artigo
|
Graded modalities in Strategy LogicAminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, SashaInformation and computation, 2018-08, Vol.261, p.634-649 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
4 |
Material Type: Artigo
|
A map of dependencies among three-valued logicsCiucci, D. ; Dubois, D.Information sciences, 2013-11, Vol.250, p.162-177 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
5 |
Material Type: Artigo
|
Extensional proofs in a propositional logic modulo isomorphismsDíaz-Caro, Alejandro ; Dowek, GillesTheoretical computer science, 2023-10, Vol.977, p.114172, Article 114172 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Interval iteration algorithm for MDPs and IMDPsHaddad, Serge ; Monmege, BenjaminTheoretical computer science, 2018-07, Vol.735, p.111-131 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertaintyDubois, Didier ; Prade, Henri ; Schockaert, StevenArtificial intelligence, 2017-11, Vol.252, p.139-174 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Bijections between planar maps and planar linear normal λ-terms with connectivity conditionFang, WenjieAdvances in applied mathematics, 2023-07, Vol.148, p.102532, Article 102532 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
9 |
Material Type: Artigo
|
Qualitative reasoning in a two-layered frameworkBílková, Marta ; Frittella, Sabine ; Kozhemiachenko, Daniil ; Majer, OndrejInternational journal of approximate reasoning, 2023-03, Vol.154, p.84-108 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
10 |
Material Type: Artigo
|
The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworksDubois, Didier ; Liu, Weiru ; Ma, Jianbing ; Prade, HenriInformation fusion, 2016-11, Vol.32, p.12-39 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |