Search results for "incompleteness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Enrico Gregori, Alessandro Improta, Luciano Lenzini, Lorenzo Rossi 0003, Luca Sani	On the incompleteness of the AS-level graph: a novel methodology for BGP route collector placement.	Internet Measurement Conference	2012	DBLP DOI BibTeX RDF
18	Alberto Calzada, Jun Liu 0001, Hui Wang 0001, Anil Kashyap	Uncertainty and incompleteness analysis using the rimer approach for urban regeneration processes: The case of the greater belfast region.	ICMLC	2012	DBLP DOI BibTeX RDF
18	Dean Corbae, Ramon Marimon	Introduction to Incompleteness and Uncertainty in Economics.	J. Econ. Theory	2011	DBLP DOI BibTeX RDF
18	Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh	Incompleteness and incomparability in preference aggregation: Complexity results.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
18	Klaus Sutner	Computational processes, observers and Turing incompleteness.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Troy Day	Computability, Gödel's Incompleteness Theorem, and an inherent limit on the predictability of evolution	CoRR	2011	DBLP BibTeX RDF
18	Joseph W. Norman	Resolving Gödel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic	CoRR	2011	DBLP BibTeX RDF
18	Lily R. Liang, Carl G. Looney, Vinay Mandal	Fuzzy-inferenced decisionmaking under uncertainty and incompleteness.	Appl. Soft Comput.	2011	DBLP DOI BibTeX RDF
18	Albert Visser	Can We Make the Second Incompleteness Theorem Coordinate Free?	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
18	Zhonggang Liu	The Impact of Display Incompleteness on Customers' Choice.	ICEIS (3)	2011	DBLP BibTeX RDF
18	Dirk Krueger, Hanno Lustig	When is market incompleteness irrelevant for the price of aggregate risk (and when is it not)?	J. Econ. Theory	2010	DBLP DOI BibTeX RDF
18	James W. Garson	Expressive Power and Incompleteness of Propositional Logics.	J. Philos. Log.	2010	DBLP DOI BibTeX RDF
18	Shira Kritchman, Ran Raz	The Surprise Examination Paradox and the Second Incompleteness Theorem	CoRR	2010	DBLP BibTeX RDF
18	Florian Herold	Contractual incompleteness as a signal of trust.	Games Econ. Behav.	2010	DBLP DOI BibTeX RDF
18	Andrzej Wisniewski, Jerzy Pogonowski	Interrogatives, Recursion, and Incompleteness.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
18	Eerke A. Boiten, John Derrick	Incompleteness of relational simulations in the blocking paradigm.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
18	Jerzy W. Grzymala-Busse, Witold J. Grzymala-Busse	Increasing Incompleteness of Data Sets - A Strategy for Inducing Better Rule Sets.	Advances in Machine Learning I	2010	DBLP DOI BibTeX RDF
18	Jerzy W. Grzymala-Busse, Shantan R. Marepally	Sensitivity and Specificity for Mining Data with Increased Incompleteness.	ICAISC (1)	2010	DBLP DOI BibTeX RDF
18	Riaz Ahmed Shaikh 0001, Kamel Adi, Luigi Logrippo, Serge Mankovski	Detecting incompleteness in access control policies using data classification schemes.	ICDIM	2010	DBLP DOI BibTeX RDF
18	Konstantina Georgieva	The Incompleteness of the Risk Assessment Methods.	Softwaretechnik-Trends	2009	DBLP BibTeX RDF
18	U. A. Vinaya Kumar	An Indian solution to 'incompleteness'.	AI Soc.	2009	DBLP DOI BibTeX RDF
18	Marco Zaffalon, Enrique Miranda 0001	Conservative Inference Rule for Uncertain Reasoning under Incompleteness.	J. Artif. Intell. Res.	2009	DBLP DOI BibTeX RDF
18	Juliana Bueno-Soler	Completeness and incompleteness for anodic modal logics.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
18	Andreas Weiermann	Phase transitions for Gödel incompleteness.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
18	Michael Mandler	Indifference and incompleteness distinguished by rational trade.	Games Econ. Behav.	2009	DBLP DOI BibTeX RDF
18	Dan E. Willard	Some specially formulated axiomizations for ISigma0 manage to evade the Herbrandized version of the Second Incompleteness Theorem.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
18	Alfredo Cuzzocrea, Andrea Nucita	Reasoning on Incompleteness of Spatial Information for Effectively and Efficiently Answering Range Queries over Incomplete Spatial Databases.	FQAS	2009	DBLP DOI BibTeX RDF
18	Sungho Choi	The incompleteness of dispositional predicates.	Synth.	2008	DBLP DOI BibTeX RDF
18	Charles McCarty	Completeness and incompleteness for intuitionistic logic.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
18	Robert F. Hadley	Consistency, Turing Computability and Gödel's First Incompleteness Theorem.	Minds Mach.	2008	DBLP DOI BibTeX RDF
18	Biswarup Basak, Sukanya Parui	Incompleteness of bifurcation diagram in predicting the behaviour of Ćuk converter in discontinuous conduction mode.	Int. J. Circuit Theory Appl.	2008	DBLP DOI BibTeX RDF
18	Klaus Sutner	Computational Processes and Incompleteness	CSP	2008	DBLP BibTeX RDF
18	Evgeny Kharlamov, Werner Nutt	Incompleteness in information integration. (PDF / PS)	Proc. VLDB Endow.	2008	DBLP DOI BibTeX RDF
18	Xiangdong Yang	Incompleteness of exponential system in the weighted Banach space.	J. Approx. Theory	2008	DBLP DOI BibTeX RDF
18	Rohit Ghosh	Incompleteness of the Giulietti-Ughi arc for large primes.	Discret. Math.	2008	DBLP DOI BibTeX RDF
18	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.	Inf. Softw. Technol.	2008	DBLP DOI BibTeX RDF
18	R. Srikanth 0001, Srikanth Hebri	Gödel incompleteness and the black hole information paradox.	Quantum Inf. Process.	2008	DBLP DOI BibTeX RDF
18	Grégory Lafitte	Goedel incompleteness revisited.	JAC	2008	DBLP BibTeX RDF
18	Cristian Calude	Incompleteness: A Personal Perspective.	DCFS	2008	DBLP BibTeX RDF
18	Jerzy W. Grzymala-Busse, Witold J. Grzymala-Busse	Improving Quality of Rule Sets by Increasing Incompleteness of Data Sets - A Rough Set Approach.	ICSOFT (PL/DPS/KE)	2008	DBLP BibTeX RDF
18	Jerzy W. Grzymala-Busse, Witold J. Grzymala-Busse	Increasing Data Set Incompleteness May Improve Rule Set Quality.	ICSOFT (Selected Papers)	2008	DBLP DOI BibTeX RDF
18	Lorenzo Bettini, Viviana Bono, Betti Venneri	Object Incompleteness and Dynamic Composition in Java-Like Languages.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
18	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan	Ontological Errors - Inconsistency, Incompleteness and Redundancy.	ICEIS (3-2)	2008	DBLP BibTeX RDF
18	John L. Bell	Incompleteness in a General Setting.	Bull. Symb. Log.	2007	DBLP DOI BibTeX RDF
18	Andrea Fedeli, Franco Fummi, Graziano Pravadelli	Properties Incompleteness Evaluation by Functional Verification.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	property coverage, Model checking, fault models, functional verification
18	Lloyd Humberstone	Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness.	J. Philos. Log.	2007	DBLP DOI BibTeX RDF
18	Garrett Wolf, Hemal Khatri, Yi Chen 0001, Subbarao Kambhampati	QUIC: A System for Handling Imprecision & Incompleteness in Autonomous Databases (Demo).	CIDR	2007	DBLP BibTeX RDF
18	Anna Pankowska	Dealing with Incompleteness of Preferences in Group Decision Making Problems.	EUSFLAT Conf. (2)	2007	DBLP BibTeX RDF
18	Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh	Incompleteness and Incomparability in Preference Aggregation.	IJCAI	2007	DBLP BibTeX RDF
18	Federico Marulanda Rey	Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness.	LA-NMR	2007	DBLP BibTeX RDF
18	Dan E. Willard	The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem.	WoLLIC	2006	DBLP DOI BibTeX RDF
18	Dan E. Willard	A generalization of the Second Incompleteness Theorem and some exceptions to it.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
18	Roberto Giacobazzi, Francesco Ranzato	Incompleteness of states w.r.t. traces in model checking.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
18	Tsz-Chiu Au, Dana S. Nau	The Incompleteness of Planning with Volatile External Information.	ECAI	2006	DBLP BibTeX RDF
18	Valentin B. Shehtman	Completeness and incompleteness in first-order modal logic: an overview.	Advances in Modal Logic	2006	DBLP BibTeX RDF
18	Cristian S. Calude, Helmut Jürgensen	Is complexity a source of incompleteness?	Adv. Appl. Math.	2005	DBLP DOI BibTeX RDF
18	Russell O'Connor	Essential Incompleteness of Arithmetic Verified by Coq	CoRR	2005	DBLP BibTeX RDF
18	Pablo Sáez	Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.	MICAI	2005	DBLP DOI BibTeX RDF
18	Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot	Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.	FORTE	2005	DBLP DOI BibTeX RDF	Internet Protocols, Coloured Petri Nets, State space methods, DCCP
18	Amartya Sen	Incompleteness and Reasoned Choice.	Synth.	2004	DBLP DOI BibTeX RDF
18	Dimitar P. Guelev	Sharpening the Incompleteness of the Duration Calculus.	ARTS	2004	DBLP DOI BibTeX RDF
18	Carl Mummert, Stephen G. Simpson	An incompleteness theorem for gamman-models.	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
18	Roberto Giacobazzi, Francesco Ranzato	Incompleteness of States w.r.t. Traces in Model Checking	CoRR	2004	DBLP BibTeX RDF
18	Henryk Kotlarski	The incompleteness theorems after 70 years.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
18	Dennis Hofheinz, Jörn Müller-Quade	A Synchronous Model for Multi-Party Computation and the Incompleteness of Oblivious Transfer.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
18	Domenico Lembo	Dealing with inconsistency and incompleteness in data integration.		2004	RDF
18	Noson S. Yanofsky	A universal approach to self-referential paradoxes, incompleteness and fixed points.	Bull. Symb. Log.	2003	DBLP DOI BibTeX RDF
18	Katsumasa Ishii	A note on the first incompleteness theorem.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
18	Peter Selinger	Order-incompleteness and finite lambda reduction models.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
18	Guantie Deng	Incompleteness and closure of a linear span of exponential system in a weighted Banach space.	J. Approx. Theory	2003	DBLP DOI BibTeX RDF
18	Damjan Bojadziev	A Note on Interaction and Incompleteness.	Log. J. IGPL	2003	DBLP DOI BibTeX RDF
18	An Ngo-The, Günther Ruhe	Requirements Negotiation under Incompleteness and Uncertainty.	SEKE	2003	DBLP BibTeX RDF
18	Carlo Zaniolo, Chang Luo, Y. Law, Haixun Wang	Incompleteness of Database Languages for Data Streams and Data Mining: the Problem and the Cure.	SEBD	2003	DBLP BibTeX RDF
18	David Toman 0001	On Incompleteness of Multi-dimensional First-order Temporal Logics.	TIME	2003	DBLP DOI BibTeX RDF
18	Dan E. Willard	How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
18	Russell Miller 0001	Definable Incompleteness and Friedberg Splittings.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
18	Cezary Cieliski	Heterologicality and Incompleteness.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
18	Lorenzo Sacchetti	Incompleteness and Fixed Points.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
18	Cristian Calude	Chaitin Omega numbers, Solovay machines, and Gödel incompleteness.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
18	Cristian S. Calude	Incompleteness, Complexity, Randomness and Beyond.	Minds Mach.	2002	DBLP DOI BibTeX RDF
18	Kei Fukuyama	Effects of information incompleteness on provision of local public services by competitive local governments.	SMC (2)	2002	DBLP DOI BibTeX RDF
18	Dmitrij P. Skvortsov	An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.	Advances in Modal Logic	2002	DBLP BibTeX RDF
18	Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Source inconsistency and incompleteness in data integration.	KRDB	2002	DBLP BibTeX RDF
18	Maurizio Lenzerini	Incompleteness and inconsistency in information integration.	KRDB	2002	DBLP BibTeX RDF
18	Maurizio Lenzerini	Incompleteness and inconsistency in information integration.	Description Logics	2002	DBLP BibTeX RDF
18	Antonino Salibra	Towards Lambda Calculus Order-Incompleteness.	BOTH	2001	DBLP DOI BibTeX RDF
18	Dan E. Willard	Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
18	Zofia Adamowicz, Teresa Bigorajska	Existentially Closed Structures and Gödel's Second Incompleteness Theorem.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
18	Fabio Mercurio	Claim pricing and hedging under market incompleteness and "mean-variance" preferences.	Eur. J. Oper. Res.	2001	DBLP DOI BibTeX RDF
18	Roberto Giacobazzi, Elisa Quintarelli	Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.	SAS	2001	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
18	Samuel R. Buss, Grigore Rosu	Incompleteness of Behavioral Logics.	CMCS	2000	DBLP DOI BibTeX RDF
18	Salvatore Caporaso, Giovanni Pani, Emanuele Covino	Incompleteness in Linear Time.	J. Univers. Comput. Sci.	2000	DBLP DOI BibTeX RDF
18	Chitta Baral, Vladik Kreinovich, Raul Trejo	Computational complexity of planning and approximate planning in the presence of incompleteness.	Artif. Intell.	2000	DBLP DOI BibTeX RDF
18	Edwin D. Mares	The Incompleteness of RGL.	Stud Logica	2000	DBLP DOI BibTeX RDF
18	Tatsuya Shimura	Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.	Stud Logica	2000	DBLP DOI BibTeX RDF
18	Nadine Bellamy, Monique Jeanblanc	Incompleteness of markets driven by a mixed diffusion.	Finance Stochastics	2000	DBLP DOI BibTeX RDF
18	Dan E. Willard	The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q.	TABLEAUX	2000	DBLP DOI BibTeX RDF
18	Juris Hartmanis	Undecidability and Incompleteness Results in Automata Theory.	A Half-Century of Automata Theory	2000	DBLP BibTeX RDF
18	H. V. Jagadish, Raymond T. Ng	Incompleteness in Data Mining.	ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery	2000	DBLP BibTeX RDF
18	Francesc Tomàs	An Open Formalism against Incompleteness.	Notre Dame J. Formal Log.	1999	DBLP DOI BibTeX RDF