Search results for "Higher-order-logic"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Alwen Fernanto Tiu	Model Checking for pi-Calculus Using Proof Search.	CONCUR	2005	DBLP DOI BibTeX RDF
20	Guodong Li, Konrad Slind	Compilation as Rewriting in Higher Order Logic.	CADE	2007	DBLP DOI BibTeX RDF
20	Alexander Krauss 0001	Partial Recursive Functions in Higher-Order Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Daniel Cabeza, Manuel V. Hermenegildo, James Lipton	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.	ASIAN	2004	DBLP DOI BibTeX RDF
20	Marieke Huisman, Bart Jacobs 0001	Inheritance in Higher Order Logic: Modeling and Reasoning.	TPHOLs	2000	DBLP DOI BibTeX RDF
20	Stefan Berghofer, Tobias Nipkow	Proof Terms for Simply Typed Higher Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
20	Neophytos G. Michael, Andrew W. Appel	Machine Instruction Syntax and Semantics in Higher Order Logic.	CADE	2000	DBLP DOI BibTeX RDF
20	Wolfgang Naraschewski, Markus Wenzel 0001	Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.	TPHOLs	1998	DBLP DOI BibTeX RDF
20	Konrad Slind	Derivation and Use of Induction Schemes in Higher-Order Logic.	TPHOLs	1997	DBLP DOI BibTeX RDF
20	Paul Loewenstein	Formal Verification of Counterflow Pipeline Architecture.	TPHOLs	1995	DBLP DOI BibTeX RDF
20	Sten Agerholm	Non-primitive Recursive Function Definitions.	TPHOLs	1995	DBLP DOI BibTeX RDF
20	Holger Busch	A Practical Method for Reasoning about Distributed Systems in a Theorem Prover.	TPHOLs	1995	DBLP DOI BibTeX RDF
20	Juin-Yeu Lu, Shiu-Kai Chin	Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics.	TPHOLs	1994	DBLP DOI BibTeX RDF
20	Dirk Eisenbiegler, Klaus Schneider 0001, Ramayya Kumar	A Functional Approach for Formalizing Regular Hardware Structures.	HUG	1993	DBLP DOI BibTeX RDF
20	Mark D. Aagaard, Miriam Leeser, Phillip J. Windley	Toward a Super Duper Hardware Tactic.	HUG	1993	DBLP DOI BibTeX RDF
20	Juin-Yeu Lu, Shiu-Kai Chin	Linking HOL to a VLSI CAD System.	HUG	1993	DBLP DOI BibTeX RDF
20	Nancy A. Day, Jeffrey J. Joyce	The Semantics of Statecharts in HOL.	HUG	1993	DBLP DOI BibTeX RDF
20	Wai Wong	Modelling Bit Vectors in HOL: the word library.	HUG	1993	DBLP DOI BibTeX RDF
20	Paul Loewenstein, David L. Dill	Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic.	CAV	1990	DBLP DOI BibTeX RDF
20	Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene	Using higher order logic and functional languages to synthesize correct hardware.	ICCL	1988	DBLP DOI BibTeX RDF
20	Wayne Snyder	Higher Order E-Unification.	CADE	1990	DBLP DOI BibTeX RDF
20	Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller	Solving Modal Logic Problems by Translation to Higher-Order Logic.	CLAR	2023	DBLP DOI BibTeX RDF
20	Benjamin N. Grosof	Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk).	RuleML	2013	DBLP DOI BibTeX RDF
20	Lukas Bulwahn	Counterexample generation for higher-order logic using functional and logic programming.		2012	RDF
20	Lukas Bulwahn	Counterexample Generation for Higher-order Logic Using Logic Programming.	AlgoSyn	2010	DBLP BibTeX RDF
20	Spiro Michaylov, Frank Pfenning	Higher-Order Logic Programming as Constraint Logic Programming.	PPCP	1993	DBLP BibTeX RDF
20	Lawrence J. Henschen	N-sorted logic for automatic theorem-proving in higher-order logic.	ACM Annual Conference (1)	1972	DBLP DOI BibTeX RDF
19	Niels Pahlavi, Stephen H. Muggleton	Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
19	Gilles Dowek, Thérèse Hardin, Claude Kirchner	HOL-λσ: an intentional first-order expression of higher-order logic.	Math. Struct. Comput. Sci.	2001	DBLP BibTeX RDF
19	Weidong Chen 0005, Michael Kifer, David Scott Warren	HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.	NACLP	1989	DBLP BibTeX RDF
19	John Alan Robinson	Computational Logic: Memories of the Past and Challenges for the Future.	Computational Logic	2000	DBLP DOI BibTeX RDF
18	Harry G. Mairson	A Constructive Logic of Multiple Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
18	John W. Lloyd	Higher-Order Computational Logic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
18	Petr Olmer, Petr Stepánek	Schema-Based Transformations of Logic Programs in lambda-Prolog.	ICLP	2002	DBLP DOI BibTeX RDF
18	Jordi Levy, Mateu Villaret	Nominal Unification from a Higher-Order Perspective.	RTA	2008	DBLP DOI BibTeX RDF
17	Akihiro Yamamoto, Kouichi Hirata	Workshop on Learning with Logics and Logics for Learning (LLLL).	JSAI Workshops	2005	DBLP DOI BibTeX RDF
16	Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.	FSTTCS	2005	DBLP DOI BibTeX RDF
16	Amy P. Felty	A Logic Programming Approach to Implementing Higher-Order Term Rewriting.	ELP	1991	DBLP DOI BibTeX RDF
15	James Cheney	Equivariant Unification.	RTA	2005	DBLP DOI BibTeX RDF
15	Osman Hasan, Sofiène Tahar	Performance Analysis of ARQ Protocols using a Theorem Prover.	ISPASS	2008	DBLP DOI BibTeX RDF
15	Andrew Bacon	Mathematical Modality: An Investigation in Higher-order Logic.	J. Philos. Log.	2024	DBLP DOI BibTeX RDF
15	Andrei Popescu 0001, Dmitriy Traytel	Admissible Types-to-PERs Relativization in Higher-Order Logic.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Antoine Martina, Alexander Steen	An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic.	CoRR	2023	DBLP DOI BibTeX RDF
15	Colin Rothgang, Florian Rabe 0001, Christoph Benzmüller	Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint.	CoRR	2023	DBLP DOI BibTeX RDF
15	Anders Schlichtkrull	Soundness of the Q0 proof system for higher-order logic.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic	Superposition for Higher-Order Logic.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
15	Cezary Kaliszyk, Karol Pak	Combining Higher-Order Logic with Set Theory Formalizations.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
15	Colin Rothgang, Florian Rabe 0001, Christoph Benzmüller	Theorem Proving in Dependently-Typed Higher-Order Logic.	CADE	2023	DBLP DOI BibTeX RDF
15	Alexandre Rademaker, Guilherme Lima, Renato Cerqueira	Extracting higher-order logic formulas from English sentences.	ICNLSP	2023	DBLP BibTeX RDF
15	Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz 0001	Extending a High-Performance Prover to Higher-Order Logic.	TACAS (2)	2023	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen	Open Higher-Order Logic.	CSL	2023	DBLP DOI BibTeX RDF
15	Lavinia Picollo, Thomas Schindler 0002	Higher-Order Logic and Disquotational Truth.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
15	Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz 0001	Extending a brainiac prover to lambda-free higher-order logic.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
15	Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller	Solving QMLTP Problems by Translation to Higher-order Logic.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen	Open Higher-Order Logic (Long Version).	CoRR	2022	DBLP DOI BibTeX RDF
15	Jose Divasón, René Thiemann	A Formalization of the Smith Normal Form in Higher-Order Logic.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
15	Jose Divasón, René Thiemann	Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
15	Adnan Rashid, Sa'ed Abed, Osman Hasan	Formal analysis of 2D image processing filters using higher-order logic theorem proving.	EURASIP J. Adv. Signal Process.	2022	DBLP DOI BibTeX RDF
15	Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy 0001	HOLL: Program Synthesis for Higher Order Logic Locking.	TACAS (1)	2022	DBLP DOI BibTeX RDF
15	Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk	Learning Higher-Order Logic Programs From Failures.	IJCAI	2022	DBLP DOI BibTeX RDF
15	Muhammad Ahmed, Adnan Rashid	Formalization of Transform Methods in Higher-order Logic: A Survey.	CoRR	2021	DBLP BibTeX RDF
15	Rolf Morel	Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs.	CoRR	2021	DBLP BibTeX RDF
15	Ujala Qasim, Adnan Rashid, Osman Hasan	Formalization of Bond Graph using Higher-order-logic Theorem Proving.	CoRR	2021	DBLP BibTeX RDF
15	Alexander Steen, David Fuenmayor	A Formalisation of Abstract Argumentation in Higher-Order Logic.	CoRR	2021	DBLP BibTeX RDF
15	Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann	Superposition for Lambda-Free Higher-Order Logic.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
15	Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic	Superposition for Full Higher-order Logic.	CADE	2021	DBLP DOI BibTeX RDF
15	Muhammad Ahmed, Adnan Rashid	Formalization of Transform Methods in Higher-order Logic: A Survey (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
15	Arve Gengelbach	Conservative Definitions for Higher-order Logic with Ad-hoc Overloading.		2021	RDF
15	Ahmed Bhayat	Automated theorem proving in higher-order logic		2021	RDF
15	Alexander Steen	Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.	Künstliche Intell.	2020	DBLP DOI BibTeX RDF
15	Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki	Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving.	IEEE Access	2020	DBLP DOI BibTeX RDF
15	David A. Basin, Andreas Lochbihler, S. Reza Sefidgar	CryptHOL: Game-Based Proofs in Higher-Order Logic.	J. Cryptol.	2020	DBLP DOI BibTeX RDF
15	Andrew Cropper, Rolf Morel, Stephen H. Muggleton	Learning higher-order logic programs.	Mach. Learn.	2020	DBLP DOI BibTeX RDF
15	Alexander Steen, Christoph Benzmüller	On Reductions of Hintikka Sets for Higher-Order Logic.	CoRR	2020	DBLP BibTeX RDF
15	Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann	Superposition for Lambda-Free Higher-Order Logic.	CoRR	2020	DBLP BibTeX RDF
15	David Fuenmayor, Christoph Benzmüller	Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis.	CoRR	2020	DBLP BibTeX RDF
15	Sa'ed Abed, Adnan Rashid, Osman Hasan	Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving.	J. Aerosp. Inf. Syst.	2020	DBLP DOI BibTeX RDF
15	Oskar Abrahamsson	A verified proof checker for higher-order logic.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
15	Thibault Gauthier	Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.	LPAR	2020	DBLP DOI BibTeX RDF
15	Sa'ed Abed, Adnan Rashid, Osman Hasan	Formal analysis of the biological circuits using higher-order-logic theorem proving.	SAC	2020	DBLP DOI BibTeX RDF
15	Irina Makarenko, Christoph Benzmüller	Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding.	KI	2020	DBLP DOI BibTeX RDF
15	Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy	Graph Representations for Higher-Order Logic and Theorem Proving.	AAAI	2020	DBLP DOI BibTeX RDF
15	Ahmed Bhayat, Giles Reger	A Combinator-Based Superposition Calculus for Higher-Order Logic.	IJCAR (1)	2020	DBLP DOI BibTeX RDF
15	Matteo Cimini	On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.	FLOPS	2020	DBLP DOI BibTeX RDF
15	Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa	Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding.	SMT	2020	DBLP BibTeX RDF
15	Andrew Cropper, Rolf Morel, Stephen H. Muggleton	Learning higher-order logic programs.	CoRR	2019	DBLP BibTeX RDF
15	Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy	Graph Representations for Higher-Order Logic and Theorem Proving.	CoRR	2019	DBLP BibTeX RDF
15	C.-H. Luke Ong, Dominik Wagner	HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories.	CoRR	2019	DBLP BibTeX RDF
15	Sa'ed Abed, Adnan Rashid, Osman Hasan	Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving.	CoRR	2019	DBLP BibTeX RDF
15	Lawrence C. Paulson	Zermelo Fraenkel Set Theory in Higher-Order Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Andreas Lochbihler	Effect Polymorphism in Higher-Order Logic (Proof Pearl).	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
15	Ondrej Kuncar, Andrei Popescu 0001	From Types to Sets by Local Type Definition in Higher-Order Logic.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
15	C.-H. Luke Ong, Dominik Wagner	HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.	LICS	2019	DBLP DOI BibTeX RDF
15	Haniel Barbosa, Andrew Reynolds 0001, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett	Extending SMT Solvers to Higher-Order Logic.	CADE	2019	DBLP DOI BibTeX RDF
15	Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz 0001	Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.	TACAS (1)	2019	DBLP DOI BibTeX RDF
15	Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox	HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.	ICML	2019	DBLP BibTeX RDF
15	Beidi Li, Mehul Bhatt, Carl Schultz 0001	lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper).	COSIT	2019	DBLP DOI BibTeX RDF
15	Antonis Stampoulis, Adam Chlipala	Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
15	Zheng Yang 0007, Hang Lei	Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.	IEEE Access	2018	DBLP DOI BibTeX RDF
15	Adnan Rashid, Osman Hasan	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic.	CoRR	2018	DBLP BibTeX RDF