Search results for "metalogic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Andreas Hamfelt, Jørgen Fischer Nilsson	Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.	LOPSTR	1998	DBLP DOI BibTeX RDF	logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment
51	Jorma K. Mattila	Possibility Based Modal Semantics for Graded Modifiers.	IFSA (1)	2007	DBLP DOI BibTeX RDF	metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier
49	D. Fox Harrell	Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
49	Antonio Brogi, Franco Turini	Metalogic for State Oriented Programming.	ELP	1992	DBLP DOI BibTeX RDF
29	Karl Crary, Susmit Sarkar	Foundational certified code in the Twelf metalogical framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Foundational certified code, metalogic, logic programming
29	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Modular Logic Programming.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations
27	Michael Bevan	The Metalogic of Ground: Pure and Iterative Systems.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
27	Simon Roßkopf, Tobias Nipkow	A Formalization and Proof Checker for Isabelle's Metalogic.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
27	Yinya Huang, Hongming Zhang 0009, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu 0001	MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure.	CoRR	2022	DBLP DOI BibTeX RDF
27	Yinya Huang, Hongming Zhang 0009, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu 0001	MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure.	EMNLP	2022	DBLP DOI BibTeX RDF
27	Stefania Costantini, Andrea Formisano 0001	Adding Metalogic Features to Knowledge Representation Languages.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
27	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	CoRR	2021	DBLP BibTeX RDF
27	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
27	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	CADE	2021	DBLP DOI BibTeX RDF
27	Stefania Costantini, Andrea Formisano 0001	Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features.	CILC	2019	DBLP BibTeX RDF
27	Stefania Costantini, Andrea Formisano 0001	Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning.	AI*IA	2019	DBLP DOI BibTeX RDF
27	Sébastien Richard	Leśniewski on metalogic and definitions.	Synth.	2018	DBLP DOI BibTeX RDF
27	Jolly Thomas	Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers.	Logica Universalis	2018	DBLP DOI BibTeX RDF
27	Josep-Maria Terricabras	Language, Fuzzy Logic, Metalogic.	Towards the Future of Fuzzy Logic	2015	DBLP DOI BibTeX RDF
27	Jørgen Fischer Nilsson	Querying Class-Relationship Logic in a Metalogic Framework.	FQAS	2011	DBLP DOI BibTeX RDF
27	Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt	Towards a dynamic metalogic implementation of legal argumentation.	ICAIL	2011	DBLP DOI BibTeX RDF
27	Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt	A Dynamic Metalogic Argumentation Framework Implementation.	RuleML Europe	2011	DBLP DOI BibTeX RDF
27	Alex Citkin	Metalogic of Intuitionistic Propositional Calculus.	Notre Dame J. Formal Log.	2010	DBLP DOI BibTeX RDF
27	Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt	Legal rules and argumentation in a metalogic framework.	JURIX	2007	DBLP BibTeX RDF
27	Jan Wolenski	Psychologism and Metalogic.	Synth.	2003	DBLP DOI BibTeX RDF
27	Ken Akiba	Nominalistic metalogic.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
27	Gaetano Aurelio Lanzarone, Alessandro Provetti	Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
27	Christopher P. Higgins	On the Declarative and Procedural Semantics of Definite Metalogic Programs.	J. Log. Comput.	1996	DBLP DOI BibTeX RDF
27	Troels Andreasen, Henning Christiansen 0001	Flexible Query-Answering Systems Modelled in Metalogic Programming.	KRDB	1996	DBLP BibTeX RDF
27	Stefania Costantini, Gaetano Aurelio Lanzarone	A metalogic programming approach: language, semantics and applications.	J. Exp. Theor. Artif. Intell.	1994	DBLP DOI BibTeX RDF
27	S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone	Extending Explanation-Based Generalization with Metalogic Programming.	GULP-PRODE (2)	1994	DBLP BibTeX RDF
27	Yuejun Jiang	Ambivalent Logic as the Semantic Basis of Metalogic Programming.	ICLP	1994	DBLP BibTeX RDF
27	Suryanarayana M. Sripada	A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases.	IJCAI	1993	DBLP BibTeX RDF
27	Kosta Dosen	Modal logic as metalogic.	J. Log. Lang. Inf.	1992	DBLP DOI BibTeX RDF
27	Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Reflective Agents in Metalogic Programming.	META	1992	DBLP DOI BibTeX RDF
27	Andreas Hamfelt, Åke Hansson	A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program.	FGCS	1992	DBLP BibTeX RDF
27	Norman Y. Foo	Metalogic as a basis for modelling systems dynamics.	IEEE Trans. Syst. Man Cybern.	1991	DBLP DOI BibTeX RDF
27	Robert Kowalski, Jin-Sang Kim	A Metalogic Programming Approach to Multi-Agent Knowledge and Belief.	Artificial and Mathematical Theory of Computation	1991	DBLP DOI BibTeX RDF
27	Antonio Brogi, Franco Turini	Metalogic for Knowledge Representation.	KR	1991	DBLP BibTeX RDF
27	Stefania Costantini	Semantics of a Metalogic Programming Language.	Int. J. Found. Comput. Sci.	1990	DBLP DOI BibTeX RDF
27	Stefania Costantini, Gaetano Aurelio Lanzarone	A Metalogic Programming Language.	ICLP	1989	DBLP BibTeX RDF
27	Graem A. Ringwood	Metalogic machines: a retrospective rationale for the Japanese Fifth Generation.	Knowl. Eng. Rev.	1988	DBLP DOI BibTeX RDF
27	Howard A. Blair	Metalogic Programming and Direct Universal Computability.	META	1988	DBLP BibTeX RDF
27	V. S. Subrahmanian	A Simple Formulation of the Theory of Metalogic Programming.	META	1988	DBLP BibTeX RDF
27	Peter S. Albin	The metalogic of economic predictions, calculations and propositions.	Math. Soc. Sci.	1982	DBLP DOI BibTeX RDF
21	Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson	A rule-sceptic characterization of acceptable legal arguments.	ICAIL	2007	DBLP DOI BibTeX RDF
21	Klaus Grue	The Layers of Logiweb.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
21	Jørgen Fischer Nilsson	Ontological Constitutions for Classes and Properties.	ICCS	2006	DBLP DOI BibTeX RDF
21	David A. Basin, Manuel Clavel, José Meseguer 0001	Reflective metalogical frameworks.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	metalogics, reflection, rewriting logic, Membership equational logic
21	Karl Crary, Susmit Sarkar	Foundational Certified Code in a Metalogical Framework.	CADE	2003	DBLP DOI BibTeX RDF
21	Amal J. Ahmed 0001, Andrew W. Appel, Roberto Virga	A Stratified Semantics of General References A Stratified Semantics of General References.	LICS	2002	DBLP DOI BibTeX RDF
21	Kam-Fai Wong, Dawei Song 0001, Peter Bruza, Chun Hung Cheng 0001	Application of aboutness to functional benchmarking in information retrieval.	ACM Trans. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Aboutness, functional benchmarking, inductive evaluation, logic-based information retrieval
21	Henning Christiansen 0001	Open Theories and Abduction for Context and Accommodation.	CONTEXT	1999	DBLP DOI BibTeX RDF
21	Anna Mikhajlova, Joakim von Wright	Proving Isomorphism of First-Order Logic Proof Systems in HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF