Search results for "Higher-order-logic"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.	CoRR	2018	DBLP BibTeX RDF
15	Antonis Troumpoukis, Angelos Charalambidis	Predicate Specialization for Definitional Higher-order Logic Programs.	CoRR	2018	DBLP BibTeX RDF
15	Zheng Yang 0007, Hang Lei	A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability.	CoRR	2018	DBLP BibTeX RDF
15	Panos Rondogiannis, Ioanna Symeonidou	Extensional Semantics for Higher-Order Logic Programs with Negation.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis	Higher-order logic programming: An expressive language for representing qualitative preferences.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.	Theory Pract. Log. Program.	2018	DBLP DOI BibTeX RDF
15	Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann	Superposition for Lambda-Free Higher-Order Logic.	IJCAR	2018	DBLP DOI BibTeX RDF
15	Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres	Systematic Refinement of Abstract State Machines with Higher-Order Logic.	ABZ	2018	DBLP DOI BibTeX RDF
15	Antonis Troumpoukis, Angelos Charalambidis	Predicate Specialization for Definitional Higher-Order Logic Programs.	LOPSTR	2018	DBLP DOI BibTeX RDF
15	Panos Rondogiannis, Ioanna Symeonidou	The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs.	IJCAI	2018	DBLP DOI BibTeX RDF
15	Adnan Rashid, Osman Hasan	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).	CICM Workshops	2018	DBLP BibTeX RDF
15	Alexander Steen	Extensional paramodulation for higher-order logic and its effective implementation Leo-III.		2018	RDF
15	Ioanna Symeonidou	Semantics of negation in extensional higher-order logic programming		2018	RDF
15	Frédéric Gilbert 0002	Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats).		2018	RDF
15	John Lloyd	Higher-Order Logic.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Equivalence of two fixed-point semantics for definitional higher-order logic programs.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Panos Rondogiannis, Ioanna Symeonidou	The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs.	CoRR	2017	DBLP BibTeX RDF
15	Joseph Tassarotti, Ralf Jung 0002, Robert Harper 0001	A Higher-Order Logic for Concurrent Termination-Preserving Refinement.	CoRR	2017	DBLP BibTeX RDF
15	Panos Rondogiannis, Ioanna Symeonidou	Extensional Semantics for Higher-Order Logic Programs with Negation.	CoRR	2017	DBLP BibTeX RDF
15	Chun Tian 0001	Formalized Lambek Calculus in Higher Order Logic (HOL4).	CoRR	2017	DBLP BibTeX RDF
15	Cezary Kaliszyk, François Chollet, Christian Szegedy	HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.	CoRR	2017	DBLP BibTeX RDF
15	David A. Basin, Andreas Lochbihler, S. Reza Sefidgar	CryptHOL: Game-based Proofs in Higher-order Logic.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Andreas Lochbihler	Effect polymorphism in higher-order logic.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Panos Rondogiannis, Ioanna Symeonidou	The intricacies of three-valued extensional semantics for higher-order logic programs.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
15	Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu 0001, Dmitriy Traytel	Foundational nonuniform (Co)datatypes for higher-order logic.	LICS	2017	DBLP DOI BibTeX RDF
15	Liya Liu, Osman Hasan, Sofiène Tahar	Formalization of Birth-Death and IID processes in higher-order logic.	SysCon	2017	DBLP DOI BibTeX RDF
15	Joseph Tassarotti, Ralf Jung 0002, Robert Harper 0001	A Higher-Order Logic for Concurrent Termination-Preserving Refinement.	ESOP	2017	DBLP DOI BibTeX RDF
15	Andreas Lochbihler	Effect Polymorphism in Higher-Order Logic (Proof Pearl).	ITP	2017	DBLP DOI BibTeX RDF
15	Cezary Kaliszyk, François Chollet, Christian Szegedy	HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.	ICLR (Poster)	2017	DBLP BibTeX RDF
15	Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel	Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.	FroCoS	2017	DBLP DOI BibTeX RDF
15	Bohua Zhan	AUTO2, a saturation-based heuristic prover for higher-order logic.	CoRR	2016	DBLP BibTeX RDF
15	Waqar Ahmad, Osman Hasan	Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach.	CoRR	2016	DBLP BibTeX RDF
15	Daniel Whalen	Holophrasm: a neural Automated Theorem Prover for higher-order logic.	CoRR	2016	DBLP BibTeX RDF
15	Waqar Ahmad, Osman Hasan, Sofiène Tahar	Formalization of Reliability Block Diagrams in Higher-order Logic.	J. Appl. Log.	2016	DBLP DOI BibTeX RDF
15	Sankha S. Basu, Stephen G. Simpson	Mass problems and intuitionistic higher-order logic.	Comput.	2016	DBLP DOI BibTeX RDF
15	Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens	Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
15	Xiumei Yang, Yong Guan, Zhiping Shi 0002, Aixuan Wu, Qianying Zhang, Jie Zhang 0074	函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).	计算机科学	2016	DBLP DOI BibTeX RDF
15	Andreas Lochbihler	Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.	ESOP	2016	DBLP DOI BibTeX RDF
15	Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker	A Compositional Typed Higher-Order Logic with Definitions.	ICLP (Technical Communications)	2016	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis	Higher-order logic programming: an expressive language for representing qualitative preferences.	PPDP	2016	DBLP DOI BibTeX RDF
15	Bohua Zhan	AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic.	ITP	2016	DBLP DOI BibTeX RDF
15	Ondrej Kuncar, Andrei Popescu 0001	From Types to Sets by Local Type Definitions in Higher-Order Logic.	ITP	2016	DBLP DOI BibTeX RDF
15	Adnan Rashid, Osman Hasan	On the Formalization of Fourier Transform in Higher-order Logic.	ITP	2016	DBLP DOI BibTeX RDF
15	Panos Rondogiannis, Ioanna Symeonidou	Extensional Semantics for Higher-Order Logic Programs with Negation.	JELIA	2016	DBLP DOI BibTeX RDF
15	Waqar Ahmad, Osman Hasan	Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach.	SETTA	2016	DBLP DOI BibTeX RDF
15	Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi	Implementing HOL in an Higher Order Logic Programming Language.	LFMTP	2016	DBLP DOI BibTeX RDF
15	Andrew Cropper, Stephen H. Muggleton	Learning Higher-Order Logic Programs through Abstraction and Invention.	IJCAI	2016	DBLP BibTeX RDF
15	Ondrej Kuncar	Types, Abstraction and Parametric Polymorphism in Higher-Order Logic.		2016	RDF
15	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs.	FICS	2015	DBLP DOI BibTeX RDF
15	Umair Siddique, Osman Hasan, Sofiène Tahar	Towards the Formalization of Fractional Calculus in Higher-Order Logic.	CoRR	2015	DBLP BibTeX RDF
15	Xingli Lv, Zhiping Shi 0002, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang 0074	连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).	计算机科学	2015	DBLP DOI BibTeX RDF
15	Jesús Aransay, Jose Divasón	Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
15	Jeremy E. Dawson, Rajeev Goré, Thomas Meumann	Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic.	VoteID	2015	DBLP DOI BibTeX RDF
15	Umair Siddique, Osman Hasan, Sofiène Tahar	Towards the Formalization of Fractional Calculus in Higher-Order Logic.	CICM	2015	DBLP DOI BibTeX RDF
15	Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar	Formalization of Complex Vectors in Higher-Order Logic.	CoRR	2014	DBLP BibTeX RDF
15	Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat	Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?	CoRR	2014	DBLP BibTeX RDF
15	Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.	CoRR	2014	DBLP BibTeX RDF
15	Vaishak Belle	Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur.	SIGACT News	2014	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.	Theory Pract. Log. Program.	2014	DBLP DOI BibTeX RDF
15	Frank Pfenning	Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur, Cambridge University Press, 2012, Hardcover, ISBN-10: 052187940X, xiv + 306 pp.	Theory Pract. Log. Program.	2014	DBLP DOI BibTeX RDF
15	Magnus O. Myreen, Scott Owens	Proof-producing translation of higher-order logic into pure and stateful ML.	J. Funct. Program.	2014	DBLP DOI BibTeX RDF
15	Christoph Benzmüller, Dale Miller 0001	Automation of Higher-Order Logic.	Computational Logic	2014	DBLP DOI BibTeX RDF
15	Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero	Modeling Human Behaviour with Higher Order Logic: Insider Threats.	STAST	2014	DBLP DOI BibTeX RDF
15	Fredrik Lindblad	A Focused Sequent Calculus for Higher-Order Logic.	IJCAR	2014	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Panos Rondogiannis	Constructive Negation in Extensional Higher-Order Logic Programming.	KR	2014	DBLP BibTeX RDF
15	Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar	Formalization of Complex Vectors in Higher-Order Logic.	CICM	2014	DBLP DOI BibTeX RDF
15	Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat	Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?	CICM	2014	DBLP DOI BibTeX RDF
15	Angelos Charalambidis	Prοοf procedure for extensional higher-order logic programming		2014	RDF
15	Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge	Extensional Higher-Order Logic Programming.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
15	Jie Zhang 0074, Danwen Mao, Yong Guan	Formalization of Linear Space Theory in the Higher-Order Logic Proving System.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
15	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane	Automatic verification of reduction techniques in Higher Order Logic.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
15	Lukasz Czajka 0001	Partiality and Recursion in Higher-Order Logic.	FoSSaCS	2013	DBLP DOI BibTeX RDF
15	Evan Austin, Perry Alexander	Stateless Higher-Order Logic with Quantified Types.	ITP	2013	DBLP DOI BibTeX RDF
15	Vincenzo Cannella, Antonio Chella, Roberto Pirrone	Higher-Order Logic Description of MDPs to Support Meta-cognition in Artificial Agents.	AIC@AI*IA	2013	DBLP BibTeX RDF
15	Johannes Hölzl	Construction and stochastic applications of measure spaces in higher-order logic.		2013	RDF
15	D. N. T. Kumar, Qufu Wei	A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm.	Comput. Inf. Sci.	2012	DBLP DOI BibTeX RDF
15	Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli	Embedding and automating conditional logics in classical higher-order logic.	Ann. Math. Artif. Intell.	2012	DBLP DOI BibTeX RDF
15	Lukasz Czajka 0001	Partiality and Recursion in Higher-order Logic	CoRR	2012	DBLP BibTeX RDF
15	Dale Miller 0001, Gopalan Nadathur	Programming with Higher-Order Logic.		2012	RDF
15	Dmitriy Traytel, Andrei Popescu 0001, Jasmin Christian Blanchette	Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving.	LICS	2012	DBLP DOI BibTeX RDF
15	Magnus O. Myreen, Scott Owens	Proof-producing synthesis of ML from higher-order logic.	ICFP	2012	DBLP DOI BibTeX RDF
15	Sascha Böhme	Proving Theorems of Higher-Order Logic with SMT Solvers.		2012	RDF
15	Jasmin Christian Blanchette	Automatic proofs and refutations for higher-order logic.		2012	RDF
15	Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli	Embedding and Automating Conditional Logics in Classical Higher-Order Logic	CoRR	2011	DBLP BibTeX RDF
15	Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge	Extensional Higher-Order Logic Programming	CoRR	2011	DBLP BibTeX RDF
15	Osman Hasan, Sofiène Tahar	Reasoning about conditional probabilities in a higher-order-logic theorem prover.	J. Appl. Log.	2011	DBLP DOI BibTeX RDF
15	Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001	CERES in higher-order logic.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
15	Julian Backes, Chad E. Brown	Analytic Tableaux for Higher-Order Logic with Choice.	J. Autom. Reason.	2011	DBLP DOI BibTeX RDF
15	John Lloyd	Higher-Order Logic.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
15	Geoff Sutcliffe, Christoph Benzmüller	Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure.	J. Formaliz. Reason.	2010	DBLP DOI BibTeX RDF
15	Alexander Krauss 0001	Partial and Nested Recursive Function Definitions in Higher-order Logic.	J. Autom. Reason.	2010	DBLP DOI BibTeX RDF
15	Konrad Slind, Guodong Li, Scott Owens	Compiling Higher Order Logic by Proof.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
15	Niels Pahlavi	Higher-order Logic Learning and lambda-Progol.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
15	Julian Backes, Chad E. Brown	Analytic Tableaux for Higher-Order Logic with Choice.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Joe Hurd	Composable Packages for Higher Order Logic Theories.	VERIFY@IJCAR	2010	DBLP DOI BibTeX RDF
15	Osman Hasan, Sofiène Tahar	Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.	ASM	2010	DBLP DOI BibTeX RDF
15	Jasmin Christian Blanchette, Tobias Nipkow	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder.	ITP	2010	DBLP DOI BibTeX RDF
15	Alexander Krauss 0001, Andreas Schropp	A Mechanized Translation from Higher-Order Logic to Set Theory.	ITP	2010	DBLP DOI BibTeX RDF
15	Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge	Extensional Higher-Order Logic Programming.	JELIA	2010	DBLP DOI BibTeX RDF
15	Florian Haftmann	Code generation from specifications in higher-order logic.		2009	RDF