Search results for "incompleteness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Olivier Bastonero, Xavier Gouy	Strong Stability and the Incompleteness of Stable Models for lambda-Calculus.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
18	Pavel Pudlák	A Note on Applicability of the Incompleteness Theorem to Human Mind.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
18	Chitta Baral, Vladik Kreinovich, Raul Trejo	Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness.	IJCAI	1999	DBLP BibTeX RDF
18	Eugene Santos Jr., Sheila B. Banks, Scott M. Brown, David J. Bawcom	Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases.	FLAIRS	1999	DBLP BibTeX RDF
18	Panu Raatikainen	Simplicity and Incompleteness.	Synth.	1998	DBLP DOI BibTeX RDF
18	Stewart Shapiro	Incompleteness, mechanism, and optimism.	Bull. Symb. Log.	1998	DBLP DOI BibTeX RDF
18	Richard Tieszen	G"odel's path from the incompleteness theorems (1931) to phenomenology (1961).	Bull. Symb. Log.	1998	DBLP DOI BibTeX RDF
18	Alexander Bochman	Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.	Notre Dame J. Formal Log.	1998	DBLP DOI BibTeX RDF
18	Panu Raatikainen	On Interpreting Chaitin's Incompleteness Theorem.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
18	Marcelo Tsuji, Newton C. A. da Costa, Francisco A. Doria	The Incompleteness of Theories of Games.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
18	Piero Pagliani	Intrinsic Co-Heyting Boundaries and Information Incompleteness in Rough Set Analysis.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
18	Kurt Ammon	An Automatic Proof of Gödel's Incompleteness Theorem.	Artif. Intell.	1997	DBLP DOI BibTeX RDF
18	Eiko Isoda, Kazuaki Nagaoka	Incompleteness Results in Kripke Bundle Semantics.	Math. Log. Q.	1997	DBLP DOI BibTeX RDF
18	Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh	Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
18	David Charles McCarty	Undecidability and intuitionistic incompleteness.	J. Philos. Log.	1996	DBLP DOI BibTeX RDF
18	Karl Schlechta	Completeness and Incompleteness for Plausibility Logic.	J. Log. Lang. Inf.	1996	DBLP DOI BibTeX RDF
18	Rose F. Gamble, Teresa M. Shaft	Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems.	Int. J. Softw. Eng. Knowl. Eng.	1996	DBLP DOI BibTeX RDF
18	Peter Selinger	Order-Incompleteness and Finite Lambda Models (Extended Abstract).	LICS	1996	DBLP DOI BibTeX RDF
18	Oliver Lemon, Ian Pratt 0002	On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.	Advances in Modal Logic	1996	DBLP BibTeX RDF
18	Lilia Chagrova	On the Degree of Neighborhood Incompleteness of Normal Modal Logics.	Advances in Modal Logic	1996	DBLP BibTeX RDF
18	Olivier Gasquet	A New Incompleteness Result in Kripke Semantics.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
18	Max J. Cresswell	Incompleteness and the Barcan formula.	J. Philos. Log.	1995	DBLP DOI BibTeX RDF
18	Newton C. A. da Costa, Francisco A. Doria	Undecidability, incompleteness and the Arnol'd problems.	Stud Logica	1995	DBLP DOI BibTeX RDF
18	Newton C. A. da Costa, Francisco A. Doria	Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications.	Complex.	1995	DBLP DOI BibTeX RDF
18	Marco Comini, Giorgio Levi, Giuliana Vitiello	Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.	AADEBUG	1995	DBLP BibTeX RDF
18	Matthias Baaz, Alexander Leitsch, Richard Zach	Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.	CSL	1995	DBLP DOI BibTeX RDF	temporal logic, many-valued logic, intermediate logic
18	Henryk Kotlarski	On the Incompleteness Theorems.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
18	Makoto Kikuchi	A Note on Boolos' Proof of the Incompleteness Theorem.	Math. Log. Q.	1994	DBLP DOI BibTeX RDF
18	Vladimir A. Uspensky	Gödel's Incompleteness Theorem.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
18	Timothy G. McCarthy	Self-reference and incompleteness in a non-monotonic setting.	J. Philos. Log.	1994	DBLP DOI BibTeX RDF
18	Sergio Galvan	A note an the omega-incompleteness formalization.	Stud Logica	1994	DBLP DOI BibTeX RDF
18	Cyrus F. Nourani	Types, Induction, and Incompleteness.	Bull. EATCS	1994	DBLP BibTeX RDF
18	Hajnal Andréka, Szabolcs Mikulás	Lambek Calculus and its relational semantics: Completeness and incompleteness.	J. Log. Lang. Inf.	1994	DBLP DOI BibTeX RDF
18	Masahiro Tabuchi, Yoichi Muraoka	Query processing that permits incompleteness of queries specifying a sequence of data in a motion picture database and the MeSOD model.	Syst. Comput. Jpn.	1994	DBLP DOI BibTeX RDF
18	Helmut Thöne	Precise conclusions under uncertainty and incompleteness in deductive database systems.		1994	RDF
18	Jan Treur	Heuristic reasoning and relative incompleteness.	Int. J. Approx. Reason.	1993	DBLP DOI BibTeX RDF
18	Kurt Ammon	An Automatic Proof of Gödel's Incompleteness Theorem.	Artif. Intell.	1993	DBLP DOI BibTeX RDF
18	Kung-Kiu Lau, Mario Ornaghi	An Incompleteness Result for Deductive Synthesis of Logic Programs.	ICLP	1993	DBLP BibTeX RDF
18	Jean-Paul Delahaye, Philippe Mathieu	An achievement by part method to solve the incompleteness of forward chaining.	JFPL	1993	DBLP BibTeX RDF
18	Marc Riese	Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty.	IJCAI	1993	DBLP BibTeX RDF
18	Dolph Ulrich	On the Incompleteness of a Descending Chain of Extensions of Implicational S5.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
18	Furio Honsell, Simona Ronchi Della Rocca	An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus.	J. Comput. Syst. Sci.	1992	DBLP DOI BibTeX RDF
18	Krister Segerberg	Action Incompleteness.	Stud Logica	1992	DBLP DOI BibTeX RDF
18	Stephan Merz	Decidability and incompleteness results for first-order temporal logics of linear time.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
18	Gregory J. Chaitin	Information-Theoretic Incompleteness		1992	DOI RDF
18	Solomon Feferman	Reflecting on Incompleteness.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
18	Silvio Ghilardi	Incompleteness Results in Kripke Semantics.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
18	David Charles McCarty	Incompleteness in Intuitionistic Metamathematics.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
18	Michael Detlefsen	On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem.	J. Philos. Log.	1990	DBLP DOI BibTeX RDF
18	Gregory J. Chaitin	Information, Randomness and Incompleteness - Papers on Algorithmic Information Theory; 2nd Edition		1990	DOI RDF
18	M. Howard Williams, Quinzheng Kong	Time and Incompleteness in a Deductive Database.	IPMU	1990	DBLP DOI BibTeX RDF
18	Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman	Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning.	UAI	1989	DBLP BibTeX RDF
18	Alexei L. Semenov	A simple detailed proof for Goedel's incompleteness theorem.	Kybernetika	1988	DBLP BibTeX RDF
18	Andrzej Szalas	An Incompleteness Result in Process Algebra.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
18	Francis Jeffry Pelletier, W. David Sharp	On proving functional incompleteness in symbolic logic classes.	Notre Dame J. Formal Log.	1988	DBLP DOI BibTeX RDF
18	Andrzej Szalas, Leszek Holenderski	Incompleteness of First-Order Temporal Logic with Until.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
18	Art Quaife	Automated Proofs of Löb's Theorem and Gödel's Two Incompleteness Theorems.	J. Autom. Reason.	1988	DBLP DOI BibTeX RDF
18	Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo	Some General Incompleteness Results for Partial Correctness Logics	Inf. Comput.	1988	DBLP DOI BibTeX RDF
18	Rik Maes, J. E. M. van Dijk	On the Role of Ambiguity and Incompleteness in the Design of Decision Tables and Rule-Based Systems.	Comput. J.	1988	DBLP DOI BibTeX RDF
18	Sangchul Kim	Checking a Rule Base with Certainty Factor for Incompleteness and Inconsistency.	IPMU	1988	DBLP DOI BibTeX RDF
18	Akihiro Kanamori, Kenneth McAloon	On Gödel incompleteness and finite combinatorics.	Ann. Pure Appl. Log.	1987	DBLP DOI BibTeX RDF
18	William N. Reinhardt	Epistemic theories and the interpretation of Gödel's incompleteness theorems.	J. Philos. Log.	1986	DBLP DOI BibTeX RDF
18	Giuseppe Scollo	On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types.	ADT	1986	DBLP BibTeX RDF
18	Van Nguyen	The Incompleteness of Misra and Chandy's Proof Systems.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
18	Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel	BACK to Consistency and Incompleteness.	GWAI	1985	DBLP DOI BibTeX RDF
18	Solomon Passy, Tinko Tinchev	Quantifiers in combinatory PDL: completeness, definability, incompleteness.	FCT	1985	DBLP DOI BibTeX RDF
18	Michal Grabowski	On the Relative Incompleteness of Logics for Total Correctness.	Logic of Programs	1985	DBLP DOI BibTeX RDF
18	Michael J. White	The necessity of the past and modal-tense logic incompleteness.	Notre Dame J. Formal Log.	1984	DBLP DOI BibTeX RDF
18	Makoto Nagao, Toyoaki Nishida, Jun'ichi Tsujii	Dealing With Incompleteness Of Linguistic Knowledge In Language Translation - Transfer And Generation Stage Of MU Machine Translation Project.	COLING	1984	DBLP BibTeX RDF
18	Daniel E. Cohen	Modular machines, undecidability and incompleteness.	Logic and Machines	1983	DBLP DOI BibTeX RDF
18	Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn	Another Incompleteness Result for Hoare's Logic	Inf. Control.	1982	DBLP DOI BibTeX RDF
18	Tetsuo Moriya	An Incompleteness Theorem for One-Dimensional Binary Cellular Acceptors	Inf. Control.	1981	DBLP DOI BibTeX RDF
18	Hector J. Levesque	Incompleteness in Knowledge Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
18	Tamás Gergely, Miklós Szöts	On the incompleteness of proving partial correctness.	Acta Cybern.	1978	DBLP BibTeX RDF
18	William Ryan	Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.	Math. Log. Q.	1978	DBLP DOI BibTeX RDF
18	Donald Nute	An incompleteness theorem for conditional logic.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
18	Mitchell Wand	A New Incompleteness Result for Hoare's System.	J. ACM	1978	DBLP DOI BibTeX RDF
18	A. Bezboruah, John C. Shepherdson	Godel's Second Incompleteness Theorem for Q.	J. Symb. Log.	1976	DBLP DOI BibTeX RDF
18	Robert L. Armstrong	A question about incompleteness.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
18	Mitchell Wand	A New Incompleteness Result for Hoare's System	STOC	1976	DBLP DOI BibTeX RDF
18	Edmund M. Clarke	Completeness and Incompleteness Theorems for Hoare-like Axiom Systems.		1976	RDF
18	Robert G. Jeroslow	Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem.	J. Symb. Log.	1973	DBLP DOI BibTeX RDF
18	Giorgio Germano	Incompleteness theorem via weak definability of truth: a short proof.	Notre Dame J. Formal Log.	1973	DBLP DOI BibTeX RDF
18	John Gregory	Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
18	Erik Ellentuck	Incompleteness via simple sets.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
18	A. Trew	Incompleteness of a logic of Routley's.	Notre Dame J. Formal Log.	1968	DBLP DOI BibTeX RDF
18	E. J. Lemmon	A note on Halldén-incompleteness.	Notre Dame J. Formal Log.	1966	DBLP DOI BibTeX RDF
18	Solomon Feferman, C. Spector	Incompleteness Along Paths in Progressions of Theories.	J. Symb. Log.	1962	DBLP DOI BibTeX RDF
18	Frank B. Cannonito	The Gödel incompleteness theorem and intelligent machines.	AFIPS Spring Joint Computing Conference	1962	DBLP DOI BibTeX RDF
10	Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni	An experience in using a tool for evaluating a large set of natural language requirements.	SAC	2010	DBLP DOI BibTeX RDF	natural language automated analysis, natural language processing, requirements analysis
10	Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz	Inductive reasoning and semantic web search.	SAC	2010	DBLP DOI BibTeX RDF	semantic web search, ontologies, semantic web, description logics, semantic search, conjunctive queries, inductive reasoning
10	Gur Harary, Ayellet Tal	3D Euler spirals for 3D curve completion.	SCG	2010	DBLP DOI BibTeX RDF	euler spirals, 3D curves
10	Kaisa Väänänen-Vainio-Mattila, Minna Wäljas, Jarno Ojala, Katarina Segerståhl	Identifying drivers and hindrances of social user experience in web services.	CHI	2010	DBLP DOI BibTeX RDF	web services, user experience (ux), social activity
10	Lanbo Zhang, Yi Zhang 0001	Interactive retrieval based on faceted feedback.	SIGIR	2010	DBLP DOI BibTeX RDF	faceted feedback, metadata-based retrieval, relevance feedback, interactive retrieval
10	Sjur Didrik Flåm	Pooling, pricing and trading of risks.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Transferable utility, Mutual insurance, Contingent prices, Bilateral exchange, Supergradients, Risks, Core, Stochastic approximation, Cooperative game
10	Paola Salvati, Vinicio Balducci, Cinzia Bianchi, Fausto Guzzetti, Gabriele Tonelli	A WebGIS for the dissemination of information on historical landslides and floods in Umbria, Italy.	GeoInformatica	2009	DBLP DOI BibTeX RDF	Historical Catalogue, Umbria, Flood, WebGIS, Hazard, Landslide
10	Garrett Wolf, Aravind Kalavagattu, Hemal Khatri, Raju Balakrishnan, Bhaumik Chokshi, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati	Query processing over incomplete autonomous databases: query rewriting using learned data dependencies.	VLDB J.	2009	DBLP DOI BibTeX RDF	Incomplete databases, Uncertainty, Query rewriting
10	Mark Greaves	The Growing Semantic Web.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
10	Zhaonian Zou, Jianzhong Li 0001, Hong Gao 0001, Shuo Zhang	Frequent subgraph pattern mining on uncertain graph data.	CIKM	2009	DBLP DOI BibTeX RDF	expected support, subgraph pattern, uncertain graph
10	Frank Emmert-Streib, Matthias Dehmer	Towards a Partitioning of the Input Space of Boolean Networks: Variable Selection Using Bagging.	Complex (1)	2009	DBLP DOI BibTeX RDF	Bootstrap aggregation, Mutual Information, Causality, Boolean networks