Search results for "Logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Stefan Schlobach	Assertional Mining in Description Logics.	Description Logics	2000	DBLP BibTeX RDF
30	Carole A. Goble	What have the Romans (and Germans) ever done for us? or There are real applications for Description Logics some of which even take advantage of their reasoning services.	Description Logics	2000	DBLP BibTeX RDF
30	Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell	On Decidability and Complexity of Description Logics with Uniqueness Constraints.	Description Logics	2000	DBLP BibTeX RDF
30	François Goasdoué, Marie-Christine Rousset	Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions.	Description Logics	2000	DBLP BibTeX RDF
30	Carlos Areces, Wiet Bouma, Maarten de Rijke	Description Logics and Feature Interaction.	Description Logics	1999	DBLP BibTeX RDF
30	Riccardo Rosati 0001	Towards expressive KR systems integrating datalog and description logics: preliminary report.	Description Logics	1999	DBLP BibTeX RDF
30	Franz Baader, Ralf Molitor	Rewriting in Description Logics Using Terminologies.	Description Logics	1999	DBLP BibTeX RDF
30	Thomas Mantay	Computing Least Common Subsumers in Expressive Description Logics.	Description Logics	1999	DBLP BibTeX RDF
30	Natasha Alechina	(Modal) Logics for Semistructed Data.	Description Logics	1999	DBLP BibTeX RDF
30	Stephan Tobies	On the Complexity of Counting in Description Logics.	Description Logics	1999	DBLP BibTeX RDF
30	Volker Haarslev, Ralf Möller 0001	An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.	Description Logics	1999	DBLP BibTeX RDF
30	Daniel Kudenko, Haym Hirsh	Feature-Based Learners for Description Logics.	Description Logics	1999	DBLP BibTeX RDF
30	Alessandro Artale, Carsten Lutz	A Correspondence between Temporal Description Logics.	Description Logics	1999	DBLP BibTeX RDF
30	Franz Baader, Ralf Küsters	Matching in Description Logics with Existential Restrictions.	Description Logics	1999	DBLP BibTeX RDF
30	Eugenio Di Sciascio, Francesco M. Donini	Description Logics for Image Recognition: a preliminary proposal.	Description Logics	1999	DBLP BibTeX RDF
30	Anna Dorofeyeva	Analysis of Semantic Networks By Means of Description Logics.	Description Logics	1999	DBLP BibTeX RDF
30	Martina Grathwohl, François de Bertrand de Beuvron, François Rousselot	A New Application for Description Logics: Disaster Management.	Description Logics	1999	DBLP BibTeX RDF
30	Liviu Badea	Planning in Description Logics: Deduction versus Satisfiability Testing.	Description Logics	1998	DBLP BibTeX RDF
30	Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart	Generating Random Benchmarks for Description Logics.	Description Logics	1998	DBLP BibTeX RDF
30	Jean Carrive, François Pachet, Rémi Ronfard	Using Description Logics for Indexing Audiovisual Documents.	Description Logics	1998	DBLP BibTeX RDF
30	Erich Grädel	Description Logics and Guarded Fragments of First Order Logic.	Description Logics	1998	DBLP BibTeX RDF
30	Lin Padgham	Incorporating Default Characteristics and Approximate Matching in Description Logics.	Description Logics	1998	DBLP BibTeX RDF
30	Franz Baader, Alexander Borgida, Deborah L. McGuinness	Matching in Description Logics: Preliminary Results.	Description Logics	1998	DBLP BibTeX RDF
30	Christopher A. Welty	DLs for DLs: Description Logics for Digital Libraries.	Description Logics	1998	DBLP BibTeX RDF
30	Anthony J. Bonner, Michael Kifer	A Logic for Programming Database Transactions.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Jan Chomicki, David Toman 0001	Temporal Logic in Information Systems.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Georg Lausen, Bertram Ludäscher, Wolfgang May	On Logical Foundations of Active Databases.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Stefan Conrad 0001, Jaime Ramos, Gunter Saake, Cristina Sernadas	Evolving Logical Specification in Information Systems.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Parke Godfrey, John Grant, Jarek Gryz, Jack Minker	Integrity Constraints: Semantics and Applications.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Ron van der Meyden	Logical Approaches to Incomplete Information: A Survey.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Stefan Conrad 0001	A Logic Primer.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Laks V. S. Lakshmanan, Krishnaprasad Thirunarayan	Declarative Frameworks for Inheritance.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	John-Jules Ch. Meyer, Roel J. Wieringa, Frank Dignum	The Role of Deontic Logic in the Specification of Information Systems.	Logics for Databases and Information Systems	1998	DBLP BibTeX RDF
30	Franz Baader, Paliath Narendran	Unification of Concept Terms in Description Logics.	Description Logics	1997	DBLP BibTeX RDF
30	Carsten Lutz, Ralf Möller 0001	Defined Topological Relations in Description Logics.	Description Logics	1997	DBLP BibTeX RDF
30	Franz Baader, Ulrike Sattler	Description Logics with Aggregates and Concrete Domains.	Description Logics	1997	DBLP BibTeX RDF
30	Thorsten Liebig, Dietmar F. Rösner	Action Hierarchies in Description Logics.	Description Logics	1997	DBLP BibTeX RDF
30	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Conjunctive Query Containment in Description Logics with n-ary Relations.	Description Logics	1997	DBLP BibTeX RDF
30	Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf	Dwebic: An Intelligent Search Engine based on Default Description Logics.	Description Logics	1997	DBLP BibTeX RDF
30	Ian Horrocks 0001, Graham Gough	Description Logics with Transitive Roles.	Description Logics	1997	DBLP BibTeX RDF
30	Natasha Kurtonina, Maarten de Rijke	Classifying Description Logics.	Description Logics	1997	DBLP BibTeX RDF
30	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Representing SGML Documents in Description Logics.	Description Logics	1996	DBLP BibTeX RDF
30	Jeroen Nijhuis	The Use of Description Logics in the Condorcet Conceptual Information Retrieval System.	Description Logics	1996	DBLP BibTeX RDF
30	Giuseppe De Giacomo, Maurizio Lenzerini	TBox and ABox Reasoning in Expressive Description Logics.	Description Logics	1996	DBLP BibTeX RDF
30	Riccardo Rosati 0001	On the Semantics of Epistemic Description Logics.	Description Logics	1996	DBLP BibTeX RDF
30	Franz Baader, Ulrike Sattler	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.	Description Logics	1996	DBLP BibTeX RDF
30	Daniel Kudenko, Haym Hirsh	Representing Sequences in Description Logics Using Suffix Trees.	Description Logics	1996	DBLP BibTeX RDF
30	Marco Cadoli, Luigi Palopoli 0001, Maurizio Lenzerini	Datalog and Description Logics: Expressive Power - Preliminary Report.	Description Logics	1996	DBLP BibTeX RDF
30	Gerd Kamp, Holger Wache	Using Description Logics for Consistency-based Diagnosis.	Description Logics	1996	DBLP BibTeX RDF
30	Makoto Haraguchi	Towards a Legal Reasoning System based on Description Logics: A Position Paper.	Description Logics	1996	DBLP BibTeX RDF
30	Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani	A New Method for Testing Decision Procedures in Modal and Terminological Logics.	Description Logics	1996	DBLP BibTeX RDF
30	Diego Calvanese	Finite Model Reasoning in Description Logics.	Description Logics	1996	DBLP BibTeX RDF
30	Piet-Hein Speel	Can Description Logics Be Used in Real-Life Knowledge-Based Systems?	Description Logics	1996	DBLP BibTeX RDF
30	Michael Fisher 0001, Richard Owens	An Introduction to Executable Modal and Temporal Logics.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
30	Nicola Guarino	Kinds of Relations: Some Methodological Principles for Using Description Logics.	Description Logics	1992	DBLP BibTeX RDF
30	Philipp Hanschke	How to Benefit from Terminological Logics?	Description Logics	1992	DBLP BibTeX RDF
30	Robert A. Weida	Issues in Description Logics.	Description Logics	1992	DBLP BibTeX RDF
30	Peter F. Patel-Schneider	Partial Reasoning in Knowledge Representation Systems Based on Description Logics.	Description Logics	1992	DBLP BibTeX RDF
30	Ronald J. Brachman	Interests and Issues in Description (Terminological) Logics.	Description Logics	1991	DBLP BibTeX RDF
30	Albrecht Schmiedel	Integrating Time into Terminological Logics.	Description Logics	1991	DBLP BibTeX RDF
30	Peter F. Patel-Schneider	Handling Computational Difficulties with Reasoning in Terminological Logics.	Description Logics	1991	DBLP BibTeX RDF
30	Jochen Heinsohn	A Probabilistic Extension for Terminological Logics.	Description Logics	1991	DBLP BibTeX RDF
30	Lin Padgham	Position Paper - Terminological Logics Workshop.	Description Logics	1991	DBLP BibTeX RDF
30	William R. Swartout	Using Terminological Logics in a Problem Solver.	Description Logics	1991	DBLP BibTeX RDF
30	Peter Schroeder-Heister	Cut Elimination for Logics with Definitional Reflection.	Nonclassical Logics and Information Processing	1990	DBLP DOI BibTeX RDF
30	Luis Fariñas del Cerro	Resolution Modal Logics.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
29	Akihiro Yamamoto, Kouichi Hirata	The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007).	JSAI	2007	DBLP DOI BibTeX RDF
29	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
29	Koen V. Hindriks, John-Jules Ch. Meyer	Agent Logics as Program Logics: Grounding KARO.	KI	2006	DBLP DOI BibTeX RDF
29	Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter	Reasoning About Actions Using Description Logics with General TBoxes.	JELIA	2006	DBLP DOI BibTeX RDF
29	Franz Baader	Engineering of Logics for the Content-Based Representation of Information.	JELIA	2004	DBLP DOI BibTeX RDF
29	Guido Governatori, Vineet Padmanabhan, Abdul Sattar 0001	On Fibring Semantics for BDI Logics.	JELIA	2002	DBLP DOI BibTeX RDF
29	Viorica Sofronie-Stokkermans	Resolution-Based Theorem Proving for SHn-Logics.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
29	Giuseppe De Giacomo, Maurizio Lenzerini	Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.	JELIA	1994	DBLP DOI BibTeX RDF
29	Nicolas Zabel	An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.	JELIA	1992	DBLP DOI BibTeX RDF
28	Inanç Seylan, Wojciech Jamroga	Description logic for coalitions.	AAMAS (1)	2009	DBLP BibTeX RDF	strategic logics, satisfiability, description logics, tableaux
28	James Harland, David J. Pym	Resource-distribution via Boolean constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Boolean constraints, Algebras, sequent calculus, substructural logics, proof-search, relevant logics
28	Ramon Jansana	Leibniz Filters Revisited.	Stud Logica	2003	DBLP DOI BibTeX RDF	Weakly algebraizable logics, global and local consequence relations, Protoalgebraic logics
28	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
28	Harald Ganzinger, Christoph Meyer 0001, Margus Veanes	The Two-Variable Guarded Fragment with Transitive Relations.	LICS	1999	DBLP DOI BibTeX RDF	Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
28	Thomas Lukasiewicz	Probabilistic and Truth-Functional Many-Valued Logic Programming.	ISMVL	1999	DBLP DOI BibTeX RDF	many-valued logic programming, logics of probability, truth-functional many-valued logics
28	Wendy MacCaull	Finite Algebraic Models for Residuated Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
28	Gemma Robles, José M. Méndez	The basic constructive logic for a weak sense of consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent Logic, Substructural logics, Constructive negation
28	Gemma Robles	The Basic Constructive Logic for Negation-Consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent logic, Substructural logics, Constructive negation
28	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
28	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
28	Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.	MFCS	2003	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
28	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
28	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	The Semantics of the Compound Term Composition Algebra.	OTM	2003	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
28	Volker Diekert, Paul Gastin	Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets.	LPAR	2001	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
28	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient defeasible reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining
27	Riccardo Rosati 0001	Finite Model Reasoning in DL-Lite.	ESWC	2008	DBLP DOI BibTeX RDF
27	Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang	Reasoning Technique for Extended Fuzzy ALCQ.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
27	Radu Mardare, Corrado Priami	Decidable Extensions of Hennessy-Milner Logic.	FORTE	2006	DBLP DOI BibTeX RDF
27	Guram Bezhanishvili, Leo Esakia, David Gabelaia	Some Results on Modal Axiomatization and Definability for Topological Spaces.	Stud Logica	2005	DBLP DOI BibTeX RDF	topological semantics, submaximal spaces, Modal logic
27	Davide Bresolin, Angelo Montanari	A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
27	Stéphane Demri, Ranko Lazic 0001, David Nowak	On the Freeze Quantifier in Constraint LTL: Decidability and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
27	Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson	Ultrafilter Extensions for Coalgebras.	CALCO	2005	DBLP DOI BibTeX RDF
27	Tadeusz Litak	Modal Incompleteness Revisited.	Stud Logica	2004	DBLP DOI BibTeX RDF	general frames, Kripke incompleteness, neighbourhood incompleteness, complete incompleteness, modal algebras
27	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Game-Based Notions of Locality Over Finite Models.	CSL	2004	DBLP DOI BibTeX RDF