Search results for "incompleteness"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Valentin Bouziat, Xavier Pucel, Stéphanie Roussel 0001, Louise Travé-Massuyès	Preference-Based Fault Estimation in Autonomous Robots: Incompleteness and Meta-Diagnosis.	AAMAS	2019	DBLP BibTeX RDF
18	Matthias Schirn	Finitist Consistency Proofs and the Impact of Gödel's Incompleteness Theorems on Hilbert?s Metamathematics.	FLAP	2018	DBLP BibTeX RDF
18	Konrad Kulakowski, Anna Prusak, Jacek Szybowski	Towards quantification of incompleteness in the pairwise comparisons method.	CoRR	2018	DBLP BibTeX RDF
18	Tianheng Tsui	A new viewpoint of the Gödel's incompleteness theorem and its applications.	CoRR	2018	DBLP BibTeX RDF
18	Wesley H. Holliday, Tadeusz Litak	Complete Additivity and Modal Incompleteness.	CoRR	2018	DBLP BibTeX RDF
18	Conden Chao, Payam Seraji	Gödel's second incompleteness theorem for Σ n -definable theories.	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
18	Hongbin Zhang, Pengcheng Ma, Meihua Wang	Detecting Inconsistency and Incompleteness in Access Control Policies.	ICCCS (2)	2018	DBLP DOI BibTeX RDF
18	Jaspreet Bhatia, Travis D. Breaux	Semantic Incompleteness in Privacy Policy Goals.	RE	2018	DBLP DOI BibTeX RDF
18	Viktoriya Giorgashvili, Maksim Bakaev	Methods for Eliminating Incompleteness of Data in Online Monitoring of Labor Market.	IMS (ISESCTF)	2018	DBLP DOI BibTeX RDF
18	Fabiano Dalpiaz, Ivor Van Der Schalk, Garm Lucassen	Pinpointing Ambiguity and Incompleteness in Requirements Engineering via Information Visualization and NLP.	REFSQ	2018	DBLP DOI BibTeX RDF
18	José Carlos R. Alcantud, Gustavo Santos-García	Decision Making Under Incompleteness Based on Soft Set Theory.	IPMU (2)	2018	DBLP DOI BibTeX RDF
18	Frederik Simon Bäumer, Michaela Geierhos	Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-Based Configuration of Text Analysis Pipelines.	HICSS	2018	DBLP BibTeX RDF
18	Yusaku Nishiwaki, Sho Itashiki, Nihan Karatas, Michio Okada	Cooperative Interactions Generated by Incompleteness in Robots' Utterance.	HAI	2018	DBLP DOI BibTeX RDF
18	Dexter Kozen, Konstantinos Mamouras, Alexandra Silva 0001	Completeness and incompleteness in nominal Kleene algebra.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
18	Riaz Ahmed Shaikh 0001, Kamel Adi, Luigi Logrippo	A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets.	Int. J. Inf. Sec.	2017	DBLP DOI BibTeX RDF
18	Lukas Skiba	Fictionalism and the incompleteness problem.	Synth.	2017	DBLP DOI BibTeX RDF
18	Stephen C. Anco	On the Incompleteness of Ibragimov's Conservation Law Theorem and Its Equivalence to a Standard Formula Using Symmetries and Adjoint-Symmetries.	Symmetry	2017	DBLP DOI BibTeX RDF
18	Pavel Pudlák	Incompleteness in the finite Domain.	Bull. Symb. Log.	2017	DBLP DOI BibTeX RDF
18	Makoto Kikuchi, Taishi Kurahashi	Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic.	Rev. Symb. Log.	2017	DBLP DOI BibTeX RDF
18	Mirja Hartimo	Husserl and Gödel's Incompleteness theorems.	Rev. Symb. Log.	2017	DBLP DOI BibTeX RDF
18	Saeed Salehi, Payam Seraji	Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
18	Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda	Maximal incompleteness as obfuscation potency.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
18	Per Lindström	Aspects of Incompleteness		2017	DOI RDF
18	Akanksha Mishra, Richa Sharma	Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements.	ENASE	2017	DBLP DOI BibTeX RDF
18	Olivier Finkel	Incompleteness Theorems, Large Cardinals, and Automata over Finite Words.	TAMC	2017	DBLP DOI BibTeX RDF
18	Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang	ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics.	MFCS	2017	DBLP DOI BibTeX RDF
18	Yoshihiro Maruyama	The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences.	PT-AI	2017	DBLP DOI BibTeX RDF
18	Gianfranco Minati	Knowledge to Manage the Knowledge Society: The Concept of Theoretical Incompleteness.	Syst.	2016	DBLP DOI BibTeX RDF
18	Makoto Kikuchi, Taishi Kurahashi	Liar-type Paradoxes and the Incompleteness Phenomena.	J. Philos. Log.	2016	DBLP DOI BibTeX RDF
18	Saeed Salehi, Payam Seraji	Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem.	CoRR	2016	DBLP BibTeX RDF
18	Claudio Menghi, Paola Spoletini, Carlo Ghezzi	Dealing with Incompleteness in Automata-Based Model Checking.	FM	2016	DBLP DOI BibTeX RDF
18	Jonas Eckhardt, Andreas Vogelsang, Henning Femmer, Philipp Mager	Challenging Incompleteness of Performance Requirements by Sentence Patterns.	RE	2016	DBLP DOI BibTeX RDF
18	Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris	Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.	ECAI	2016	DBLP DOI BibTeX RDF
18	Ofer Arieli, Arnon Avron	Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency.	FSCD	2016	DBLP DOI BibTeX RDF
18	Sucheta Soundarajan, Tina Eliassi-Rad, Brian Gallagher, Ali Pinar	MaxReach: Reducing network incompleteness through node probes.	ASONAM	2016	DBLP DOI BibTeX RDF
18	Cristian S. Calude, Declan Thompson	Incompleteness, Undecidability and Automated Proofs - (Invited Talk).	CASC	2016	DBLP DOI BibTeX RDF
18	Erhun Özkan, Jeffrey P. Kharoufeh	Incompleteness of results for the slow-server problem with an unreliable fast server.	Ann. Oper. Res.	2015	DBLP DOI BibTeX RDF
18	Takashi Kanamura	The role of incompleteness in commodity futures markets.	Frontiers Appl. Math. Stat.	2015	DBLP DOI BibTeX RDF
18	Enrico Gregori, Alessandro Improta, Luciano Lenzini, Lorenzo Rossi 0003, Luca Sani	A Novel Methodology to Address the Internet AS-Level Data Incompleteness.	IEEE/ACM Trans. Netw.	2015	DBLP DOI BibTeX RDF
18	Philip Kremer	The Incompleteness of S4 ⨁ S4 for the Product Space.	Stud Logica	2015	DBLP DOI BibTeX RDF
18	Saeed Salehi, Payam Seraji	Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories.	CoRR	2015	DBLP BibTeX RDF
18	Carroline Dewi Puspa Kencana Ramli	Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming.	CoRR	2015	DBLP BibTeX RDF
18	Saeed Salehi	Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally.	CoRR	2015	DBLP BibTeX RDF
18	Jason W. Steinmetz	An Intuitively Complete Analysis of Godel's Incompleteness.	CoRR	2015	DBLP BibTeX RDF
18	Lawrence C. Paulson	A Mechanised Proof of Gödel's Incompleteness Theorems Using Nominal Isabelle.	J. Autom. Reason.	2015	DBLP DOI BibTeX RDF
18	Dexter Kozen, Konstantinos Mamouras, Alexandra Silva 0001	Completeness and Incompleteness in Nominal Kleene Algebra.	RAMiCS	2015	DBLP DOI BibTeX RDF
18	Luciano Caroprese, Ester Zumpano	A Logic Based Approach for Managing Incompleteness and Inconsistencies in P2P Deductive Databases.	IDEAS	2015	DBLP DOI BibTeX RDF
18	Olivier Finkel	Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words.	ICALP (2)	2015	DBLP DOI BibTeX RDF
18	Pietro Baroni, Massimiliano Giacomin, Bei Shui Liao	I don't care, I don't know ... I know too much! On Incompleteness and Undecidedness in Abstract Argumentation.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015	DBLP DOI BibTeX RDF
18	Mario A. Bochicchio, Lucia Vaira	Using Binary Tables to Evaluate Incompleteness in Multidimensional Analysis.	SEBD	2015	DBLP BibTeX RDF
18	Mario A. Bochicchio, Lucia Vaira, Ettore Cicinelli, Antonella Vimercati	Dealing with incompleteness in multidimensional analysis of health records: An experience on fetal growth.	BIBM	2015	DBLP DOI BibTeX RDF
18	Mira Kajko-Mattsson	Tackling the incompleteness of software engineering education with the ESSENCE kernel.	ICSSP	2015	DBLP DOI BibTeX RDF
18	Mircea Dumitru	Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel's Incompleteness Theorems.	CiE	2015	DBLP DOI BibTeX RDF
18	Máté Szabó	Kalmár and Péter: Undecidability as a Consequence of Incompleteness.	CiE	2015	DBLP DOI BibTeX RDF
18	Kotaro Abe, Chang-Jun Ahn, Tatsuya Omori, Ken-ya Hashimoto	Spatial performance of color clustered VLC-MIMO due to incompleteness of color filters.	ISPACS	2015	DBLP DOI BibTeX RDF
18	Claudio Menghi	Dealing with incompleteness in automata based model checking.		2015	RDF
18	Nwagwu Honour Chika	Visualising Inconsistency and Incompleteness in RDF Gene Expression Data using FCA.	Int. J. Concept. Struct. Smart Appl.	2014	DBLP DOI BibTeX RDF
18	Bernd Buldt	The Scope of Gödel's First Incompleteness Theorem.	Logica Universalis	2014	DBLP DOI BibTeX RDF
18	Antti Valmari	Character Strings and Gödel's Incompleteness Proof.	AFL	2014	DBLP DOI BibTeX RDF
18	Marco Zaffalon, Enrique Miranda 0001	Conservative Inference Rule for Uncertain Reasoning under Incompleteness.	CoRR	2014	DBLP BibTeX RDF
18	Dan Gusfield	Gödel for Goldilocks: A Rigorous, Streamlined Proof of Gödel's First Incompleteness Theorem, Requiring Minimal Background.	CoRR	2014	DBLP BibTeX RDF
18	Lawrence C. Paulson	A Machine-Assisted Proof of Gödel's Incompleteness theorems for the Theory of Hereditarily Finite Sets.	Rev. Symb. Log.	2014	DBLP DOI BibTeX RDF
18	Stefan Poslad, Kraisak Kesorn	A Multi-Modal Incompleteness Ontology model (MMIO) to enhance information fusion for image retrieval.	Inf. Fusion	2014	DBLP DOI BibTeX RDF
18	Christina Christodoulakis, Christos Faloutsos, Renée J. Miller	VoidWiz: Resolving incompleteness using network effects.	ICDE	2014	DBLP DOI BibTeX RDF
18	Pasquale Minervini, Claudia d'Amato, Nicola Fanizzi, Floriana Esposito	Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness.	URSW (LNCS Vol.)	2014	DBLP DOI BibTeX RDF
18	Wancheng Yuan, Elena Demidova, Stefan Dietze, Xuan Zhou 0001	Analyzing Relative Incompleteness of Movie Descriptions in the Web of Data: A Case Study.	ISWC (Posters & Demos)	2014	DBLP BibTeX RDF
18	Luciano Caroprese, Ester Zumpano	Dealing with incompleteness and inconsistency in P2P deductive databases.	IDEAS	2014	DBLP DOI BibTeX RDF
18	Agnieszka Nowak-Brzezinska, Tomasz Jach	The Incompleteness Factor Method as a Support of Inference in Decision Support Systems.	BDAS	2014	DBLP DOI BibTeX RDF
18	Francisco Gimenez, Yirong Wu, Elizabeth S. Burnside, Daniel L. Rubin	A Novel Method to Assess Incompleteness of Mammography Report Content.	AMIA	2014	DBLP BibTeX RDF
18	Hannu Nurmi	Making Sense of Intransitivity, Incompleteness and Discontinuity of Preferences.	GDN	2014	DBLP DOI BibTeX RDF
18	Pritish Jetley	Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications		2014	RDF
18	Juliana Bueno-Soler	Multimodal Incompleteness Under Weak Negations.	Logica Universalis	2013	DBLP DOI BibTeX RDF
18	Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman	Uncertainty and Incompleteness	CoRR	2013	DBLP BibTeX RDF
18	Yijia Chen, Jörg Flum, Moritz Müller	Consistency, optimality, and incompleteness.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
18	Lawrence C. Paulson	Gödel's Incompleteness Theorems.	Arch. Formal Proofs	2013	DBLP BibTeX RDF
18	Francesco Berto	Wittgenstein on Incompleteness Makes Paraconsistent Sense.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
18	Richa Sharma, K. K. Biswas	Resolving Inconsistency and Incompleteness Issues in Software Requirements.	Managing Requirements Knowledge	2013	DBLP DOI BibTeX RDF
18	Kaiping Liu, Hee Beng Kuan Tan	Mining Attribute Lifecycle to Predict Faults and Incompleteness in Database Applications.	APSEC (1)	2013	DBLP DOI BibTeX RDF
18	Francesca Alessandra Lisi, Umberto Straccia	Dealing with Incompleteness and Vagueness in Inductive Logic Programming.	CILC	2013	DBLP BibTeX RDF
18	Stefan Scheglmann, Gerd Gröner, Steffen Staab, Ralf Lämmel	Incompleteness-aware programming with RDF data.	DDFP	2013	DBLP DOI BibTeX RDF
18	László Hunyadi	Incompleteness and fragmentation in spoken language syntax and its relation to prosody and gesturing: Cognitive processes vs. Possible formal cues.	CogInfoCom	2013	DBLP DOI BibTeX RDF
18	Yue Ma, Qingfeng Chang	Measuring Incompleteness under Multi-valued Semantics by Partial MaxSAT Solvers.	ECSQARU	2013	DBLP DOI BibTeX RDF
18	Dounas Theodoros	Some Notes on the Incompleteness Theorem and Shape Grammars.	CAAD Futures	2013	DBLP DOI BibTeX RDF
18	Francesca A. Lisi, Umberto Straccia	A FOIL-Like Method for Learning under Incompleteness and Vagueness.	ILP	2013	DBLP DOI BibTeX RDF
18	Peter Thanisch, Tapio Niemi, Jyrki Nummenmaa, Zheying Zhang, Marko Niinimäki, Pertti Saariluoma	Incompleteness in Conceptual Data Modelling.	ICIST	2013	DBLP DOI BibTeX RDF
18	John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson	Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox.	IJCAI	2013	DBLP BibTeX RDF
18	Patricia Rodriguez-Gianolli	Embracing Incompleteness in Schema Mappings.		2013	RDF
18	Espen Henriksen, Stephen Spear	Endogenous market incompleteness without market frictions: Dynamic suboptimality of competitive equilibrium in multiperiod overlapping generations economies.	J. Econ. Theory	2012	DBLP DOI BibTeX RDF
18	Hajnal Andréka, Judit X. Madarász, István Németi	Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories.	Parallel Process. Lett.	2012	DBLP DOI BibTeX RDF
18	Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai	On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.	Math. Log. Q.	2012	DBLP DOI BibTeX RDF
18	Albert Visser	The Second Incompleteness Theorem and Bounded Interpretations.	Stud Logica	2012	DBLP DOI BibTeX RDF
18	Saeed Salehi	Godel's Incompleteness Phenomenon - Computationally.	CoRR	2012	DBLP BibTeX RDF
18	Anthony Morphett	Incompleteness, Approximation and Relative Randomness.	Comput.	2012	DBLP DOI BibTeX RDF
18	Joaquín Sanz, Emanuele Cozzo, Javier Borge-Holthoefer, Yamir Moreno	Topological effects of data incompleteness of gene regulatory networks.	BMC Syst. Biol.	2012	DBLP DOI BibTeX RDF
18	Wilfried Sieg	In the Shadow of Incompleteness: Hilbert and Gentzen.	Epistemology versus Ontology	2012	DBLP DOI BibTeX RDF
18	Jacques Patarin	Some Transfinite Generalisations of Gödel's Incompleteness Theorem.	Computation, Physics and Beyond	2012	DBLP DOI BibTeX RDF
18	Christina Feilmayr	Tackling Incompleteness in Information Extraction - A Complementarity Approach.	ESWC	2012	DBLP DOI BibTeX RDF
18	Christina Feilmayr	Characterization and Resolution of Incompleteness in (World-Wide-Web) Information Extraction.	DEXA Workshops	2012	DBLP DOI BibTeX RDF
18	Hiroshi Sakai, Michinori Nakata, Dominik Slezak	Management of Information Incompleteness in Rough Non-deterministic Information Analysis.	IPMU (1)	2012	DBLP DOI BibTeX RDF
18	Vasile Patrascu	Bi-fuzziness, Incompleteness, Inconsistency, Truth and Falsity Based on Saturation and Ignorance Functions. A New Approach of Penta-Valued Knowledge Representation.	MAICS	2012	DBLP BibTeX RDF