Search results for "description"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Peter F. Patel-Schneider	DLP System Description.	Description Logics	1998	DBLP BibTeX RDF
28	Ian Horrocks 0001, Ulrike Sattler	A Description Logic with Transitive and Inverse Roles and Role Hierarchies.	Description Logics	1998	DBLP BibTeX RDF
28	Uwe Küssner	Description Logic Unplugged.	Description Logics	1998	DBLP BibTeX RDF
28	Liviu Badea	Planning in Description Logics: Deduction versus Satisfiability Testing.	Description Logics	1998	DBLP BibTeX RDF
28	Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart	Generating Random Benchmarks for Description Logics.	Description Logics	1998	DBLP BibTeX RDF
28	Jordi Alvarez	A Description Logic System for Learning in Complex Domains.	Description Logics	1998	DBLP BibTeX RDF
28	Maarten de Rijke	Description Logics and Modal Logics.	Description Logics	1998	DBLP BibTeX RDF
28	Jean Carrive, François Pachet, Rémi Ronfard	Using Description Logics for Indexing Audiovisual Documents.	Description Logics	1998	DBLP BibTeX RDF
28	Erich Grädel	Description Logics and Guarded Fragments of First Order Logic.	Description Logics	1998	DBLP BibTeX RDF
28	Lin Padgham	Incorporating Default Characteristics and Approximate Matching in Description Logics.	Description Logics	1998	DBLP BibTeX RDF
28	Franz Baader, Alexander Borgida, Deborah L. McGuinness	Matching in Description Logics: Preliminary Results.	Description Logics	1998	DBLP BibTeX RDF
28	Christopher A. Welty	DLs for DLs: Description Logics for Digital Libraries.	Description Logics	1998	DBLP BibTeX RDF
28	Franz Baader, Paliath Narendran	Unification of Concept Terms in Description Logics.	Description Logics	1997	DBLP BibTeX RDF
28	Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo	A Description Logic for reasoning with behavioural knowledge.	Description Logics	1997	DBLP BibTeX RDF
28	Carsten Lutz, Ralf Möller 0001	Defined Topological Relations in Description Logics.	Description Logics	1997	DBLP BibTeX RDF
28	Sylvie Salotti, Véronique Ventos	Study and Formalization of a Case-Based Reasoning System with a Description Logic.	Description Logics	1997	DBLP BibTeX RDF
28	Franz Baader, Ulrike Sattler	Description Logics with Aggregates and Concrete Domains.	Description Logics	1997	DBLP BibTeX RDF
28	Thorsten Liebig, Dietmar F. Rösner	Action Hierarchies in Description Logics.	Description Logics	1997	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Conjunctive Query Containment in Description Logics with n-ary Relations.	Description Logics	1997	DBLP BibTeX RDF
28	Angela Bonifati, Luigi Palopoli 0001, Domenico Saccà, Domenico Ursino	Discovering description logic assertions from database schemes.	Description Logics	1997	DBLP BibTeX RDF
28	Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf	Dwebic: An Intelligent Search Engine based on Default Description Logics.	Description Logics	1997	DBLP BibTeX RDF
28	Ian Horrocks 0001, Graham Gough	Description Logics with Transitive Roles.	Description Logics	1997	DBLP BibTeX RDF
28	Natasha Kurtonina, Maarten de Rijke	Classifying Description Logics.	Description Logics	1997	DBLP BibTeX RDF
28	Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati 0001	Description Logic-baqsed Framrwork for Planning with Sensing Actions.	Description Logics	1997	DBLP BibTeX RDF
28	Véronique Ventos	A Deductive Study of the C-CLASSICde Description Logic.	Description Logics	1996	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Representing SGML Documents in Description Logics.	Description Logics	1996	DBLP BibTeX RDF
28	Jeroen Nijhuis	The Use of Description Logics in the Condorcet Conceptual Information Retrieval System.	Description Logics	1996	DBLP BibTeX RDF
28	Giuseppe De Giacomo, Maurizio Lenzerini	TBox and ABox Reasoning in Expressive Description Logics.	Description Logics	1996	DBLP BibTeX RDF
28	Riccardo Rosati 0001	On the Semantics of Epistemic Description Logics.	Description Logics	1996	DBLP BibTeX RDF
28	Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou	Class Algebra as a Description Logic.	Description Logics	1996	DBLP BibTeX RDF
28	Franz Baader, Ulrike Sattler	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.	Description Logics	1996	DBLP BibTeX RDF
28	Ian Horrocks 0001, Alan L. Rector	Using a Description Logic with Concept Inclusions.	Description Logics	1996	DBLP BibTeX RDF
28	Volker Haarslev	Using Description Logic for Reasoning about Diagrammatical Notations.	Description Logics	1996	DBLP BibTeX RDF
28	Thorsten Liebig, Dietmar F. Rösner	Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents.	Description Logics	1996	DBLP BibTeX RDF
28	Daniel Kudenko, Haym Hirsh	Representing Sequences in Description Logics Using Suffix Trees.	Description Logics	1996	DBLP BibTeX RDF
28	Marco Cadoli, Luigi Palopoli 0001, Maurizio Lenzerini	Datalog and Description Logics: Expressive Power - Preliminary Report.	Description Logics	1996	DBLP BibTeX RDF
28	Gerd Kamp, Holger Wache	Using Description Logics for Consistency-based Diagnosis.	Description Logics	1996	DBLP BibTeX RDF
28	Makoto Haraguchi	Towards a Legal Reasoning System based on Description Logics: A Position Paper.	Description Logics	1996	DBLP BibTeX RDF
28	Diego Calvanese	Finite Model Reasoning in Description Logics.	Description Logics	1996	DBLP BibTeX RDF
28	Patrick Lambrix, Lin Padgham	A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application.	Description Logics	1996	DBLP BibTeX RDF
28	Piet-Hein Speel	Can Description Logics Be Used in Real-Life Knowledge-Based Systems?	Description Logics	1996	DBLP BibTeX RDF
28	Nicola Guarino	Kinds of Relations: Some Methodological Principles for Using Description Logics.	Description Logics	1992	DBLP BibTeX RDF
28	Deborah L. McGuinness	Making Description Logic Based Knowledge Representation Systems More Usable.	Description Logics	1992	DBLP BibTeX RDF
28	Mira Balaban	F-Logic as a Basis for a General Description Logic.	Description Logics	1992	DBLP BibTeX RDF
28	Andrea Schaerf	On the Role of Subsumption Algorithms in Concept Description Languages.	Description Logics	1992	DBLP BibTeX RDF
28	Robert A. Weida	Issues in Description Logics.	Description Logics	1992	DBLP BibTeX RDF
28	Peter F. Patel-Schneider	Partial Reasoning in Knowledge Representation Systems Based on Description Logics.	Description Logics	1992	DBLP BibTeX RDF
28	Robert M. MacGregor	What's Needed to Make a Description Logic a Good KR Citizen?	Description Logics	1992	DBLP BibTeX RDF
28	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Conditional axioms and α/β-calculus in process algebra.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Jean-Pierre Jouannaud, B. Waldmann	Reductive conditional term rewriting systems.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Peter D. Mosses, David A. Watt	The use of action semantics.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog	Failures without chaos: a new process semantics for fair abstraction.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Susumu Hayashi	PX: a system extracting programs from proofs.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	M. Chadili, Irène Guessarian	Notions of fairness for synchronous fork join nets.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Eike Best, Raymond R. Devillers	Interleaving and partial orders in concurrency: a formal comparison.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Roberto M. Amadio, Giuseppe Longo	Type-free compiling of parametric types.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Sarangapani Jagannathan	A model of data backup and recovery in a computer system for functional programming.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Grazyna Mirkowska, Andrzej Salwicki	Axiomatic definability of programming language semantics.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Matthias Felleisen, Daniel P. Friedman	Control operators, the SECD-machine, and the λ-calculus.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Scott A. Smolka, Robert E. Strom	A CCS semantics for NIL.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Saumya K. Debray, Prateek Mishra	Denotational and operational semantics for PROLOG.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher	PROLOG - II as an instance of the logic programming language scheme.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Mariangiola Dezani-Ciancaglini, Ines Margaria	Polymorphic types, fixed-point combinators and continuous lambda-models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Frank S. de Boer	A proof rule for process-creation.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Observational equivalences for concurrency models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Manfred Broy, Martin Wirsing	On the Algebraic Specification of Finitary Infinite.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Jan A. Bergstra, Jan Willem Klop	Formal Proof Systems for Program Equivalence.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Ruurd Kuiper 0001, Willem P. de Roever	Fairness Assumptions for CSP in a Temporal Logic Framework.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Manfred Broy	Fixed PointTheory for Communication and Concurrency.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Guy Cousineau	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Guy Cousineau	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Peter Padawitz	Equational Data Type Specifications and Recursive Program Schemes.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Ilaria Castellani, Paola Franceschi, Ugo Montanari	Labeled Event Structures: A Model for Observable Concurrency.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Gordon D. Plotkin	An Operational Semantics for CSP.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Jaco de Bakker	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado	Properties of Conceptual and External Database Schemas.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Hartmann J. Genrich, P. S. Thiagarajan	Well-Formed Flow Charts for Concurrent Programming.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Marie-Claude Gaudel	Correctness Proof of Programming Language Translations.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Erich J. Neuhold	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	P. Lucas	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Harald Ganzinger	Denotational Semantics for Languages with Modules.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Andrea Maggiolo-Schettini, Józef Winkowski	Towards a Programming Language for Manipulating Relational Data Bases.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Eric G. Wagner	Functorial Hierarchies of Functional Languages.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Eike Best	Relational Semantics of Concurrent Programs (With Some Applications).	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig	Recursive Decomposition Ordering.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Peter D. Mosses	Abstract Semantic Algebras.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Andrzej Blikle	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Matthew C. B. Hennessy, Wei Li 0022	Translating a Subset of Ada into CCS.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Henning Christiansen 0001, Neil D. Jones	Control Flow Treatment in a Simple Semantics-Directed Compiler Generator.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Krzysztof R. Apt	Equivalence of Operational and Denotational Semantics for a Fragment of Pascal.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Reiji Nakajima, Michio Honda, Hayao Nakahara	Describing and Verifying Programs with Abstract Data Types.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Maarten M. Fokkinga	Axiomatization of Declarations and the Formal Treatment of an Escape Construct.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Richard J. Lipton, Lawrence Snyder	On the Power of Applicative Languages.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	John V. Guttag, James J. Horning, Ralph L. London	A Proof Rule for Euclid Procedures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Jaco de Bakker	Recursive Programs as Predicate Transformers.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Patrick Cousot, Radhia Cousot	Static Determination of Dynamic Properties of Recursive Procedures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Axel van Lamsweerde	From Verifying Termination to Guaranteeing it: A Case Study.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Arvind, Kim P. Gostelow	Some Relationships Between Asynchronous Interpreters of a Dataflow Language.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Peter E. Lauer, Eike Best, Michael W. Shields	On the Problem of Achieving Adequacy of Concurrent Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF