Search results for "Refutation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	K. Subramani 0001	Optimal Length Resolution Refutations of Difference Constraint Systems.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Difference constraint systems, Resolution refutation, Optimal length, Minimum unsatisfiable subset, Fourier-Motzkin elimination
63	Ahti-Veikko Pietarinen	What Your Computer Still Can't Know: A Refutation of Bringsjord's Refutation of Searle's Refutation of Bostrom and Floridi.	Robophilosophy/TRANSOR	2016	DBLP DOI BibTeX RDF
62	Jakob Nordström	Narrow proofs may be spacious: separating space and width in resolution.	STOC	2006	DBLP DOI BibTeX RDF	pebbling contradiction, lower bound, resolution, space, separation, proof complexity, width, pebble game
62	Norbert Eisinger	What You Always Wanted to Know About Clause Graph Resolution.	CADE	1986	DBLP DOI BibTeX RDF	Clause Graphs, Completeness, Strategies, Resolution, Confluence, Connection Graphs
58	Olivier Delande, Dale Miller 0001	A Neutral Approach to Proof and Refutation in MALL.	LICS	2008	DBLP DOI BibTeX RDF	neutral approach, linear logic, game semantics
58	K. Subramani 0001	On Determining the Minimum Length, Tree-Like Resolution Refutation of 2SAT, and Extended 2SAT Formulas.	ASIAN	2002	DBLP DOI BibTeX RDF
58	François Bry, Sunna Torge 0001	A Deduction Method Complete for Refutation and Finite Satisfiability.	JELIA	1998	DBLP DOI BibTeX RDF
50	Wei Li 0022	An Inductive Inference System and Its Rationality.	AISC	2006	DBLP DOI BibTeX RDF	inference, induction, Belief, rationality, refutation
50	Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi	Homogenization and the polynomial calculus.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68Q17
50	Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi	Homogenization and the Polynominal Calculus.	ICALP	2000	DBLP DOI BibTeX RDF
50	Lawrence J. Henschen, Larry Wos	Unit Refutations and Horn Sets.	J. ACM	1974	DBLP DOI BibTeX RDF
46	Arie Gurfinkel, Ou Wei, Marsha Chechik	Yasm: A Software Model-Checker for Verification and Refutation.	CAV	2006	DBLP DOI BibTeX RDF
46	ShengYu Shen, Ying Qin, Sikun Li	A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.	DATE	2005	DBLP DOI BibTeX RDF
46	ShengYu Shen, Ying Qin, Sikun Li	A fast counterexample minimization approach with refutation analysis and incremental SAT.	ASP-DAC	2005	DBLP DOI BibTeX RDF
46	In-Hee Lee, Ji-Yoon Park, Young-Gyu Chai, Byoung-Tak Zhang	RCA-Based Detection Methods for Resolution Refutation.	DNA	2003	DBLP DOI BibTeX RDF
46	Farn Wang, Aloysius K. Mok	RTL and Refutation by Positive Cycles.	FME	1994	DBLP DOI BibTeX RDF
42	Wanlian Li, Xing Chen	Differential Trust and Hierarchical Regulation: A Study of the Effectiveness of Rumor Refutation on Government Micro-Blogs - Analysis Based on 1290 Rumor Refutation Messages.	Complex.	2022	DBLP DOI BibTeX RDF
42	Vincent Picard	Réseaux de réactions : de l'analyse probabiliste à la réfutation . (Reaction networks : from probabilistic analysis to refutation).		2015	RDF
38	Jianmin Zhang, ShengYu Shen, Sikun Li	Finding Unsatisfiable Subformulas with Stochastic Method.	IDEAL	2007	DBLP DOI BibTeX RDF	Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method
38	Arnold Beckmann	Resolution Refutations and Propositional Proofs with Height-Restrictions.	CSL	2002	DBLP DOI BibTeX RDF	Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
38	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
37	Gianpiero Cabodi, Paolo Camurati, Marco Murciano	Automated abstraction by incremental refinement in interpolant-based model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
37	Joshua Buresh-Oppenheim, David G. Mitchell	Minimum Witnesses for Unsatisfiable 2CNFs.	SAT	2006	DBLP DOI BibTeX RDF
37	Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi	Constraint Propagation as a Proof System.	CP	2004	DBLP DOI BibTeX RDF
37	Juan Luis Esteban, Jacobo Torán	Space Bounds for Resolution.	STACS	1999	DBLP DOI BibTeX RDF
37	Jeffrey Van Baalen, Steve Roach	Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.	LOPSTR	1998	DBLP DOI BibTeX RDF
37	Peter B. Andrews	Transforming Matings into Natural Deduction Proofs.	CADE	1980	DBLP DOI BibTeX RDF
33	Chavalit Likitvivatanavong, Roland H. C. Yap	A Refutation Approach to Neighborhood Interchangeability in CSPs.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
33	Amin Coja-Oghlan, Andreas Goerdt, André Lanka	Strong Refutation Heuristics for Random k-SAT.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
33	In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, Young-Gyu Chai, Byoung-Tak Zhang	DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic.	DNA	2002	DBLP DOI BibTeX RDF
33	Sanjay Jain 0001	Learning with Refutation.	ALT	1998	DBLP DOI BibTeX RDF
33	Hans-Albert Schneider	An Improvement of Deduction Plans: Refutation Plans.	CADE	1986	DBLP DOI BibTeX RDF
26	Fumiaki Okushi, Allen Van Gelder	Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	Modoc, lemmas, satisfiability, resolution, refutation, Model Elimination
26	Xubo Zhang, Z. Meral Özsoyoglu	Implication and Referential Constraints: A New Formal Reasoning.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation
26	John Esch, Robert Levinson	Propagating Truth and Detecting Contradiction in Conceptual Graph Database.	ICCS	1996	DBLP DOI BibTeX RDF	Generalization Hierarchy, Proof Procedure, Logic, Resolution, Conceptual Graphs, Contradiction, Refutation
26	Peter B. Andrews	Refutations by Matings.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	clause-occurrence, mating, unsatisfiability, first-order logic, resolution, merge, cycle, Automatic theorem proving, refutation
25	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Boosting interpolation with dynamic localized abstraction and redundancy removal.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Interpolant, abstraction, redundancy removal
25	Alasdair Urquhart	Regular and General Resolution: An Improved Separation.	SAT	2008	DBLP DOI BibTeX RDF
25	Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu	From High Girth Graphs to Hard Instances.	CP	2008	DBLP DOI BibTeX RDF
25	Uriel Feige	Refuting Smoothed 3CNF Formulas.	FOCS	2007	DBLP DOI BibTeX RDF
25	Robert L. Constable, Wojciech Moczydlowski	Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus.	LFCS	2007	DBLP DOI BibTeX RDF
25	Alexander Hertel, Alasdair Urquhart	Game Characterizations and the PSPACE-Completeness of Tree Resolution Space.	CSL	2007	DBLP DOI BibTeX RDF
25	M. A. Cárdenas Viedma	A sound and complete fuzzy temporal constraint logic.	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
25	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Stepping forward with interpolants in unbounded model checking.	ICCAD	2006	DBLP DOI BibTeX RDF
25	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
25	Allen Van Gelder	Input Distance and Lower Bounds for Propositional Resolution Proof Length.	SAT	2005	DBLP DOI BibTeX RDF
25	Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr	Cut-Elimination: Experiments with CERES.	LPAR	2004	DBLP DOI BibTeX RDF
25	Hans Kleine Büning, Xishun Zhao	Read-Once Unit Resolution.	SAT	2003	DBLP DOI BibTeX RDF
25	Jörg H. Siekmann, Graham Wrightson	An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
25	Phil Watson	Inductive Learning with Corroboration.	ALT	1999	DBLP DOI BibTeX RDF
25	Koji Iwanuma, Kenichi Kishino	Lemma Generalization and Non-unit Lemma Matching for Model Elimination.	ASIAN	1999	DBLP DOI BibTeX RDF
25	Jacobo Torán	Lower Bounds for Space in Resolution.	CSL	1999	DBLP DOI BibTeX RDF	lower bounds, Resolution, space, complexity measures, pebbling game
25	Gilles Défourneaux, Nicolas Peltier	Partial Matching for Analogy Discovery in Proofs and Counter-Examples.	CADE	1997	DBLP DOI BibTeX RDF
25	Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego	TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.	JELIA	1994	DBLP DOI BibTeX RDF
25	Leo Bachmair	Proof Normalization for Resolution and Paramodulation.	RTA	1989	DBLP DOI BibTeX RDF
25	James R. Slagle	Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.	J. ACM	1974	DBLP DOI BibTeX RDF
21	Mengzi Yin, Liyi Liu, Linqi Cheng, Zongmin Li, Yan Tu	A novel group multi-criteria sorting approach integrating social network analysis for ability assessment of health rumor-refutation accounts.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
21	Zhouhao Sun, Xiao Ding, Li Du, Bibo Cai, Jinglong Gao, Ting Liu 0001, Bing Qin 0001	Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation.	CoRR	2024	DBLP DOI BibTeX RDF
21	Haoming Guo, Xuefeng Yan	Dynamic modeling and simulation of rumor propagation based on the double refutation mechanism.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
21	Zongmin Li, Ye Zhao, Tie Duan, Jingqi Dai	Configurational patterns for COVID-19 related social media rumor refutation effectiveness enhancement based on machine learning and fsQCA.	Inf. Process. Manag.	2023	DBLP DOI BibTeX RDF
21	Lijie Chen 0001, Roei Tell, Ryan Williams 0001	Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
21	Norihiro Kamide	Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.	Stud Logica	2023	DBLP DOI BibTeX RDF
21	Tomasz F. Skura	Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.	Logica Universalis	2023	DBLP DOI BibTeX RDF
21	Venkatesan Guruswami, Jun-Ting Hsieh, Pravesh K. Kothari, Peter Manohar	Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold.	CoRR	2023	DBLP DOI BibTeX RDF
21	Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation.	CoRR	2023	DBLP DOI BibTeX RDF
21	Xuanxiang Huang, João Marques-Silva 0001	A Refutation of Shapley Values for Explainability.	CoRR	2023	DBLP DOI BibTeX RDF
21	Xuanxiang Huang, João Marques-Silva 0001	Refutation of Shapley Values for XAI - Additional Evidence.	CoRR	2023	DBLP DOI BibTeX RDF
21	Euna Mehnaz Khan, Ayush Ram, Bhavtosh Rath, Emily Vraga, Jaideep Srivastava	Behavioral Forensics in Social Networks: Identifying Misinformation, Disinformation and Refutation Spreaders Using Machine Learning.	CoRR	2023	DBLP DOI BibTeX RDF
21	Valentino Vito, Lim Yohanes Stefanus	Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory.	CoRR	2023	DBLP DOI BibTeX RDF
21	Guy Bresler, Tianze Jiang	Detection-Recovery and Detection-Refutation Gaps via Reductions from Planted Clique.	CoRR	2023	DBLP DOI BibTeX RDF
21	Qi Luo, Dongxiao Yu, Dongbiao Wang, Yafei Zhang, Yanwei Zheng, Zhipeng Cai 0001	Influence blocking maximization under refutation.	Soc. Netw. Anal. Min.	2023	DBLP DOI BibTeX RDF
21	Lijie Chen 0001, Roei Tell, Ryan Williams 0001	Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization.	FOCS	2023	DBLP DOI BibTeX RDF
21	Venkatesan Guruswami, Jun-Ting Hsieh, Pravesh K. Kothari, Peter Manohar	Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold.	FOCS	2023	DBLP DOI BibTeX RDF
21	Paulína Ayaziová, Jan Strejcek	Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution).	TACAS (2)	2023	DBLP DOI BibTeX RDF
21	Guy Bresler, Tianze Jiang	Detection-Recovery and Detection-Refutation Gaps via Reductions from Planted Clique.	COLT	2023	DBLP BibTeX RDF
21	K. Subramani 0001, Piotr Wojciechowski 0002	Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints.	COCOA (2)	2023	DBLP DOI BibTeX RDF
21	Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation.	STOC	2023	DBLP DOI BibTeX RDF
21	K. Subramani 0001, Piotr Wojciechowski 0002	Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas.	Ann. Math. Artif. Intell.	2022	DBLP DOI BibTeX RDF
21	Zongmin Li, Xinyu Du, Ye Zhao, Yan Tu, Benjamin Lev, Lu Gan	Lifecycle research of social media rumor refutation effectiveness based on machine learning and visualization technology.	Inf. Process. Manag.	2022	DBLP DOI BibTeX RDF
21	Omar Alrabiah, Venkatesan Guruswami, Pravesh Kothari, Peter Manohar	A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
21	Milo Roucairol, Tristan Cazenave	Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search.	CoRR	2022	DBLP DOI BibTeX RDF
21	Alexander Edmonds, Aleksandar Nikolov, Toniann Pitassi	Learning versus Refutation in Noninteractive Local Differential Privacy.	CoRR	2022	DBLP DOI BibTeX RDF
21	Anna-Sophia Dersch, Alexander Renkl, Alexander Eitel	Personalized refutation texts best stimulate teachers' conceptual change about multimedia learning.	J. Comput. Assist. Learn.	2022	DBLP DOI BibTeX RDF
21		Correction for 'Personalized refutation texts best stimulate teachers' conceptual change about multimedia learning' by Dersch et al. (2022).	J. Comput. Assist. Learn.	2022	DBLP DOI BibTeX RDF
21	Camillo Fiorentini, Mauro Ferrari 0002	Forward refutation for Gödel-Dummett Logics.	CILC	2022	DBLP BibTeX RDF
21	Alexander Edmonds, Aleksandar Nikolov, Toniann Pitassi	On Learning and Refutation in Noninteractive Local Differential Privacy.	NeurIPS	2022	DBLP BibTeX RDF
21	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random.	STOC	2022	DBLP DOI BibTeX RDF
21	Milo Roucairol, Tristan Cazenave	Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search.	COCOON	2022	DBLP DOI BibTeX RDF
21	Yi Zhang, Jiuping Xu	A Dynamic Competition and Predation Model for Rumor and Rumor-Refutation.	IEEE Access	2021	DBLP DOI BibTeX RDF
21	Jian-Hong Chen, Chaoqun Chen, Qinghua Song, Yi-Fei Zhao, Longxin Deng, Raoqing Xie, Shan Yang	Spread Mechanism and Control Strategies of Rumor Propagation Model Considering Rumor Refutation and Information Feedback in Emergency Management.	Symmetry	2021	DBLP DOI BibTeX RDF
21	Zongmin Li, Qi Zhang, Xinyu Du, Yanfang Ma, Shihang Wang	Social media rumor refutation effectiveness: Evaluation, modelling and enhancement.	Inf. Process. Manag.	2021	DBLP DOI BibTeX RDF
21	Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho	Verification and refutation of C programs based on k-induction and invariant inference.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
21	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random".	CoRR	2021	DBLP BibTeX RDF
21	Lukasz Debowski	A Refutation of Finite-State Language Models through Zipf's Law for Factual Knowledge.	Entropy	2021	DBLP DOI BibTeX RDF
21	Jacob Salem, Emma H. Geller	Effects of Combining Refutation and Self-Explanation on Student Learning.	CogSci	2021	DBLP BibTeX RDF
21	Camillo Fiorentini, Mauro Ferrari 0002	Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
21	Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001	NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
21	Ruqi Li, Yinwei Li, Zhongyi Meng, Yurong Song, Guoping Jiang	Rumor Spreading Model Considering Individual Activity and Refutation Mechanism Simultaneously.	IEEE Access	2020	DBLP DOI BibTeX RDF
21	Kwangjun Ahn	A simpler strong refutation of random k-XOR.	CoRR	2020	DBLP BibTeX RDF
21	Thomas Macaulay Ferguson	Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF