Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Dominik Kirst, Marc Hermes |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jan A. Bergstra, John V. Tucker |
On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. |
Comput. J. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Dusko Pavlovic, Temra Pavlovic |
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Cayon Liow, Cheng-Te Li, Chun-Pai Yang, Shou-De Lin |
Pseudo Triplet Networks for Classification Tasks with Cross-Source Feature Incompleteness. |
CIKM |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Fateh Boulmaiz, Patrick Reignier, Stéphane Ploix |
Mind the Gap: Addressing Incompleteness Challenge in Case-Based Reasoning Applications. |
AIAI (1) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Varadraj Prabhu Gurupur, Muhammed Shelleh, Christopher Leone, Daniel Schupp-Omid, Roger Azevedo, Shashank Dubey |
THNN - A Neural Network Model for Telehealth Data Incompleteness Prediction. |
EMBC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jiayi Chen, Aidong Zhang |
On Hierarchical Disentanglement of Interactive Behaviors for Multimodal Spatiotemporal Data with Incompleteness. |
KDD |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Xian Xu, Xiao Xu, Xiang Li, Guotong Xie |
GRMI: Graph Representation Learning of Multimodal Data with Incompleteness. |
DASFAA (3) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi |
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. |
SAS |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Fateh Boulmaiz, Patrick Reignier, Stéphane Ploix |
Exploring Incompleteness in Case-Based Reasoning: A Strategy for Overcoming Challenge. |
ACIIDS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Cam-Van Thi Nguyen, Huy-Sang Nguyen, Duc-Trong Le, Quang-Thuy Ha |
Multimodal Learning with Incompleteness towards Multimodal Sentiment Analysis and Emotion Recognition Task. |
KSE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Dominik Kirst, Benjamin Peters |
Gödel's Theorem Without Tears - Essential Incompleteness in Synthetic Computability. |
CSL |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Bettina Fazzinga, Sergio Flesca, Filippo Furfaro |
On Merging Incompleteness and Bipolarity in Abstract Argumentation. |
AI³@AI*IA |
2023 |
DBLP BibTeX RDF |
|
18 | Fangchen Yu, Zhan Shi, Yuqi Ma, Jianfeng Mao, Wenye Li 0001 |
From Incompleteness to Unity: A Framework for Multi-view Clustering with Missing Values. |
ICONIP (11) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Erfan Khaniki |
New Relations and Separations of conjectures about Incompleteness in the finite Domain. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Kimmi Kumari, Mrunalini Marlakunta |
A Framework for Analysis of Incompleteness and Security Challenges in IoT Big Data. |
Int. J. Inf. Secur. Priv. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jason Milionis, Christos H. Papadimitriou, Georgios Piliouras, Kelly Spendlove |
Nash, Conley, and Computation: Impossibility and Incompleteness in Game Dynamics. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Yasha Savelyev |
Incompleteness for stably computable formal systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sergey N. Pozdnyakov, Michele Ceriotti |
Incompleteness of graph convolutional neural networks for points clouds in three dimensions. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
18 | Masanobu Toyooka, Katsuhiko Sano |
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Chang-Chih Chen, Chia-Chien Chang, Edward W. Sun, Min-Teh Yu |
Optimal decision of dynamic wealth allocation with life insurance for mitigating health risk under market incompleteness. |
Eur. J. Oper. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Nele Van de Mosselaer, Stefano Gualeni |
The Fictional Incompleteness of Digital Gameworlds. |
Trans. Digit. Games Res. Assoc. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Shiri Alon, Gilad Bavly, Gabrielle Gayer |
Inductive inference with incompleteness. |
Games Econ. Behav. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sergey N. Pozdnyakov, Michele Ceriotti |
Incompleteness of graph neural networks for points clouds in three dimensions. |
Mach. Learn. Sci. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Fabio Mariani |
Introducing VISU: Vagueness, Incompleteness, Subjectivity, and Uncertainty in Art Provenance Data. |
COMHUM |
2022 |
DBLP BibTeX RDF |
|
18 | Muhammed Shelleh, Varadraj Prabhu Gurupur |
PC-LSTM: Ontology-based Long Short-Term Memory State Model for Data Incompleteness Prediction. |
EMBC |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Guy Mailly |
On Incompleteness in Abstract Argumentation: Complexity and Expressiveness. |
SUM |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mark Koch, Dominik Kirst |
Undecidability, incompleteness, and completeness of second-order logic in Coq. |
CPP |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mauro Bringolf, Dominik Winterer, Zhendong Su 0001 |
Finding and Understanding Incompleteness Bugs in SMT Solvers. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Yenan Sun |
Incompleteness and (not-)at-issue Updates in Mandarin Chinese. |
TLLM |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Leandro Oliveira Freitas |
Uncertainty and incompleteness handling in context-aware systems |
|
2022 |
RDF |
|
18 | Marie Destandau, Jean-Daniel Fekete |
The missing path: Analysing incompleteness in knowledge graphs. |
Inf. Vis. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Olga Kostopoulou, Christopher Tracey, Brendan C. Delaney |
Can decision support combat incompleteness and bias in routine primary care data? |
J. Am. Medical Informatics Assoc. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Yong Cheng |
Current Research on Gödel's Incompleteness theorems. |
Bull. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Shawn Standefer |
An Incompleteness Theorem for Modal Relevant Logics. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Christopher P. Porter |
Revisiting Chaitin's Incompleteness Theorem. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Cristian S. Calude |
Incompleteness and the Halting Problem. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Buche, Julien Cufi, Stéphane Dervaux, Juliette Dibie, Liliana Ibanescu, Alrick Oudot, Magalie Weber |
How to Manage Incompleteness of Nutritional Food Sources?: A Solution Using FoodOn as Pivot Ontology. |
Int. J. Agric. Environ. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Lawrence C. Paulson |
A Mechanised Proof of Gödel's Incompleteness Theorems using Nominal Isabelle. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Serafim Batzoglou |
Goedel's Incompleteness Theorem. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Laura Delaney |
A model of investment under uncertainty with time to build, market incompleteness and risk aversion. |
Eur. J. Oper. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Grangier |
Contextual Inferences, Nonlocality, and the Incompleteness of Quantum Mechanics. |
Entropy |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Rasmus Blanck |
Hierarchical Incompleteness Results for Arithmetically Definable Extensions of Fragments of Arithmetic. |
Rev. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Andrei Popescu 0001, Dmitriy Traytel |
Distilling the Requirements of Gödel's Incompleteness Theorems with a Proof Assistant. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Dan E. Willard |
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed |
On the effect of incompleteness to check requirement-to-method traces. |
SAC |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Yakoub Salhi |
Quantification of Resource Production Incompleteness. |
AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Buche, Julien Cufi, Stéphane Dervaux, Liliana Ibanescu, Alrick Oudot, Magalie Weber |
Managing Incompleteness and Validating the Content of Nutritional Food Sources using FoodOn as Pivot Ontology. |
ICBO |
2021 |
DBLP BibTeX RDF |
|
18 | Dominik Kirst, Marc Hermes |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Cristian S. Calude |
Gödel Incompleteness and Proof-Assistants Extended Abstract. |
SYNASC |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Colin Wilcox, Soufiene Djahel, Vasileios Giagos |
Identifying the Main Causes of Medical Data Incompleteness in the Smart Healthcare Era. |
ISNCC |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Titus Dose |
Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes (Balance-Probleme für Integer Circuits und Separierungen Relativierter Vermutungen über Unvollständigkeit in Promise-Klassen) (PDF / PS) |
|
2021 |
RDF |
|
18 | Olayinka Johnny, Marcello Trovati |
Big data inconsistencies and incompleteness: a literature review. |
Int. J. Grid Util. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Torza |
Quantum metaphysical indeterminacy and worldly incompleteness. |
Synth. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Gerardo Iovane, Patrizia Di Gironimo, Marta Chinnici, Antonio Rapuano |
Decision and Reasoning in Incompleteness or Uncertainty Conditions. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Saeed Salehi |
Gödel's second Incompleteness Theorem: How IT is derived and What IT Delivers. |
Bull. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Yong Cheng |
Finding the Limit of Incompleteness I. |
Bull. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Titus Dose |
An oracle separating conjectures about incompleteness in the finite domain. |
Theor. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Titus Dose |
Further oracles separating conjectures about incompleteness in the finite domain. |
Theor. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Junkang Li, Solene Thepaut, Véronique Ventos |
StarAI: Reducing incompleteness in the game of Bridge using PLP. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Mohammed Maree, Aseel B. Kmail, Mohammed Belkhatir |
Analysis & Shortcomings of E-Recruitment Systems: Towards a Semantics-based Approach Addressing Knowledge Incompleteness and Limited Domain Coverage. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Elijah Malaby, Bradley Dragun, John Licato |
Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Marie Destandau, Jean-Daniel Fekete |
The Missing Path: Diagnosing Incompleteness in Linked Data. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Andrei Popescu 0001, Dmitriy Traytel |
From Abstract to Concrete Gödel's Incompleteness Theorems - Part II. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
18 | Andrei Popescu 0001, Dmitriy Traytel |
An Abstract Formalization of Gödel's Incompleteness Theorems. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
18 | Andrei Popescu 0001, Dmitriy Traytel |
From Abstract to Concrete Gödel's Incompleteness Theorems - Part I. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
18 | Albert Visser |
Another Look at the second Incompleteness Theorem. |
Rev. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Walter Dean |
Incompleteness via Paradox and Completeness. |
Rev. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | David Senkýr, Petr Kroha |
Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification. |
ENASE |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jiayi Chen, Aidong Zhang |
HGMF: Heterogeneous Graph-based Fusion for Multimodal Data with Incompleteness. |
KDD |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke |
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers. |
WebSci |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Buche, Julien Cufi, Stéphane Dervaux, Juliette Dibie, Liliana Ibanescu, Alrick Oudot, Magalie Weber |
A New Alignment Method Based on FoodOn as Pivot Ontology to Manage Incompleteness in Nutritional Legacy Data Sources (short paper). |
ICBO/ODLS |
2020 |
DBLP BibTeX RDF |
|
18 | Dan E. Willard |
On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Varzinczak |
An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies. |
SACAIR |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Elijah Malaby, Bradley Dragun, John Licato |
Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems. |
FLAIRS |
2020 |
DBLP BibTeX RDF |
|
18 | Shi Zhi |
Learning from multiple heterogeneous sources - Handling source trustworthiness and incompleteness |
|
2020 |
RDF |
|
18 | Jaspreet Bhatia, Morgan C. Evans, Travis D. Breaux |
Identifying incompleteness in privacy policy goals using semantic frames. |
Requir. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Bevilacqua, Gianni Bosi, Massimiliano Kaucic, Magalì E. Zuanon |
Pareto Optimality on Compact Spaces in a Preference-Based Setting under Incompleteness. |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Konrad Kulakowski, Jacek Szybowski, Anna Prusak |
Towards quantification of incompleteness in the pairwise comparisons methods. |
Int. J. Approx. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Cristina Marino Buslje, Alexander Miguel Monzon, Diego Javier Zea, María Silvina Fornasari, Gustavo D. Parisi |
On the dynamical incompleteness of the Protein Data Bank. |
Briefings Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Piecha, Peter Schroeder-Heister |
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. |
Stud Logica |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Donadello, Luciano Serafini |
Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 |
Completeness and Incompleteness of Synchronous Kleene Algebra. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Feras A. Batarseh, Ajay Kulkarni |
Context-Driven Data Mining through Bias Removal and Data Incompleteness Mitigation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Erfan Khaniki |
New relations and separations of conjectures about incompleteness in the finite domain. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Sebastian Oberhoff |
Incompleteness Ex Machina. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Sebastian Oberhoff |
Incompleteness Ex Machina. |
Bull. EATCS |
2019 |
DBLP BibTeX RDF |
|
18 | Olivier Finkel |
Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words. |
Int. J. Found. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Mohammed Maree, Aseel B. Kmail, Mohammed Belkhatir |
Analysis and shortcomings of e-recruitment systems: Towards a semantics-based approach addressing knowledge incompleteness and limited domain coverage. |
J. Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | José Alberto Ruiz Cembranos, Jorge Gigante Valcarcel, Francisco J. Maldonado Torralba |
Non-Geodesic Incompleteness in Poincaré Gauge Gravity. |
Entropy |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Wesley H. Holliday, Tadeusz Litak |
Complete additivity and Modal Incompleteness. |
Rev. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda 0001 |
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Albert Visser |
From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. |
J. Log. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 |
Completeness and Incompleteness of Synchronous Kleene Algebra. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Feras Batarseh, Ajay Kulkarni |
Context-Driven Data Mining Through Bias Removal and Incompleteness Mitigation. |
EDML@SDM |
2019 |
DBLP BibTeX RDF |
|
18 | Thijs van Ommen, Wouter M. Koolen, Peter D. Grünwald |
Efficient Algorithms for Minimax Decisions Under Tree-Structured Incompleteness. |
ECSQARU |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Tina Eliassi-Rad, Rajmonda Sulo Caceres, Timothy LaRock |
Incompleteness in Networks: Biases, Skewed Results, and Some Solutions. |
KDD |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Andrei Popescu 0001, Dmitriy Traytel |
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
18 | David Senkýr, Petr Kroha |
Problem of Incompleteness in Textual Requirements Specification. |
ICSOFT |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Donadello, Luciano Serafini |
Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. |
IJCNN |
2019 |
DBLP DOI BibTeX RDF |
|