Search results for "extensional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
82	Delia Kesner	Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract).	RTA	1996	DBLP DOI BibTeX RDF
78	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
63	Abhay Kumar Jha, Dan Olteanu, Dan Suciu	Bridging the gap between intensional and extensional query evaluation in probabilistic databases.	EDBT	2010	DBLP DOI BibTeX RDF	query processing, probabilistic databases
56	Egidio Astesiano, Maura Cerioli	Partial Higher-Order Specifications.	MFCS	1991	DBLP DOI BibTeX RDF
52	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
52	Chad E. Brown	Reasoning in Extensional Type Theory with Equality.	CADE	2005	DBLP DOI BibTeX RDF
52	Grigore Rosu	Extensional Theories and Rewriting.	ICALP	2004	DBLP DOI BibTeX RDF
52	Roberto Di Cosmo, Delia Kesner	A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.	ICALP	1993	DBLP DOI BibTeX RDF
46	Can Türker, Kerstin Schwarz, Gunter Saake	Global Transaction Termination Rules in Composite Database Systems.	BNCOD	2000	DBLP DOI BibTeX RDF	global transactions, composite database systems, extensional assertions, termination dependencies
46	E. K. Park, Suk-Chung Yoon	An Approach to Intensional Query Answering at Multiple Abstraction Levels using Data Mining Approaches.	HICSS	1999	DBLP DOI BibTeX RDF	Extensional Answer, Intensional Answer, Data Mining, Attribute-Oriented Induction
45	Delia Kesner	Reasoning about Layered, Wildcard and Product Patterns.	ALP	1994	DBLP DOI BibTeX RDF
42	Hsiang-Chuan Liu, Chin-Chun Chen, Yu-Du Jheng, Maw-Fa Chien	Choquet Integral with Respect to Extensional L-measure and its Application.	FSKD (6)	2009	DBLP DOI BibTeX RDF	L-measure, extensional L-measure, Choquet integral, fuzzy measure
42	Alan J. Dix, Damon Oram	Query-through-drilldown: data-oriented extensional queries.	AVI	2008	DBLP DOI BibTeX RDF	data structure mining, data-oriented interaction, extensional query, query-by-browsing, tabular interface, SQL, database query
41	Sam Lindley	Extensional Rewriting with Sums.	TLCA	2007	DBLP DOI BibTeX RDF
41	Timothy L. Hinrichs, Michael R. Genesereth	Reformulation for Extensional Reasoning.	SARA	2007	DBLP DOI BibTeX RDF
41	Daniel Hirschkoff	An Extensional Spatial Logic for Mobile Processes.	CONCUR	2004	DBLP DOI BibTeX RDF
41	Qiusheng An, Junyi Shen	Granular Computing on Extensional Functional Dependencies for Information System.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
41	Simon J. Gay, Rajagopal Nagarajan	Intensional and Extensional Semantics of Dataflow Programs.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Categorical semantics, Interaction categories, Kahn semantics, Synchronous computation, Dataflow
41	Luigi Pontieri, Domenico Ursino, Ester Zumpano	An Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats.	CAiSE	2002	DBLP DOI BibTeX RDF
41	Paula Severi, Fer-Jan de Vries	An Extensional Böhm Model.	RTA	2002	DBLP DOI BibTeX RDF
41	Tatyana M. Yakhno, Evgueni S. Petrov	Extensional Set Library for ECLiPSe.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
41	Can Türker, Gunter Saake	Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration.	ADBIS	1999	DBLP DOI BibTeX RDF
41	Roberto Di Cosmo, Delia Kesner	Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.	ICALP	1994	DBLP DOI BibTeX RDF
41	Val Tannen, Thierry Coquand	Extensional Models for Polymorphism.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
37	Ken Sakayori, Davide Sangiorgi	Extensional and Non-extensional Functions as Processes.	LICS	2023	DBLP DOI BibTeX RDF
37	Delia Kesner	Confluence of extensional and non-extensional lambda-calculi with explicit substitutions.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
35	Russell G. Miller	Locally Computable Structures.	CiE	2007	DBLP DOI BibTeX RDF	extensional, perfectly locally computable, computability, locally computable, computable model theory
35	Irina Perfilieva	Functions represented by BL-algebra formulas: characterization and approximate representation.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Extensional function, Disjunctive and conjunctive normal forms, Lipschitz condition, BL-algebra
34	C. A. Johnson	Computing Only Minimal Answers in Disjunctive Deductive Databases.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
34	Andrea Asperti	The intensional content of Rice's theorem.	POPL	2008	DBLP DOI BibTeX RDF	complexity, computability, recursion theory
34	Martina Danková, Irina Perfilieva	Logical approximation II.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Disjunctive and conjunctive normal forms, BL-logic, Extensionality, Fuzzy logic, Approximation
34	Roussanka Loukanova	Quantification and Intensionality in Situation Semantics.	CICLing	2002	DBLP DOI BibTeX RDF
34	Marc Bezem	An Improved Extensionality Criterion for Higher-Order Logic Programs.	CSL	2001	DBLP DOI BibTeX RDF
34	Alexander Brodsky 0001, Yehoshua Sagiv	Inference of Monotonicity Constraints in Datalog Programs.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
30		Extensional Relational Database (ERDB).	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
30	Steven Awodey, Florian Rabe 0001	Kripke Semantics for Martin-Löf's Extensional Type Theory.	TLCA	2009	DBLP DOI BibTeX RDF
30	Pierre McKenzie, Michael Thomas 0001, Heribert Vollmer	Extensional Uniformity for Boolean Circuits.	CSL	2008	DBLP DOI BibTeX RDF	descriptive complexity, uniformity, Boolean circuits
30	Shin-ya Sato, Kensuke Fukuda, Satoshi Kurihara, Toshio Hirotsu, Toshiharu Sugawara	Generating Extensional Definitions of Concepts from Ostensive Definitions by Using Web.	WISE	2007	DBLP DOI BibTeX RDF
30	Timothy L. Hinrichs	Extensional Reasoning.	SARA	2007	DBLP DOI BibTeX RDF
30	Andrea Kohlhase, Michael Kohlhase	Communities of Practice in MKM: An Extensional Model.	MKM	2006	DBLP DOI BibTeX RDF
30	Epaminondas Kapetanios, David Baer, Björn Glaus, Paul Groenewoud	MDDQL-Stat: Data Querying and Analysis through Integration of Intentional and Extensional Semantics.	SSDBM	2004	DBLP DOI BibTeX RDF	Ontology Driven Querying, Data Integration, Statistics, Mediation
30	Jun Furuse	Extensional Polymorphism by Flow Graph Dispatching.	APLAS	2003	DBLP DOI BibTeX RDF
30	Mattis Neiling, Markus Schaal, Martin Schumann	WrapIt : Automated Integration of Web Databases with Extensional Overlaps.	Web, Web-Services, and Database Systems	2002	DBLP DOI BibTeX RDF
30	Hércules Antônio do Prado, Stephen C. Hirtle, Paulo Martins Engel	Scalable Model for Extensional and Intensional Descriptions of Unclassified Data.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
30	Guy W. Mineau	The Extensional Semantics of the Conceptual Graph Formalism.	ICCS	2000	DBLP DOI BibTeX RDF
30	Bernhard Reus	Extensional Sigma-Spaces in Type Theory.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	synthetic domain theory, type theory, realizability, domain theory, constructive logic
30	Thorsten Altenkirch	Extensional Equality in Intensional Type Theory.	LICS	1999	DBLP DOI BibTeX RDF	Type Theory, categorical models
30	Christoph Benzmüller	Extensional Higher-Order Paramodulation and RUE-Resolution.	CADE	1999	DBLP DOI BibTeX RDF
30	Peter A. Flach	From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
30	Christoph Benzmüller, Michael Kohlhase	Extensional Higher-Order Resolution.	CADE	1998	DBLP DOI BibTeX RDF
30	Roberto Di Cosmo, Delia Kesner	Rewriting with Extensional Polymorphic Lambda-Calculus.	CSL	1995	DBLP DOI BibTeX RDF
30	Patricia Johann, Michael Kohlhase	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.	CADE	1994	DBLP DOI BibTeX RDF
30	Antonio Bucciarelli, Thomas Ehrhard	Extensional Embedding of a Strongly Stable Model of PCF.	ICALP	1991	DBLP DOI BibTeX RDF
30	Ramón Pino Pérez	An Extensional Partial Combinatory Algebra Based on Lamda-Terms.	MFCS	1991	DBLP DOI BibTeX RDF
24	Tim Sheard	Putting curry-howard to work.	Haskell	2005	DBLP DOI BibTeX RDF	extensional kind system, logic, haskell, GADT, curry-howard isomorphism
24	Janusz Czelakowski, Don Pigozzi	Fregean logics with the multiterm deduction theorem and their algebraization.	Stud Logica	2004	DBLP DOI BibTeX RDF	equivalential logic, self-extensional logic, Leibniz congruence, deduction theorem, quasivariety, algebraizable logic, abstract algebraic logic, protoalgebraic logic
24	Irina Perfilieva	Normal forms in BL and L-sqcup algebras of functions.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Conjunctive and additive normal forms, Extensional functions, algebra, BL-algebra, Universal approximation, Disjunctive
24	Ke Wang, Li-Yan Yuan	First-Order Logic Characterization of Program Properties.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
24	Amihai Motro	Intensional Answers to Database Queries.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	intensional information, data classes, extensional information, database answers, intensional statements, research directions, classifications, user interfaces, user interfaces, query processing, data integrity, database management systems, database systems, integrity constraints, inference rules, database queries, class hierarchies
24	Ali Bahrami, Cihan H. Dagli	Hybrid Intelligent Packing System (HIPS) through integration of Artificial Neural Networks, Artificial Intelligence, and mathematical programming.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	connectionist, extensional programming, parallel processing, data driven, cutting and packing
24	See Y. Lim, Chris R. Chatwin, Hussein A. Abdullah	Knowledge Control Modelling: The Bond Graph Unification Approach to Design and Implementation of an Expert System for Intelligent Control of Industrial Laser Cutting.	IEA/AIE	1994	DBLP BibTeX RDF	artificial neural nets, intensional and extensional database, power transformer and modulator gyrator, bond graph, parametric estimation, knowledge based management system, power flow
24	Saso Dzeroski, Nada Lavrac	Inductive Learning in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data
22	Puneet Bhateja	Grammar based asynchronous testing.	ISEC	2009	DBLP DOI BibTeX RDF	dynamic test behavior, static test behavior
22	David Kensche, Christoph Quix, Yong Li, Matthias Jarke	Generic Schema Mappings.	ER	2007	DBLP DOI BibTeX RDF
22	Jos de Bruijn, Stijn Heymans	RDF and Logic: Reasoning and Extension.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
22	Jack Xiao-Dong Yang, Roderick V. N. Melnik	A New Constitutive Model for the Analysis of Semi-flexible Polymers with Internal Viscosity.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Polymeric fluid, Dumbbell model, Internal viscosity
22	Maria Emilia Maietti	Quotients over Minimal Type Theory.	CiE	2007	DBLP DOI BibTeX RDF	Dependent type theory, quotient completion, intuitionistic logic
22	Qiusheng An, Wenxiu Zhang	The Measures Relationships Study of Three Soft Rules Based on Granular Computing.	RSKT	2006	DBLP DOI BibTeX RDF	bit representation, soft rules, granules inclusion, EFD, IFD, association rules, Granular computing, decision rules
22	Wojciech Moczydlowski	Normalization of IZF with Replacement.	CSL	2006	DBLP DOI BibTeX RDF
22	Marc Ehrig, Steffen Staab, York Sure	Bootstrapping Ontology Alignment Methods with APFEL.	ISWC	2005	DBLP DOI BibTeX RDF
22	Boris Motik	On the Properties of Metamodeling in OWL.	ISWC	2005	DBLP DOI BibTeX RDF
22	Nicolas Oury	Extensionality in the Calculus of Constructions.	TPHOLs	2005	DBLP DOI BibTeX RDF
22	Marc Ehrig, York Sure, Steffen Staab	Supervised Learning of an Ontology Alignment Process.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
22	Peng Li, Steve Zdancewic	Downgrading policies and relaxed noninterference.	POPL	2005	DBLP DOI BibTeX RDF	downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
22	Christel Kemke	A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases.	ISMIS	2003	DBLP DOI BibTeX RDF
22	Zoubida Kedad, Elisabeth Métais	Ontology-Based Data Cleaning.	NLDB	2002	DBLP DOI BibTeX RDF	Multi-Source Information Systems, Ontology, Data Cleaning
22	Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson	Comparing Functional Paradigms for Exact Real-Number Computation.	ICALP	2002	DBLP DOI BibTeX RDF
22	Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos	Change Management for a Temporal Versioned Object-Oriented Database.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
22	V. Wiktor Marek, Jeffrey B. Remmel	On the Expressibility of Stable Logic Programming.	LPNMR	2001	DBLP DOI BibTeX RDF
22	Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat	A Data Model for XML Databases.	Web Intelligence	2001	DBLP DOI BibTeX RDF
22	Alexander Brodsky 0001, Csilla Farkas, Duminda Wijesekera, Xiaoyang Sean Wang	Constraints, Inference Channels and Secure Databases.	CP	2000	DBLP DOI BibTeX RDF
22	Ingo Schmitt, Stefan Conrad 0001	Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Klassenhierarchie, Restrukturierung, Begriffsanalyse, Datenbankentwurf, Reverse Engineering, Objektorientierung
22	Can Türker, Gunter Saake	Deriving Relationships between Integrity Constraints for Schema Comparison.	ADBIS	1998	DBLP DOI BibTeX RDF
22	Pawel Cholewinski	Towards Programming in Default Logic.	ISMIS	1996	DBLP DOI BibTeX RDF
22	Martin Hofmann 0001	Conservativity of Equality Reflection over Intensional Type Theory.	TYPES	1995	DBLP DOI BibTeX RDF
22	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
22	Ewa Orlowska	Two Logical Dimensions.	JELIA	1994	DBLP DOI BibTeX RDF
22	Yehoshua Sagiv	Optimizing Datalog Programs.	PODS	1987	DBLP DOI BibTeX RDF	DATALOG
22	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
22	Lawrence J. Henschen, Shamim A. Naqvi	Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.	CADE	1982	DBLP DOI BibTeX RDF
22	James H. Morris Jr.	Types are Not Sets.	POPL	1973	DBLP DOI BibTeX RDF
19	Keyu Wang, Guilin Qi, Jiaoyan Chen, Tianxing Wu 0001	Embedding Ontologies via Incorporating Extensional and Intensional Knowledge.	CoRR	2024	DBLP DOI BibTeX RDF
19	Emanuele Frittaion	Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
19	Alejandro Díaz-Caro, Gilles Dowek	Extensional proofs in a propositional logic modulo isomorphisms.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Chris Kapulkin, Yufeng Li	Extensional concepts in intensional type theory, revisited.	CoRR	2023	DBLP DOI BibTeX RDF
19	Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair	Extensional Taylor Expansion.	CoRR	2023	DBLP DOI BibTeX RDF
19	Liron Cohen 0001, Vincent Rahli	TT☐C: a Family of Extensional Type Theories with Effectful Realizers of Continuity.	CoRR	2023	DBLP DOI BibTeX RDF
19	Adam Bouyamourn	Why LLMs Hallucinate, and How to Get (Evidential) Closure: Perceptual, Intensional, and Extensional Learning for Faithful Natural Language Generation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Marcin Jodlowiec, Marek Krótkiewicz, Piotr Zabawa	The analysis of data metamodels' extensional layer via extended generalized graph.	Appl. Intell.	2023	DBLP DOI BibTeX RDF