Search results for "meta-logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Neil V. Murray, Erik Rosenthal	Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics.	ISMIS	1993	DBLP DOI BibTeX RDF
34	Paolo Mancarella, Alessandra Raffaetà, Franco Turini	Temporal Annotated Constraint Logic Programming with Multiple Theories.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	meta-logic, knowledge representation, temporal reasoning, constraint logic programming
32	Vivek Nigam, Dale Miller 0001	Focusing in Linear Meta-logic.	IJCAR	2008	DBLP DOI BibTeX RDF
28	John Hannan, Dale Miller 0001	From Operational Semantics to Abstract Machines: Preliminary Results.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
26	Dale Miller 0001	Representing and Reasoning with Operational Semantics.	IJCAR	2006	DBLP DOI BibTeX RDF
24	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the Meta-logic of Arguments.	ArgMAS	2005	DBLP DOI BibTeX RDF
24	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the meta-logic of arguments.	AAMAS	2005	DBLP DOI BibTeX RDF	meta-level reasoning, multi-agent systems, knowledge representation, argumentation
23	Raymond McDowell, Dale Miller 0001	A Logic for Reasoning with Higher-Order Abstract Syntax.	LICS	1997	DBLP DOI BibTeX RDF
22	Chuck C. Liang	Free Variables and Subexpressions in Higher-Order Meta Logic.	TPHOLs	1998	DBLP DOI BibTeX RDF
22	Mingsheng Ying	A theory of computation based on quantum logic (I).	GrC	2005	DBLP DOI BibTeX RDF
21	Amy P. Felty, Dale Miller 0001	Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language.	CADE	1990	DBLP DOI BibTeX RDF
20	Carsten Schürmann, Frank Pfenning	Automated Theorem Proving in a Simple Meta-Logic for LF.	CADE	1998	DBLP DOI BibTeX RDF
19	Dale Miller 0001	Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract.	CSL	2004	DBLP DOI BibTeX RDF
19	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
19	Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini	MuTACLP: A Language for Temporal Reasoning with Multiple Theories.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
18	Zoran Majkic	Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.	ISMVL	2005	DBLP DOI BibTeX RDF
17	Frank Pfenning, Carsten Schürmann	System Description: Twelf - A Meta-Logical Framework for Deductive Systems.	CADE	1999	DBLP DOI BibTeX RDF
17	Amy P. Felty	Two-Level Meta-reasoning in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF
16	Daniele Genito, Giangiacomo Gerla, Alessandro Vignes	Meta-logic programming for a synonymy logic.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Synonymy logic, Fuzzy logic, Logic programming, Translation
15	Visit Hirankitti, Vuong Xuan Tran	A Meta-logical Approach for Multi-agent Communication of Semantic Web Information.	INAP	2005	DBLP DOI BibTeX RDF
13	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
12	Natasha Alechina, Brian Logan 0001, Nguyen Hoang Nga, Abdur Rakib	Reasoning about Other Agents' Beliefs under Bounded Resources.	KRAMAS	2008	DBLP DOI BibTeX RDF
12	Dale Miller 0001, Elaine Pimentel	Using Linear Logic to Reason about Sequent Systems.	TABLEAUX	2002	DBLP DOI BibTeX RDF
12	Hans Jürgen Ohlbach	Combining Hilbert Style and Semantic Reasoning in a Resolution Framework.	CADE	1998	DBLP DOI BibTeX RDF
11	Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar 0001	Computing Defeasible Meta-logic.	JELIA	2021	DBLP DOI BibTeX RDF
11	Baltasar Trancón y Widemann, Markus Lepper 0001	Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming.	CoRR	2020	DBLP BibTeX RDF
11	Baltasar Trancón y Widemann, Markus Lepper 0001	Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming.	WFLP	2020	DBLP DOI BibTeX RDF
11	David Fuenmayor, Christoph Benzmüller	Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.	CoRR	2019	DBLP BibTeX RDF
11	David Fuenmayor, Christoph Benzmüller	Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.	PRICAI (1)	2019	DBLP DOI BibTeX RDF
11	Alex Citkin	A Meta-Logic of Inference Rules: Syntax.	CoRR	2014	DBLP BibTeX RDF
11	Isaac Pinyol	A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents.	CLIMA	2012	DBLP DOI BibTeX RDF
11	Henning Christiansen 0001, Davide Martinenghi	Symbolic Constraints for Meta-Logic Programming.	Appl. Artif. Intell.	2000	DBLP DOI BibTeX RDF
11	Robert A. Kowalski	Using Meta-Logic to Reconcile Reactive with Rational Agents.	PAAM	1996	DBLP BibTeX RDF
11	Antonio Brogi, Franco Turini	Semantics of Meta-Logic in an Algebra of Programs	LICS	1994	DBLP DOI BibTeX RDF
11	Dale Miller 0001	A Multiple-Conclusion Meta-Logic	LICS	1994	DBLP DOI BibTeX RDF
11	Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua	A Basis for a Multi-Level Meta-Logic Programming Language.	META	1994	DBLP DOI BibTeX RDF
11	Subrata Kumar Das	Specifying Deductive Databases and Integrity Constraints in Meta-logic.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
11	John Hannan, Dale Miller 0001	A Meta-Logic for Functional Programming.	META	1988	DBLP BibTeX RDF
11	Yue Jun Jiang, Nader Azarmi	Meta Logic Programming for Epistemic Notions.	META	1988	DBLP BibTeX RDF
10	Tobias Nipkow, Lawrence C. Paulson	Isabelle-91.	CADE	1992	DBLP DOI BibTeX RDF
8	Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow	The Isabelle Framework.	TPHOLs	2008	DBLP DOI BibTeX RDF
6	Mark Staples	Representing WP Semantics in Isabelle/ZF.	TPHOLs	1999	DBLP DOI BibTeX RDF
6	Alan Bundy	The Use of Explicit Plans to Guide Inductive Proofs.	CADE	1988	DBLP DOI BibTeX RDF	inductive proofs, formal methods, planning, theorem proving, automatic programming, Proof plans