Search results for "proof-trees"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Bruce Spencer, Joseph Douglas Horton	Support Ordered Resolution.	CADE	2000	DBLP DOI BibTeX RDF
29	Qiao Haiyan	Formalising Formulas-as-Types-as-Objects.	TYPES	1999	DBLP DOI BibTeX RDF
26	Aravind K. Joshi, Seth Kulick	Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints.	LACL	1996	DBLP DOI BibTeX RDF
25	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
22	Clément Hurlin	Automatic Parallelization and Optimization of Programs by Proof Rewriting.	SAS	2009	DBLP DOI BibTeX RDF
19	Isabelle Gnaedig, Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
19	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	A Proof of Weak Termination Providing the Right Way to Terminate.	ICTAC	2004	DBLP DOI BibTeX RDF
19	Florina Piroi, Temur Kutsia	The Theorema Environment for Interactive Proof Development.	LPAR	2005	DBLP DOI BibTeX RDF
19	Alberto Momigliano, Mario Ornaghi	Towards a Logic for Reasoning About Logic Programs Transformation.	LOPSTR	1997	DBLP DOI BibTeX RDF
19	Adrian Pop, Peter Fritzson	Debugging natural semantics specifications.	AADEBUG	2005	DBLP DOI BibTeX RDF	logical functional languages, proof-trees, debugging, rule-based
16	Christoph Sprenger 0001, Mads Dam	On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus.	FoSSaCS	2003	DBLP DOI BibTeX RDF
16	Yatin P. Saraiya	Linearizing Nonlinear Recursions in Polynomial Time.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
14	Murdoch Gabbay, Arvid Jakobsson, Kristina Sojakova	Money grows on (proof-)trees: the formal FA1.2 ledger standard.	CoRR	2021	DBLP BibTeX RDF
14	Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova	Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard.	FMBC@CAV	2021	DBLP DOI BibTeX RDF
14	Rafael Caballero 0001, Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet	Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.	LOPSTR	2011	DBLP DOI BibTeX RDF
14	Isabel Gomes Barbosa, Newton José Vieira	Extracting Case-based Answers from Closed Proof-trees.	ICAART (1)	2010	DBLP BibTeX RDF
14	Kanako Sakurai, Kenichi Asai	MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.	LOPSTR	2010	DBLP DOI BibTeX RDF
14	William H. Winsborough, Anna Cinzia Squicciarini, Elisa Bertino	Information carrying identity proof trees.	WPES	2007	DBLP DOI BibTeX RDF	identity proof, identity provenance, validation
14	Andrea Passerini, Paolo Frasconi, Luc De Raedt	Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.	J. Mach. Learn. Res.	2006	DBLP BibTeX RDF
14	Gérard Ferrand, Willy Lesaint, Alexandre Tessier	Explanations and Proof Trees.	Comput. Artif. Intell.	2006	DBLP BibTeX RDF
14	Andrea Passerini, Paolo Frasconi, Luc De Raedt	Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.	Probabilistic, Logical and Relational Learning	2005	DBLP BibTeX RDF
14	Gérard Ferrand, Willy Lesaint, Alexandre Tessier	Explanations and Proof Trees.	ExaCt	2005	DBLP BibTeX RDF
14	Andrea Passerini, Paolo Frasconi, Luc De Raedt	Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.	AAIP	2005	DBLP BibTeX RDF
14	Aravind K. Joshi, Seth Kulick, Natasha Kurtonina	Partial proof trees and structural modalities.	TAG+	1998	DBLP BibTeX RDF
14	A. Bruffaerts, E. Henin	Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter.	ICLP/SLP	1988	DBLP BibTeX RDF
14	Agneta Eriksson, Anna-Lena Johansson	Neat Explanation of Proof Trees.	IJCAI	1985	DBLP BibTeX RDF
14	Michael M. Richter	Some reordering properties for inequality proof trees.	Logic and Machines	1983	DBLP DOI BibTeX RDF
14	David C. Luckham, Nils J. Nilsson	Extracting Information from Resolution Proof Trees.	Artif. Intell.	1971	DBLP DOI BibTeX RDF
13	Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
13	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
13	Isabelle Gnaedig	Induction for positive almost sure termination.	PPDP	2007	DBLP DOI BibTeX RDF	constraint, probability, abstraction, termination, narrowing
13	Sarah Mallet, Mireille Ducassé	Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.	LOPSTR	1998	DBLP DOI BibTeX RDF
13	Isabelle Gnaedig, Hélène Kirchner	Computing constructor forms with non terminating rewrite programs.	PPDP	2006	DBLP DOI BibTeX RDF	constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
13	Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner	Arithmetic Circuits and Polynomial Replacement Systems.	FSTTCS	2000	DBLP DOI BibTeX RDF
13	Max Moser	Improving Transformation Systems for General E-Unification.	RTA	1993	DBLP DOI BibTeX RDF
13	Franz Oppacher, E. Suen	Controlling Deduction with Proof Condensation and Heuristics.	CADE	1986	DBLP DOI BibTeX RDF
10	Aravind K. Joshi, Seth Kulick, Natasha Kurtonina	An LTAG Perspective on Categorial Inference.	LACL	1998	DBLP DOI BibTeX RDF
9	Erqing Xu	Extending HPSG Towards HDS as a Fragment of pCLL.	PRICAI	2006	DBLP DOI BibTeX RDF
9	Hans-Jörg Tiede	Lambek Calculus Proofs and Tree Automata.	LACL	1998	DBLP DOI BibTeX RDF
6	Alexandre Rademaker, Edward Hermann Haeusler	Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.	SBIA	2008	DBLP DOI BibTeX RDF	description logics, proof theory, sequent calculus
6	Paolo Frasconi, Andrea Passerini	Learning with Kernels and Logical Representations.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
6	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
6	Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao	Arithmetizing Classes Around NC 1 and L.	STACS	2007	DBLP DOI BibTeX RDF
6	Luc De Raedt	Statistical Relational Learning: An Inductive Logic Programming Perspective.	PKDD	2005	DBLP DOI BibTeX RDF
6	Yuyan Chao, Norimitsu Kawana, Lifeng He, Tsuyoshi Nakamura, Hidenori Itoh	R-UNSEARCHMO: A Refinement on UNSEARCHMO.	PRICAI	2002	DBLP DOI BibTeX RDF
6	Marc Aiguier, Diane Bahrami, Catherine Dubois	On a Generalised Logicality Theorem.	AISC	2002	DBLP DOI BibTeX RDF	semi-commutation, abstract rewrite tree, abstract convertibility relation, logicality Topics: Term Rewriting, Integration of Logical Reasoning and Computer Algebra, Reasoning, Formal system
6	Michael Schroeder 0001, Daniela Alina Plewe, Andreas Raab	ULTIMA RATIO - A Visual Language for Argumentation.	IV	1999	DBLP DOI BibTeX RDF	Argumentation, Reasoning, Visualisation, Conflict Resolution
6	Paolo Volpe	Abstractions of Uniform Proofs.	ALP	1996	DBLP DOI BibTeX RDF	uniform proofs, inference rule systems, abstract interpretation
6	Thierry Coquand, Peter Dybjer	Inductive Definitions and Type Theory: an Introduction (Preliminary Version).	FSTTCS	1994	DBLP DOI BibTeX RDF
6	Harold Boley	Finite Domains and Exclusions as First-Class Citizens.	ELP	1993	DBLP DOI BibTeX RDF
6	Patrick Saint-Dizier	On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic.	ALP	1990	DBLP DOI BibTeX RDF