Search results for "meta-theory"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
45	Dominic M. Thomas, Saurabh Gupta 0003, Robert P. Bostrom	A Meta-theory for Understanding IS in Socio-technical Systems.	HICSS	2008	DBLP DOI BibTeX RDF
39	Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.	ICFP	2006	DBLP DOI BibTeX RDF	languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
34	Brent Furneaux, Dorit Nevo	Beyond Cognitions: A Call for Greater Consideration of Emotion in Information Systems Decision Theories.	HICSS	2008	DBLP DOI BibTeX RDF
29	Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey	A computational approach to reflective meta-reasoning about languages with bindings.	MERLIN	2005	DBLP DOI BibTeX RDF	MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
28	Germano Resconi, Chiara Ratti	Invariants and Fuzzy Logic.	KES	2003	DBLP DOI BibTeX RDF	meta-theory, tautology, Fuzzy logic, modal logic, invariant, compensation
26	Robert Harper 0001	Mechanizing the meta-theory of programming languages.	ICFP	2005	DBLP DOI BibTeX RDF
25	Max Borders, Doug Bryan	Experimental Politics: Ways of Virtual Worldmaking.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
21	Bernd Grobauer, Olaf Müller	From I/O Automata to Timed I/O Automata.	TPHOLs	1999	DBLP DOI BibTeX RDF
19	Frank Pfenning, Carsten Schürmann	System Description: Twelf - A Meta-Logical Framework for Deductive Systems.	CADE	1999	DBLP DOI BibTeX RDF
18	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Meta SOS - A Maude Based SOS Meta-Theory Framework.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
18	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
18	Stefan Kahrs	Infinitary rewriting: meta-theory and convergence.	Acta Informatica	2007	DBLP DOI BibTeX RDF
18	Simon Parsons, Peter McBurney, Michael J. Wooldridge	Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues.	ArgMAS	2004	DBLP DOI BibTeX RDF
17	Herman Geuvers, Erik Poll, Jan Zwanenburg	Safe Proof Checking in Type Theory with Y.	CSL	1999	DBLP DOI BibTeX RDF
16	Gerard Allwein	A qualitative framework for Shannon information theories.	NSPW	2004	DBLP DOI BibTeX RDF	barwise-seligman information theory, shannon information theory
15	Fred Niederman, Salvatore T. March	Broadening the Conceptualization of Theory in the Information Systems Discipline: A Meta-Theory Approach.	Data Base	2019	DBLP DOI BibTeX RDF
15	Johannes Åman Pohjola	Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results.		2016	RDF
15	Brayden G. King, Teppo Felin, David A. Whetten	Perspective - Finding the Organization in Organizational Theory: A Meta-Theory of the Organization as a Social Actor.	Organ. Sci.	2010	DBLP DOI BibTeX RDF
15	Marino Miculan	Developing (Meta)Theory of Lambda-calculus in the Theory of Context.	MERLIN	2001	DBLP DOI BibTeX RDF
15	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
15	Paulo Urbano	Learning by Explanation of Failures.	EWSL	1991	DBLP DOI BibTeX RDF	failure, Explanation based learning
13	Brigitte Pientka	Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.	ICLP	2006	DBLP DOI BibTeX RDF
13	Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe	Coherent Composition of Distributed Knowledge-Bases Through Abduction.	LPAR	2001	DBLP DOI BibTeX RDF
13	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
12	Dale Miller 0001	The pi-Calculus as a Theory in Linear Logic: Preliminary Results.	ELP	1992	DBLP DOI BibTeX RDF
11	Adam Booker, Victoria Chiu, Nathan Groff, Vernon J. Richardson	AIS research opportunities utilizing Machine Learning: From a Meta-Theory of accounting literature.	Int. J. Account. Inf. Syst.	2024	DBLP DOI BibTeX RDF
11	Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Guillaume Dupont	Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.	ABZ	2023	DBLP DOI BibTeX RDF
11	Francesco Dagnino	A Meta-theory for Big-step Semantics.	ACM Trans. Comput. Log.	2022	DBLP DOI BibTeX RDF
11	Christian Hagemeier, Dominik Kirst	Constructive and mechanised meta-theory of IEL and similar modal logics.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
11	Christian Hagemeier, Dominik Kirst	Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic.	LFCS	2022	DBLP DOI BibTeX RDF
11	Lucas Rosenblatt	Towards a Non-classical Meta-theory for Substructural Approaches to Paradox.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
11	Giselle Reis	Facilitating Meta-Theory Reasoning (Invited Paper).	LFMTP	2021	DBLP DOI BibTeX RDF
11	Francesco Dagnino	A meta-theory for big-step semantics.	CoRR	2021	DBLP BibTeX RDF
11	Jeremy G. Siek, Tianyu Chen	Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF
11	David Castro-Perez, Francisco Ferreira 0001, Nobuko Yoshida	EMTST: Engineering the Meta-theory of Session Types.	TACAS (2)	2020	DBLP DOI BibTeX RDF
11	Zongben Xu	On Presuppositions of Machine Learning: A Meta Theory.	SIGIR	2020	DBLP DOI BibTeX RDF
11	Kaustuv Chaudhuri, Leonardo Lima 0001, Giselle Reis	Formalized meta-theory of sequent calculi for linear logics.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
11	Francesco Komauli, Alberto Momigliano	Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report.	CILC	2018	DBLP BibTeX RDF
11	Anders Schlichtkrull	New Formalized Results on the Meta-Theory of a Paraconsistent Logic.	TYPES	2018	DBLP DOI BibTeX RDF
11	Maximilian P. L. Haslbeck, Tobias Nipkow	Hoare Logics for Time Bounds - A Study in Meta Theory.	TACAS (1)	2018	DBLP DOI BibTeX RDF
11	Tim Grant 0001	A Meta-theory of Command & Control in Emergency Management.	ISCRAM	2017	DBLP BibTeX RDF
11	Guglielmo Fachini, Alberto Momigliano	Validating the Meta-Theory of Programming Languages (Short Paper).	SEFM	2017	DBLP DOI BibTeX RDF
11	Kaustuv Chaudhuri, Leonardo Lima 0001, Giselle Reis	Formalized Meta-Theory of Sequent Calculi for Substructural Logics.	LSFA	2016	DBLP DOI BibTeX RDF
11	Joachim Breitner, Denis Lohner	The meta theory of the Incredible Proof Machine.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
11	Brigitte Pientka	Mechanizing Meta-Theory in Beluga (Invited Talk).	WPTE@RDP	2015	DBLP DOI BibTeX RDF
11	Iliano Cervesato, Thierry Sans	Substructural Meta-Theory of a Type-Safe Language for Web Programming.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
11	Sebastian S. Bauer, Rolf Hennicker, Axel Legay	A meta-theory for component interfaces with contracts on ports.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
11	Michael J. Jacobson, Manu Kapur, Peter Reimann 0001	Towards a Complex Systems Meta-Theory of Learning as an Emergent Phenomenon: Beyond the Cognitive Versus Situative Debate.	ICLS	2014	DBLP BibTeX RDF
11	Xiaodi Hou, Alan L. Yuille, Christof Koch	A Meta-Theory of Boundary Detection Benchmarks	CoRR	2013	DBLP BibTeX RDF
11	Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001	Algebraic Meta-Theory of Processes with Data.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
11	Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers	Meta-theory à la carte.	POPL	2013	DBLP DOI BibTeX RDF
11	Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira	Modular monadic meta-theory.	ICFP	2013	DBLP DOI BibTeX RDF
11	Janos J. Sarbo	A Meta-Theory for Knowledge Representation.	AIC@AI*IA	2013	DBLP BibTeX RDF
11	Mari Karjalainen, Mikko T. Siponen	Toward a New Meta-Theory for Designing Information Systems (IS) Security Training Approaches.	J. Assoc. Inf. Syst.	2011	DBLP DOI BibTeX RDF
11	Adam Maria Gadomski	Human organisation socio-cognitive vulnerability: the TOGA meta-theory approach to the modelling methodology.	Int. J. Crit. Infrastructures	2009	DBLP DOI BibTeX RDF
11	Robert P. Bostrom, Saurabh Gupta 0003, Dominic M. Thomas	A Meta-Theory for Understanding Information Systems Within Sociotechnical Systems.	J. Manag. Inf. Syst.	2009	DBLP DOI BibTeX RDF
11	Wujia Zhu, Yi Lin 0001, Guoping Du, Ningsheng Gong	Mathematical system of potential infinities (III) - meta theory of logical basis.	Kybernetes	2008	DBLP DOI BibTeX RDF
11	Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote	SOS formats and meta-theory: 20 years after.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
11	Simon K. Milton, Edmund Kazmierczak	Ontology as Meta-Theory: A Perspective.	Scand. J. Inf. Syst.	2006	DBLP BibTeX RDF
11	Mohammad Reza Mousavi 0001, Michel A. Reniers	Prototyping SOS Meta-theory in Maude.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
11	Mohammad Reza Mousavi 0001	Towards SOS Meta-Theory for Language-Based Security.	APC 25	2005	DBLP DOI BibTeX RDF
11	Andreas Herzig, Ivan José Varzinczak	Cohesion, coupling and the meta-theory of actions.	IJCAI	2005	DBLP BibTeX RDF
11	Germano Resconi, I. Burhan Türksen	Canonical forms of fuzzy truthoods by meta-theory based upon modal logic.	Inf. Sci.	2001	DBLP DOI BibTeX RDF
11	Olaf Müller	A verification environment for I-O-automata based on formalized meta-theory.		1998	RDF
11	Andrew Adams	Tools and techniques for machine-assisted meta-theory.		1997	RDF
11	Frank Pfenning, Ekkehard Rohwedder	Implementing the Meta-Theory of Deductive Systems.	CADE	1992	DBLP DOI BibTeX RDF
11	Harry Vassilev	Meta Theory as a Tool for Integration and Control.	AIMSA	1992	DBLP BibTeX RDF
11	David A. Basin, Fausto Giunchiglia, Paolo Traverso	Automating Meta-Theory Creation and System Extension.	AI*IA	1991	DBLP DOI BibTeX RDF
11	Spiro Michaylov, Frank Pfenning	Natural Semantics and Some of Its Meta-Theory in Elf.	ELP	1991	DBLP DOI BibTeX RDF
11	John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001	On Diagram Tokens and Types.	Diagrams	2002	DBLP DOI BibTeX RDF
11	Dongmo Zhang, Norman Y. Foo	Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.	JELIA	2002	DBLP DOI BibTeX RDF
10	Alwen Fernanto Tiu	Model Checking for pi-Calculus Using Proof Search.	CONCUR	2005	DBLP DOI BibTeX RDF
10	Jan Zwanenburg	Pure Type Systems with Subtyping.	TLCA	1999	DBLP DOI BibTeX RDF
8	Robert Harper 0001, Frank Pfenning	On equivalence and canonical forms in the LF type theory.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	type theory, Logical frameworks
8	Femke Reitsma, Thomas Bittner	Scale in Object and Process Ontologies.	COSIT	2003	DBLP DOI BibTeX RDF	ontology, process, hierarchy, scale, granularity, mereology
8	David Aspinall 0001	Subtyping with Power Types.	CSL	2000	DBLP DOI BibTeX RDF	subtyping, type theory, dependent types
8	Olaf Müller	I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle.	TPHOLs	1998	DBLP DOI BibTeX RDF
8	Neil V. Murray, Erik Rosenthal	An Implementation of a Dissolution-Based System Employing Theory Links.	CADE	1988	DBLP DOI BibTeX RDF
6	Robert S. Lubarsky	Topological Forcing Semantics with Settling.	LFCS	2009	DBLP DOI BibTeX RDF	topology AMS classification 03F50, 03E70, 03C90, semantics, set theory, Constructivism
6	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin	The Verisoft Approach to Systems Verification.	VSTTE	2008	DBLP DOI BibTeX RDF
6	Barry Jay, Simon L. Peyton Jones	Scrap Your Type Applications.	MPC	2008	DBLP DOI BibTeX RDF
6	Henry DeYoung, Deepak Garg 0001, Frank Pfenning	An Authorization Logic With Explicit Time.	CSF	2008	DBLP DOI BibTeX RDF	Explicit Time, Hybrid Logic, Authorization Logic
6	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
6	Elaine Pimentel, Dale Miller 0001	On the Specification of Sequent Systems.	LPAR	2005	DBLP DOI BibTeX RDF
6	Ilmério Silva, João Nunes Souza, Luciene Oliveira	Comparison of Representations of Multiple Evidence Using a Functional Framework for IR.	SPIRE	2005	DBLP DOI BibTeX RDF	Combination of Multiple Evidence, Functional Framework, Information Retrieval Models
6	Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel	Compact Representation of Knowledge Bases in Inductive Logic Programming.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	scalability, efficiency, knowledge bases, Inductive Logic Programming, compact representation
6	Paola Bruscoli, Alessio Guglielmi	A Tutorial on Proof Theoretic Foundations of Logic Programming.	ICLP	2003	DBLP DOI BibTeX RDF
6	Walid Taha, Stephan Ellner, Hongwei Xi	Generating Heap-Bounded Programs in a Functional Setting.	EMSOFT	2003	DBLP DOI BibTeX RDF
6	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
6	Van-Nam Huynh, Yoshiteru Nakamori, Tu Bao Ho, Germano Resconi	A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic.	FoIKS	2002	DBLP DOI BibTeX RDF	fuzzy concept, modal logic, Context model, membership function
6	Stephanie Weirich	Encoding Intensional Type Analysis.	ESOP	2001	DBLP DOI BibTeX RDF