Search results for "Incompleteness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
138	Antonino Salibra	Topological incompleteness and order incompleteness of the lambda calculu.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models
92	Tadeusz Litak	Modal Incompleteness Revisited.	Stud Logica	2004	DBLP DOI BibTeX RDF	general frames, Kripke incompleteness, neighbourhood incompleteness, complete incompleteness, modal algebras
66	Vangalur S. Alagar, Sabine Bergler, Fangqing Dong (eds.)	Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1994	DBLP BibTeX RDF
66	Mohua Banerjee, Mihir K. Chakraborty	Logic of Rough Sets.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Fereidoon Sadri	Modeling Uncertainty in Object-Oriented Databases.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Laks V. S. Lakshmanan, Heather L. Johnstone	A Relational Data Model for Manipulating Probabilistic Knowledge.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Debby Keen, Arcot Rajasekar	Rough Sets and Data Dependencies.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Andrzej Skowron	Management of Uncertainty in AI: A Rough Set Approach.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Qi Yang 0011, Weining Zhang, Chengjie Luo, Clement T. Yu, Hiroshi Nakajima	Unnesting Fuzzy SQL Queries in Fuzzy Databases.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Nematollaah Shiri, Hasan M. Jamil	Uncertainty as a Function of Expertise.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Zdzislaw Pawlak	Knowledge and Uncertainty: A Rough Set Approach.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Mounia Lalmas, C. J. van Rijsbergen	Situation Theory and Dempster-Shafer's Theory of Evidence for Information Retrieval.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan	Completeness in Statechart Models for Reactive Systems.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	W. M. Jaworski, Rajjan Shinghal	Knowledge Recovery and Development.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Urszula Wybraniec-Skardowska	A Logical Explication of the Concepts of Incomplete and Uncertain Information.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Rokia Missaoui, Robert Godin, Ameur Boujenoui	Extracting Exact and Approximate Rules from Databases.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Ewa Orlowska	Reasoning with Incomplete Information: Rough Set Based Information Logics.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Laks V. S. Lakshmanan	Evolution of Intelligent Database Systems: A Personal Perspective.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Martin S. Feather	Software Aberrations - Origins and Treatments.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
66	Kasilingam Periyasamy	A Formal Approach to Software Reusability.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
58	Marzena Kryszkiewicz, Henryk Rybinski	Legitimate Approach to Association Rules under Incompleteness.	ISMIS	2000	DBLP DOI BibTeX RDF
52	Anarta Ghosh, Nicolai Petkov	Robustness of Shape Descriptors to Incomplete Contour Representations.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	COIL, depletion, distance multiset, Gollin, ICR test, object recognition, shape, occlusion, MPEG-7, psychophysics, Contour, deletion, incompleteness, shape context
48	Alasdair J. G. Gray, Werner Nutt, M. Howard Williams	Sources of Incompleteness in Grid Publishing.	BNCOD	2006	DBLP DOI BibTeX RDF
41	Guy De Tré, Rita M. M. De Caluwe, Henri Prade	Null values in fuzzy databases.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Unknown information, Inapplicable information, Extended possibilistic truth values, Fuzzy database modelling, Incomplete information, Null value
41	Liviu Badea, Monica Stanciu	Refinement Operators Can Be (Weakly) Perfect.	ILP	1999	DBLP DOI BibTeX RDF
39	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas	Merging Requirements Views with Incompleteness and Inconsistency.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	Requirements Specification, Merging, Viewpoints, Inconsistency, Incompleteness
38	Benny Kimelfeld, Yehoshua Sagiv	Combining Incompleteness and Ranking in Tree Queries.	ICDT	2007	DBLP DOI BibTeX RDF
38	Mehrdad Sabetzadeh, Steve M. Easterbrook	View merging in the presence of incompleteness and inconsistency.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	View-based development, View merging, Model management, Inconsistency management
38	Torkel Franzén	What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem?	CiE	2006	DBLP DOI BibTeX RDF
38	Cristian Calude	Algorithmic Randomness, Quantum Physics, and Incompleteness.	MCU	2004	DBLP DOI BibTeX RDF
38	Qiang Li 0026, Jianhua Li 0001, Xiang Li, Shenghong Li 0001	Evaluation Incompleteness of Knowledge in Data Mining.	AWCC	2004	DBLP DOI BibTeX RDF
38	Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli	A SystemC-based Framework for Properties Incompleteness Evaluation.	MTV	2003	DBLP DOI BibTeX RDF
38	Jennifer Widom, David Gries, Fred B. Schneider	Completeness and Incompleteness of Trace-Based Network Proof Systems.	POPL	1987	DBLP DOI BibTeX RDF
35	Varadraj Prabhu Gurupur, Muhammed Shelleh	Machine Learning Analysis for Data Incompleteness (MADI): Analyzing the Data Completeness of Patient Records Using a Random Variable Approach to Predict the Incompleteness of Electronic Health Records.	IEEE Access	2021	DBLP DOI BibTeX RDF
35	Paul J. Campbell	An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness".	Notre Dame J. Formal Log.	1977	DBLP DOI BibTeX RDF
32	Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng	Handling non-canonical software requirements based on Annotated Predicate Calculus.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness
32	Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan	Warnings for Disjoint Knowledge Omission in Ontologies.	ICIW	2007	DBLP DOI BibTeX RDF	Warnings Generation, incompleteness error warning, Evaluation Case study, Ontology Evaluation
32	Souâd Taouil-Traverson, Sylvie Vignes	Preliminary Analysis Cycle for B-Method Software Development.	EUROMICRO	1996	DBLP DOI BibTeX RDF	preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
32	Takahiko Horiuchi, Kazuo Toraichi, Kazuhiko Yamamoto, Hiromitsu Yamada	Relaxation optimizing processes in extended probabilistic space.	ICDAR	1995	DBLP DOI BibTeX RDF	relaxation optimizing processes, extended probabilistic space, probability theoretic model, relaxation matching method, Dempster-Shafer, pattern recognition, image processing, probability, image recognition, iterative methods, incompleteness
32	Howard B. Reubenstein, Richard C. Waters	The Requirements Apprentice: Automated Assistance for Requirements Acquisition.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	Requirements Apprentice, human analyst, coherent internal representation, disorganized imprecise statements, dependency-directed reasoning, formal specifications, formal specification, artificial intelligence, knowledge representation, software tools, knowledge acquisition, knowledge acquisition, ambiguity, software requirements, automated tool, incompleteness, contradiction, requirements acquisition, hybrid knowledge representations
31	Emmanuel Munguia Tapia, Tanzeem Choudhury, Matthai Philipose	Building Reliable Activity Models Using Hierarchical Shrinkage and Mined Ontology.	Pervasive	2006	DBLP DOI BibTeX RDF
31	Jeanette Auer, Richard Hall	Investigating ID3-Induced Rules from Low-Dimensional Data Cleaned by Complete Case Analysis.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
28	Philip Vos Fellman, Jonathan Vos Post, Christine Carmichael, Alexandru Manus, Dawna Lee Attig	Time, Incompleteness and Singularity in Quantum Cosmology.	Complex (1)	2009	DBLP DOI BibTeX RDF	Quantum Cosmology, Incomplete Geodesic, Cosmic Inflation, Time, Singularity
28	Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro	Inference of abduction theories for handling incompleteness in first-order learning.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Incomplete knowledge, Inductive Logic Programming, Abduction
28	Muhammad Abdul Qadir 0001, Muhammad Fahad 0011, Syed Adnan Hussain Shah	Incompleteness Errors in Ontology.	GrC	2007	DBLP DOI BibTeX RDF
28	Russell O'Connor	Essential Incompleteness of Arithmetic Verified by Coq.	TPHOLs	2005	DBLP DOI BibTeX RDF
28	Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto	On the Use of a High-Level Fault Model to Check Properties Incompleteness.	MEMOCODE	2003	DBLP DOI BibTeX RDF
28	Dan E. Willard	Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem.	TABLEAUX	2002	DBLP DOI BibTeX RDF
28	H. V. Jagadish	Incompleteness in Data Mining.	PAKDD	2001	DBLP DOI BibTeX RDF
28	Makoto Kikuchi	Kolmogorov complexity and the second incompleteness theorem.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
28	R. B. Abhyankar, R. L. Kashyap	Inter-relational information and incompleteness in relational databases (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
22	Jens H. Weber-Jahnke, Adeniyi Onabajo	Finding Defects in Natural Language Confidentiality Requirements.	RE	2009	DBLP DOI BibTeX RDF	goal-based models, annotations, requirements analysis, conflicts, exceptions, incompleteness, defaults
22	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	Composing requirements specifications from multiple prioritized sources.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness
22	Tetsuya Sakai, Noriko Kando	On information retrieval metrics designed for evaluation with incomplete relevance assessments.	Inf. Retr.	2008	DBLP DOI BibTeX RDF	Test collections, Evaluation metrics, Incompleteness, Relevance assessments
22	Carlos Ramos 0001, Juan Carlos Augusto, Daniel G. Shapiro	Ambient Intelligence - the Next Step for Artificial Intelligence.	IEEE Intell. Syst.	2008	DBLP DOI BibTeX RDF	incompleteness and uncertainty, data mining, neural networks, machine learning, human-computer interaction, computer vision, artificial intelligence, robots, knowledge representation, natural language processing, knowledge-based systems, multiagent systems, speech recognition, intelligent agents, planning, ambient intelligence
22	Yutaka Miyazaki	Kripke Incomplete Logics Containing KTB.	Stud Logica	2007	DBLP DOI BibTeX RDF	KTB, Kripke incompleteness
22	Grzegorz Protaziuk, Henryk Rybinski	Discovering Association Rules in Incomplete Transactional Databases.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	association rules, frequent itemsets, incompleteness, transactional data
22	Scott Brookhart, Todd Schultz, Paul Freedman, Art Sedighi	Bookshelf.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	discrete methods, strange loops, high-level patterns, first principles, Gödel's incompleteness theorem, Collaborative Innovation Network, coolhunting, early adopters, TR1, C++, probability, innovation, random process, philosophy, consciousness, continuous methods
22	Tadeusz Litak, Frank Wolter	All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.	Stud Logica	2005	DBLP DOI BibTeX RDF	frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic
22	Dmitrij P. Skvortsov	On the Predicate Logic of Linear Kripke Frames and some of its Extensions.	Stud Logica	2005	DBLP DOI BibTeX RDF	Intermediate predicate logics, Kripke sheaves, completeness and incompleteness, Kripke semantics
22	G. M. Germano, Stefano Mazzanti	Cantor Diagrams: A Unifying Discussion of Self-Reference.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Cantor diagonal method, Cantor diagrams, logical paradoxes, self-reference, incompleteness, Cartesian closed categories
22	Cezary Cieslinski	Löb's Theorem in a Set Theoretical Setting.	Stud Logica	2003	DBLP DOI BibTeX RDF	antinomy, Löb's theorem, incompleteness
22	Debabrata Dey, Sumit Sarkar	A Probabilistic Relational Model and Algebra.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	data incompleteness, probabilistic relation, probability calculus, relational algebra, relational model, data uncertainty
22	Adegbeniga Ola, Gultekin Özsoyoglu	Incomplete Relational Database Models Based on Intervals.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	unknown relations, partial tuple types, incompleteness relationships, relation level, attribute value level, Imielinski-Lipski sense, data structures, relational databases, database theory, query evaluation, relational database models
20	Shrihari Vasudevan, Fabio T. Ramos 0001, Eric Nettleton, Hugh F. Durrant-Whyte, Allan Blair	Gaussian Process modeling of large scale terrain.	ICRA	2009	DBLP DOI BibTeX RDF
20	Dominique Bouthinon, Henry Soldano, Véronique Ventos	Concept Learning from (Very) Ambiguous Examples.	MLDM	2009	DBLP DOI BibTeX RDF	Symbolic concept-learning, Ambiguity, Incomplete data
20	Torsten Schaub, Sven Thiele	Metabolic Network Expansion with Answer Set Programming.	ICLP	2009	DBLP DOI BibTeX RDF
20	Akinari Yamaguchi, Shougo Shimizu, Yasunori Ishihara, Toru Fujiwara	Bag-based data models for incomplete information and their closure properties.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Data model, Incomplete information, Bag, Closure property
20	Ben He, Craig Macdonald, Iadh Ounis	Retrieval sensitivity under training using different measures.	SIGIR	2008	DBLP DOI BibTeX RDF	binary preference, inferred average precision, mean average precision, normalised discounted cumulative gain, relevance judgements, evaluation, training, optimisation
20	Jerzy W. Grzymala-Busse, Witold J. Grzymala-Busse	Inducing Better Rule Sets by Adding Missing Attribute Values.	RSCTC	2008	DBLP DOI BibTeX RDF
20	Murat Yakici, Mark Baillie, Ian Ruthven, Fabio Crestani	Modelling epistemic uncertainty in ir evaluation.	SIGIR	2007	DBLP DOI BibTeX RDF	performance evaluation, metrics, uncertainty
20	Tetsuya Sakai	Alternatives to Bpref.	SIGIR	2007	DBLP DOI BibTeX RDF	test collection, evaluation metrics, graded relevance
20	John W. Dawson	Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science.	LICS	2006	DBLP DOI BibTeX RDF
20	Carlo Meghini, Yannis Tzitzikas, Nicolas Spyratos	Abduction for Extending Incomplete Information Sources.	SETN	2006	DBLP DOI BibTeX RDF
20	Manfred Kerber	Why Is the Lucas-Penrose Argument Invalid?.	KI	2005	DBLP DOI BibTeX RDF
20	Yasser Kotb, Takuya Katayama	Consistency checking of UML model diagrams using the XML semantics approach.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	XML, model checking, UML, attribute grammars, XMI
20	Mehrdad Sabetzadeh, Steve M. Easterbrook	iVuBlender: A Tool for Merging Incomplete and Inconsistent Views.	RE	2005	DBLP DOI BibTeX RDF
20	Renshen Wang, Sheqin Dong, Xianlong Hong	An improved P-admissible floorplan representation based on Corner Block List.	ASP-DAC	2005	DBLP DOI BibTeX RDF
20	Anarta Ghosh, Nicolai Petkov	Incomplete Contour Representations and Shape Descriptors: ICR Test Studies.	BVAI	2005	DBLP DOI BibTeX RDF
20	Mario Paolucci, Jordi Sabater, Rosaria Conte	"What if?" Dealing with uncertainity in Repage's mental landscape.	IAT	2005	DBLP DOI BibTeX RDF
20	Martine Ceberio, Hiroshi Hosobe, Ken Satoh	Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.	CLIMA	2005	DBLP DOI BibTeX RDF
20	Anarta Ghosh, Nicolai Petkov	GAP Test: A Cognitive Evaluation Procedure for Shape Descriptors.	HIS	2004	DBLP DOI BibTeX RDF
20	Carlo Sartiani	On the Correctness of Query Results in XML P2P Databases.	Peer-to-Peer Computing	2004	DBLP DOI BibTeX RDF
20	Oliver Ray, Krysia Broda, Alessandra Russo	Hybrid Abductive Inductive Learning: A Generalisation of Progol.	ILP	2003	DBLP DOI BibTeX RDF
20	Ken Satoh, Keiji Yamamoto	Speculative computation with multi-agent belief revision.	AAMAS	2002	DBLP DOI BibTeX RDF
20	Jeroen Voeten	On the fundamental limitations of transformational design.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	syntactic variance problem, formal methods, high-level synthesis, Completeness, transformational design
20	Paola Inverardi, Henry Muccini, Patrizio Pelliccione	Automated Check of Architectural Models Consistency Using SPIN.	ASE	2001	DBLP DOI BibTeX RDF
20	Patrick Cousot, Radhia Cousot	Temporal Abstract Interpretation.	POPL	2000	DBLP DOI BibTeX RDF
20	Claudia Diamantini, Maurizio Panti	A Conceptual Indexing Method for Content-Based Retrieval.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	partitioning criterion, answer precision and recall, information theory, semantic similarity
20	Maogang Wang, Prithviraj Banerjee, Majid Sarrafzadeh	Potential-NRG: Placement with Incomplete Data.	DAC	1998	DBLP DOI BibTeX RDF	congestion, global routing, quadratic placement, routing models, supply-demand, relaxed pins
20	Peter Idestam-Almquist	Generalization under Implication by using Or-Introduction.	ECML	1993	DBLP DOI BibTeX RDF
20	Tai-Kuo Woo	A Note on Lamport's Mutual Exclusion Algorithm.	ACM SIGOPS Oper. Syst. Rev.	1990	DBLP DOI BibTeX RDF
18	James Walsh 0007	An Incompleteness Theorem via Ordinal Analysis.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
18	Yousef AlShehri, Lakshmish Ramaswamy	An Energy-Efficient Ensemble Approach for Mitigating Data Incompleteness in IoT Applications.	CoRR	2024	DBLP DOI BibTeX RDF
18	Benny Kimelfeld, Phokion G. Kolaitis	A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases.	Commun. ACM	2024	DBLP DOI BibTeX RDF
18	Mark A. Chen, Shuting Sophia Hu, Joanna Wang, Qinxi Wu	Can Blockchain Technology Help Overcome Contractual Incompleteness? Evidence from State Laws.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
18	Jan Krajícek	A proof complexity conjecture and the Incompleteness theorem.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
18	Dusko Pavlovic, Temra Pavlovic	From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract).	CoRR	2023	DBLP DOI BibTeX RDF
18	Jan Krajícek	A proof complexity conjecture and the Incompleteness theorem.	CoRR	2023	DBLP DOI BibTeX RDF
18	Gilles Dowek	Teaching G{ö}del's incompleteness theorems.	CoRR	2023	DBLP DOI BibTeX RDF