Search results for "sublanguages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Artur Boronat, Alexander Knapp, José Meseguer 0001, Martin Wirsing	What Is a Multi-modeling Language?	WADT	2008	DBLP DOI BibTeX RDF
50	Iliano Cervesato, Frank Pfenning	Linear Higher-Order Pre-Unification.	LICS	1997	DBLP DOI BibTeX RDF	linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
42	Roberto Basili 0001, Maria Teresa Pazienza, Paola Velardi	Acquisition of selectional patterns in sublanguages.	Mach. Transl.	1993	DBLP DOI BibTeX RDF
34	Harold Boley	Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms.	RuleML	2003	DBLP DOI BibTeX RDF
34	Val Tannen, Peter Buneman, Limsoon Wong	Naturally Embedded Query Languages.	ICDT	1992	DBLP DOI BibTeX RDF
34	John Hannan	Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages.	ELP	1991	DBLP DOI BibTeX RDF
33	Leland L. Beck	A Relational Problem Definition Language For Structured Data Processing.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Problem definition languages, Relational data sublanguages, Structured data processing, Transaction-oriented systems, PDL/ADA, Query languages, Query transformation, Automatic program generation
25	Oliver Kautz	The complexities of the satisfiability checking problems of feature diagram sublanguages.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
25	Liyong Lin, Rong Su 0001	A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory.	CoRR	2021	DBLP BibTeX RDF
25	Liyong Lin, Yuting Zhu, Rong Su 0001	A Topological Approach for Computing Supremal Sublanguages.	ICARCV	2020	DBLP DOI BibTeX RDF
25	Terri Elizabeth Workman, Guy Divita, Qing Zeng-Treitler	Discovering Sublanguages in a Large Clinical Corpus through Unsupervised Machine Learning and Information Gain.	IEEE BigData	2019	DBLP DOI BibTeX RDF
25	Kai Cai, Renyuan Zhang, W. M. Wonham	Characterizations and effective computation of supremal relatively observable sublanguages.	Discret. Event Dyn. Syst.	2018	DBLP DOI BibTeX RDF
25	Jan Komenda, Tomás Masopust	Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication.	Discret. Event Dyn. Syst.	2017	DBLP DOI BibTeX RDF
25	Kai Cai, Renyuan Zhang, Walter Murray Wonham	Correction to "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages".	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
25	Waheedullah Sulaiman Khail, Valentino Vranic	Treating Pattern Sublanguages as Patterns with an Application to Organizational Patterns.	EuroPLoP	2017	DBLP DOI BibTeX RDF
25	Jan Komenda, Tomás Masopust	Distributed computation of supremal conditionally controllable sublanguages.	Int. J. Control	2016	DBLP DOI BibTeX RDF
25	Kai Cai, Renyuan Zhang, Walter Murray Wonham	Characterizations and Effective Computation of Supremal Relatively Observable Sublanguages.	CoRR	2016	DBLP BibTeX RDF
25	Javier Arias Navarro	Right Ideals of a Ring and Sublanguages of Science.	CoRR	2016	DBLP BibTeX RDF
25	Majed Ben-Kalefa, Feng Lin	Opaque Superlanguages and Sublanguages in Discrete Event Systems.	Cybern. Syst.	2016	DBLP DOI BibTeX RDF
25	Mwawi F. Msiska, Lynette van Zijl	Interpreting the Subset Construction Using Finite Sublanguages.	Stringology	2016	DBLP BibTeX RDF
25	Rong Su 0001	A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
25	Kai Cai, Renyuan Zhang, Walter Murray Wonham	Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
25	Jan Komenda, Tomás Masopust	On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control.	CoRR	2015	DBLP BibTeX RDF
25	Masashi Nomura, Shigemasa Takai	Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2013	DBLP DOI BibTeX RDF
25	Kai Cai, Renyuan Zhang, Walter Murray Wonham	Relative Observability of Discrete-Event Systems and its Supremal Sublanguages.	CoRR	2013	DBLP BibTeX RDF
25	Irina P. Temnikova, Negacy D. Hailu, Galia Angelova, K. Bretonnel Cohen	Measuring Closure Properties of Patent Sublanguages.	RANLP	2013	DBLP BibTeX RDF
25	Irina P. Temnikova, Kevin Bretonnel Cohen	Recognizing Sublanguages in Scientific Journal Articles through Closure Properties.	BioNLP@ACL	2013	DBLP BibTeX RDF
25	Rong Su 0001	A greedy algorithm for computing finite-makespan controllable sublanguages.	CDC	2012	DBLP DOI BibTeX RDF
25	Thomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin 0001, Stéphane Lafortune	On the computation of supremal sublanguages relevant to supervisory control.	WODES	2012	DBLP DOI BibTeX RDF
25	Jan Komenda, Tomás Masopust, Jan H. van Schuppen	Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.	Syst. Control. Lett.	2011	DBLP DOI BibTeX RDF
25	Jan Komenda, Tomás Masopust, Jan H. van Schuppen	Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems.	WODES	2010	DBLP DOI BibTeX RDF
25	Jan Komenda, Tomás Masopust	Supremal normal sublanguages in hierarchical supervisory control.	WODES	2010	DBLP DOI BibTeX RDF
25	Majed Ben-Kalefa, Feng Lin	Opaque superlanguages and sublanguages in discrete event systems.	CDC	2009	DBLP DOI BibTeX RDF
25	Sanjay Jain 0001, Efim B. Kinber	Learning and extending sublanguages.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
25	Assaf Hasson, Martin Hils	Fusion over sublanguages.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
25	Shigemasa Takai, Yongming Bai	Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2006	DBLP DOI BibTeX RDF
25	Sanjay Jain 0001, Efim B. Kinber	Learning and Extending Sublanguages.	ALT	2006	DBLP DOI BibTeX RDF
25	Shigemasa Takai, Ratnesh Kumar 0001, Toshimitsu Ushio	Characterization of co-observable languages and formulas for their super/sublanguages.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
25	Shahin Hashtrudi-Zad, M. Moosaei, Walter Murray Wonham	On computation of supremal controllable, normal sublanguages.	Syst. Control. Lett.	2005	DBLP DOI BibTeX RDF
25	Jan Komenda, Jan H. van Schuppen	Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
25	Pál Dömösi, Carlos Martín-Vide, Victor Mitrana	Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
25	Carol Friedman, Pauline Kra, Andrey Rzhetsky	Two biomedical sublanguages: a description based on the theories of Zellig Harris.	J. Biomed. Informatics	2002	DBLP DOI BibTeX RDF
25	Roberto Basili 0001, Alessandro Cucchiarelli, Carlo Consoli, Maria Teresa Pazienza, Paola Velardi	Automatic Adaptation of WordNet to Sublanguages and to Computational Tasks.	WordNet@ACL/COLING	1998	DBLP BibTeX RDF
25	Harold L. Somers	An Attempt to Use Weighted Cusums to Identify Sublanguages.	CoNLL	1998	DBLP BibTeX RDF
25	Jussi Karlgren	Sublanguages and Registers: A Note on Terminology.	Interact. Comput.	1993	DBLP DOI BibTeX RDF
25	Franco Parlamento, Alberto Policriti	Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability.	J. Autom. Reason.	1991	DBLP DOI BibTeX RDF
25	Alfredo Ferro	Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators.	J. Autom. Reason.	1991	DBLP DOI BibTeX RDF
25	Domenico Cantone	Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators.	J. Autom. Reason.	1991	DBLP DOI BibTeX RDF
25	Domenico Cantone, Jacob T. Schwartz	Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs.	J. Autom. Reason.	1991	DBLP DOI BibTeX RDF
25	Heinz-Dirk Luckhardt	Sublanguages In Machine Translation.	EACL	1991	DBLP BibTeX RDF
25	Susan Bonzi	Syntactic patterns in scientific sublanguages: A study of four disciplines.	J. Am. Soc. Inf. Sci.	1990	DBLP DOI BibTeX RDF
25	Domenico Cantone, Vincenzo Cutello	Decision Procedures for Elementary Sublanguages of Set Theory.	J. Autom. Reason.	1990	DBLP DOI BibTeX RDF
25	Hangju Cho, Steven I. Marcus	On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation.	Math. Control. Signals Syst.	1989	DBLP DOI BibTeX RDF
25	Hangju Cho, Steven I. Marcus	Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations.	Math. Syst. Theory	1989	DBLP DOI BibTeX RDF
25	Domenico Cantone, Vincenzo Cutello	Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection.	Bull. EATCS	1989	DBLP BibTeX RDF
25	Domenico Cantone, Vincenzo Cutello, Alfredo Ferro	Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs.	ISSAC	1988	DBLP DOI BibTeX RDF
25	Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz	Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator.	J. Comput. Syst. Sci.	1987	DBLP DOI BibTeX RDF
25	Richard I. Kittredge	Sublanguages.	Am. J. Comput. Linguistics	1982	DBLP BibTeX RDF
25	Frank G. Pagan	Nested sublanguages of Algol 68 for teaching purposes.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
25	Leland L. Beck	A Generalized Implementation Method for Relational Data Sublanguages.	IEEE Trans. Software Eng.	1980	DBLP DOI BibTeX RDF
25	Richard I. Kittredge	Embedded Sublanguages And Natural Language Processing.	COLING	1980	DBLP BibTeX RDF
25	Leland L. Beck	A generalized implementation method for relational data sublanguages.	COMPSAC	1978	DBLP DOI BibTeX RDF
25	E. F. Codd	Relational Completeness of Data Base Sublanguages.	Research Report / RJ / IBM / San Jose, California	1972	RDF
25	C. H. Lindsey	Some Algol 68 Sublanguages.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
25	Gerhard Goos, Henry J. Bowlden, Paul Branquart, Barry J. Mailloux, John E. L. Peck, Philip M. Woodward	Panel Discussion - Algol 68 Sublanguages.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
25	Jirí Kopriva	A note on the structure of certain predicates concerning the sublanguages of ALGOL 60.	Kybernetika	1965	DBLP BibTeX RDF
17	Tillmann Rendel, Klaus Ostermann, Christian Hofer	Typed self-representation.	PLDI	2009	DBLP DOI BibTeX RDF	self interpretation, reflection, types, lambda calculus, language design
17	Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera	Tableaux and Model Checking for Memory Logics.	TABLEAUX	2009	DBLP DOI BibTeX RDF
17	Ingo Weisemöller, Andy Schürr	Formal Definition of MOF 2.0 Metamodel Components and Composition.	MoDELS	2008	DBLP DOI BibTeX RDF	MOF 2.0, Metamodeling, software components, reusability
17	Frederic Maris, Pierre Régnier	TLP-GP: Solving Temporally-Expressive Planning Problems.	TIME	2008	DBLP DOI BibTeX RDF
17	Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes	Specifying Strategies for Exercises.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
17	Oliver Fritzen, Wolfgang May, Franz Schenk	Markup and Component Interoperability for Active Rules.	RR	2008	DBLP DOI BibTeX RDF
17	Ivan Kurtev	State of the Art of QVT: A Model Transformation Language Standard.	AGTIVE	2007	DBLP DOI BibTeX RDF	MDA, Model transformations, MDE, QVT
17	Michael Benedikt, Alan Jeffrey	Efficient and Expressive Tree Filters.	FSTTCS	2007	DBLP DOI BibTeX RDF
17	Zoran Majkic	Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems.	FQAS	2006	DBLP DOI BibTeX RDF
17	Frédéric Jouault, Ivan Kurtev	On the architectural alignment of ATL and QVT.	SAC	2006	DBLP DOI BibTeX RDF	interoperability, model transformations, QVT, ATL, model engineering
17	Jan Komenda, Jan H. van Schuppen	Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	bisimulation, supervisory control, coalgebra, coinduction, partial observations
17	Peter Thiemann 0001	An embedded domain-specific language for type-safe server-side web scripting.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Interactive Web services, Web programming
17	Zoran Majkic	Intensional P2P Mappings Between RDF Ontologies.	WISE	2005	DBLP DOI BibTeX RDF
17	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
17	Henning Christiansen 0001, Verónica Dahl	HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.	ICLP	2005	DBLP DOI BibTeX RDF
17	Jan Komenda, Jan H. van Schuppen	Control of Modular and Distributed Discrete-Event Systems.	FMCO	2005	DBLP DOI BibTeX RDF
17	Tung Bui 0001, Hans-Jürgen Sebastian, Daniel R. Dolk, Alexandre Gachet	Virtual Environments for Advanced Modeling: Conceptual Foundations for Research.	HICSS	2005	DBLP DOI BibTeX RDF
17	Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer	The OO jDREW Reference Implementation of RuleML.	RuleML	2005	DBLP DOI BibTeX RDF
17	Michael Benedikt, Wenfei Fan, Gabriel M. Kuper	Structural Properties of XPath Fragments.	ICDT	2003	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber, Rolf Wiehagen	Learning All Subfunctions of a Function.	COLT	2003	DBLP DOI BibTeX RDF
17	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli	Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
17	Marc Cavazza	Natural Language Communication with Virtual Actors.	SCIE	2002	DBLP DOI BibTeX RDF
17	Harold Boley	The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
17	Gregor Engels, Reiko Heckel, Stefan Sauer 0001	UML - A Universal Modeling Language?	ICATPN	2000	DBLP DOI BibTeX RDF	UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram
17	David Tanzer, Dennis E. Shasha	Queryable Acyclic Production Systems.	CIKM	1999	DBLP DOI BibTeX RDF	Datalog
17	Ralf Jungclaus, Gunter Saake, Thorsten Hartmann, Cristina Sernadas	TROLL - A Language for Object-Oriented Specification of Information Systems.	ACM Trans. Inf. Syst.	1996	DBLP DOI BibTeX RDF
17	Giacomo Lenzi	A Hierarchy Theorem for the µ-Calculus.	ICALP	1996	DBLP DOI BibTeX RDF
17	Gian Piero Zarri	The "Narrative Knowledge Representation Language", a knowledge-based approach for representing the "meaning" of textual documents.	ICDAR	1995	DBLP DOI BibTeX RDF	Narrative Knowledge Representation Language, textual documents, semantic content, narrative documents, NKRL, knowledge representation, natural languages, natural language, document handling, knowledge-based approach
17	Jan Chomicki, Damian Niwinski	On the Feasibility of Checking Temporal Integrity Constraints.	PODS	1993	DBLP DOI BibTeX RDF
17	Christine A. Montgomery, Bonnie Glover Stalls, Robert E. Stumberger, Naicong Li, Robert S. Belvin, Alfredo Arnaiz, Susan B. Hirsh	Language Systems, Inc.: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF
17	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.	J. ACM	1986	DBLP DOI BibTeX RDF
17	Kazimierz Subieta	Semantics of Query Languages for Network Databases.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
17	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.	POPL	1983	DBLP DOI BibTeX RDF
17	Martin K. Solomon	Some properties of relational expressions.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF	equi-join, predicate lock, Concurrency, query optimization, relational algebra, undecidability, relational calculus, predicate calculus, natural join