Search results for "logics"

Hits ?▲	Authors	Title	Venue	Year	Link
30	Chan Le Duc, Myriam Lamolle	Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.	Description Logics	2010	DBLP BibTeX RDF
30	Norihiro Kamide	A Compatible Approach to Temporal Description Logics.	Description Logics	2010	DBLP BibTeX RDF
30	Yue Ma 0009, Pascal Hitzler	Distance-based Measures of Inconsistency and Incoherency for Description Logics.	Description Logics	2010	DBLP BibTeX RDF
30	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone	Second-Order Description Logics: Semantics, Motivation, and a Calculus.	Description Logics	2010	DBLP BibTeX RDF
30	Inanç Seylan, Enrico Franconi, Jos de Bruijn	Optimal Rewritings in Definitorially Complete Description Logics.	Description Logics	2010	DBLP BibTeX RDF
30	Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou	Optimization Techniques for Fuzzy Description Logics.	Description Logics	2010	DBLP BibTeX RDF
30	Norihiro Kamide	Paraconsistent Description Logics Revisited.	Description Logics	2010	DBLP BibTeX RDF
30	Ernst-Erich Doberkat, Alexander Kurz 0001	09502 Abstracts Collection - Coalgebraic Logics.	Coalgebraic Logics	2009	DBLP BibTeX RDF
30	Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek	A Semantic Algebra for Modularized Description Logics Knowledge Bases.	Description Logics	2009	DBLP BibTeX RDF
30	Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001	On Higher-Order Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Thomas Lukasiewicz, Azzurra Ragone	A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation.	Description Logics	2009	DBLP BibTeX RDF
30	Espen H. Lian, Arild Waaler	An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).	Description Logics	2009	DBLP BibTeX RDF
30	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.	Description Logics	2009	DBLP BibTeX RDF
30	Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio	A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Rajeev Goré	Global Caching, Inverse Roles and Fixpoint Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Felix Distel	Model-Based Most Specific Concepts in Some Inexpressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo	Using Description Logics in Relation Based Access Control.	Description Logics	2009	DBLP BibTeX RDF
30	Xiaowang Zhang, Guilin Qi, Yue Ma 0009, Zuoquan Lin	Quasi-Classical Semantics for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Giorgos Stoilos, Giorgos B. Stamou	A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Katarina Britz, Johannes Heidema, Tommie Meyer	Modelling Object Typicality in Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Pavel Klinov, Bijan Parsia, Ulrike Sattler	On Correspondences between Probabilistic First-Order and Description Logics.	Description Logics	2009	DBLP BibTeX RDF
30	Oliver Gries	Generalized Closed World Reasoning in Description Logics with Extended Domain Closure.	Description Logics	2009	DBLP BibTeX RDF
30	Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett	08061 Abstracts Collection -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
30	Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett	08061 Executive Summary -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
30	Peihong Ke, Ulrike Sattler	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.	Description Logics	2008	DBLP BibTeX RDF
30	Mira Balaban, Azzam Maraee	A UML-Based Method for Deciding Finite Satisfiability in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
30	Guilin Qi, Fangkai Yang	A Survey of Revision Approaches in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
30	Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.	Description Logics	2008	DBLP BibTeX RDF
30	Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier	Consistency Checking for Extended Description Logics.	Description Logics	2008	DBLP BibTeX RDF
30	Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini	Partial and Informative Common Subsumers of Concepts Collections in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
30	David Toman 0001, Grant E. Weddell	Identifying Objects Over Time with Description Logics.	Description Logics	2008	DBLP BibTeX RDF
30	Yue Ma 0009, Pascal Hitzler, Zuoquan Lin	Paraconsistent Reasoning for Expressive and Tractable Description Logics.	Description Logics	2008	DBLP BibTeX RDF
30	Saïd Radhouani, Gilles Falquet	Description Logics-Based Modelling for Precise Information Retrieval.	Description Logics	2008	DBLP BibTeX RDF
30	Johan van Benthem, Guram Bezhanishvili	Modal Logics of Space.	Handbook of Spatial Logics	2007	DBLP DOI BibTeX RDF
30	Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	Description Logics	2007	DBLP BibTeX RDF
30	Sébastien Ferré, Olivier Ridoux	From Description Logics to Logic Functors, and Back.	Description Logics	2007	DBLP BibTeX RDF
30	Heiner Stuckenschmidt	Approximate Subsumption for Complex Description Logics.	Description Logics	2007	DBLP BibTeX RDF
30	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Modal vs. Propositional Reasoning for model checking with Description Logics.	Description Logics	2007	DBLP BibTeX RDF
30	Martin Homola	Distributed Description Logics Revisited.	Description Logics	2007	DBLP BibTeX RDF
30	Fangkai Yang, Xiaoping Chen	DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription.	Description Logics	2007	DBLP BibTeX RDF
30	Yue Ma 0009, Pascal Hitzler, Zuoquan Lin	Paraconsistent Resolution for Four-valued Description Logics.	Description Logics	2007	DBLP BibTeX RDF
30	Jean-David Roubach, Pascal Yim, Joaquin Rodriguez	Description Logics in the Calculus of Structures.	Description Logics	2007	DBLP BibTeX RDF
30	Guilin Qi, Jeff Z. Pan, Qiu Ji	A Possibilistic Extension of Description Logics.	Description Logics	2007	DBLP BibTeX RDF
30	Antoine Zimmermann	Integrated Distributed Description Logics.	Description Logics	2007	DBLP BibTeX RDF
30	Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini	Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
30	Franco Montagna	Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
30	Giorgos Stoilos, Giorgos B. Stamou	Euclidian Roles in Description Logics.	Description Logics	2006	DBLP BibTeX RDF
30	Birte Glimm, Ian Horrocks 0001, Ulrike Sattler	Conjunctive Query Answering for Description Logics with Transitive Roles.	Description Logics	2006	DBLP BibTeX RDF
30	Jan Hladik, Rafael Peñaloza	PSPACE Automata for Description Logics.	Description Logics	2006	DBLP BibTeX RDF
30	Yu Ding 0004, Volker Haarslev	Tableau Caching for Description Logics with Inverse and Transitive Roles.	Description Logics	2006	DBLP BibTeX RDF
30	Ralf Möller 0001, Sylvia Melzer	How sensor data interpretation could benefit from description logics: A practical case study.	Description Logics	2006	DBLP BibTeX RDF
30	Alexander K. Hudek, Grant E. Weddell	Binary Absorption in Tableaux-Based Reasoning for Description Logics.	Description Logics	2006	DBLP BibTeX RDF
30	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Data Complexity of Query Answering in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
30	Jeff Z. Pan	A Scheme for Integrating Datatype Groups into Description Logics.	Description Logics	2005	DBLP BibTeX RDF
30	Xi Deng, Volker Haarslev, Nematollaah Shiri	A Resolution Based Framework to Explain Reasoning in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
30	Lilia Georgieva, Patrick Maier 0001	Towards Using Description Logics for Symbolic Shape Analysis.	Description Logics	2005	DBLP BibTeX RDF
30	David Toman 0001, Grant E. Weddell	On Path-functional Dependencies as First-class Citizens in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
30	Ullrich Hustadt, Boris Motik	Description Logics and Disjunctive Datalog - The Story so Far.	Description Logics	2005	DBLP BibTeX RDF
30	Alexander Borgida, Thomas J. Walsh 0001, Haym Hirsh	Towards Measuring Similarity in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
30	Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter	Integrating Description Logics and Action Formalisms: First Results.	Description Logics	2005	DBLP BibTeX RDF
30	Antoon Goderis, Ulrike Sattler, Carole A. Goble	Applying Description Logics for Workflow Reuse and Repurposing.	Description Logics	2005	DBLP BibTeX RDF
30	Yu Ding 0004, Volker Haarslev	Towards Efficient Reasoning for Description Logics with Inverse Roles.	Description Logics	2005	DBLP BibTeX RDF
30	Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen	A new n-ary existential quantifier in description logics.	Description Logics	2005	DBLP BibTeX RDF
30	Luciano Serafini, Andrei Tamilin	Local Tableaux for Reasoning in Distributed Description Logics.	Description Logics	2004	DBLP BibTeX RDF
30	Daniela Berardi	Description Logics for e-Service Composition.	Description Logics	2004	DBLP BibTeX RDF
30	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo	Towards Implementing Finite Model Reasoning in Description Logics.	Description Logics	2004	DBLP BibTeX RDF
30	Piero A. Bonatti, Pierangela Samarati	Logics for Authorization and Security.	Logics for Emerging Applications of Databases	2003	DBLP BibTeX RDF
30	John-Jules Ch. Meyer	Intelligent Agents: Issues and Logics.	Logics for Emerging Applications of Databases	2003	DBLP BibTeX RDF
30	Alessandro Artale, Enrico Franconi, Federica Mandreoli	Description Logics for Modeling Dynamic Information.	Logics for Emerging Applications of Databases	2003	DBLP BibTeX RDF
30	Nils Klarlund, Thomas Schwentick, Dan Suciu	XML: Model, Schemas, Types, Logics, and Queries.	Logics for Emerging Applications of Databases	2003	DBLP BibTeX RDF
30	Lubomir Stanchev, Grant E. Weddell	Index Selection for Embedded Control Applications using Description Logics.	Description Logics	2003	DBLP BibTeX RDF
30	Carsten Lutz, Ulrike Sattler, Lidia Tendera	Finite Model Reasoning in ALCQI is EXPTIME Logics.	Description Logics	2003	DBLP BibTeX RDF
30	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	Concept Abduction and Contraction in Description Logics.	Description Logics	2003	DBLP BibTeX RDF
30	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella	e-Service Composition by Description Logics Based Reasoning.	Description Logics	2003	DBLP BibTeX RDF
30	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev	E-connections of Description Logics.	Description Logics	2003	DBLP BibTeX RDF
30	Enrico Franconi, David Toman 0001	Fixpoint Extensions of Temporal Description Logics.	Description Logics	2003	DBLP BibTeX RDF
30	Shinyoung Lim	Status Report on Description Logics related Project in Korea.	Description Logics	2003	DBLP BibTeX RDF
30	Fabio Grandi 0001	Decidability of Expressive Description Logics with Role Compositions.	Description Logics	2002	DBLP BibTeX RDF
30	Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble	Querying Objects with Description Logics.	Description Logics	2002	DBLP BibTeX RDF
30	Martin Peim, Enrico Franconi, Norman W. Paton	Estimating Soundness and Completeness over Queries Over Description Logics.	Description Logics	2002	DBLP BibTeX RDF
30	Alexander Borgida, Luciano Serafini	Distributed Description Logics: First results.	Description Logics	2002	DBLP BibTeX RDF
30	Nikolaj Oldager	Algebraic Lattices and Description Logics.	Description Logics	2002	DBLP BibTeX RDF
30	Huizhu Liu, David Toman 0001, Grant E. Weddell	Fine Grained Information Integration with Description Logics.	Description Logics	2002	DBLP BibTeX RDF
30	Mathieu Roger, Ana Simonet, Michel Simonet	Toward Updates in Description Logics.	Description Logics	2002	DBLP BibTeX RDF
30	Michael Wessel	On Spatial Reasoning with Description Logics - Position Paper.	Description Logics	2002	DBLP BibTeX RDF
30	Fabio Grandi 0001	On Expressive Number Restrictions in Description Logics.	Description Logics	2001	DBLP BibTeX RDF
30	Deborah L. McGuinness	Description Logics Emerge from Ivory Towers.	Description Logics	2001	DBLP BibTeX RDF
30	David Toman 0001, Grant E. Weddell	On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.	Description Logics	2001	DBLP BibTeX RDF
30	Volker Haarslev, Ralf Möller 0001	Optimizing Reasoning in Description Logics with Qualified Number Restrictions.	Description Logics	2001	DBLP BibTeX RDF
30	Jérôme Euzenat	Preserving Modularity in XML Encoding of Description Logics.	Description Logics	2001	DBLP BibTeX RDF
30	Michael Wessel	Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results.	Description Logics	2001	DBLP BibTeX RDF
30	Carsten Lutz, Ulrike Sattler, Frank Wolter	Description Logics and the Two-Variable Fragment.	Description Logics	2001	DBLP BibTeX RDF
30	Alexander Borgida	Diachronic Description Logics.	Description Logics	2001	DBLP BibTeX RDF
30	Valentin Goranko	Temporal logics with reference pointers and computation tree logics.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
30	Erika Valencia, Jean-Paul Sansonnet	Simplicial Complexes for Description Logics Terminologies.	Description Logics	2000	DBLP BibTeX RDF
30	Liviu Badea, Shan-Hwei Nienhuys-Cheng	Refining Concepts in Description Logics.	Description Logics	2000	DBLP BibTeX RDF
30	Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter	Fusions of Description Logics.	Description Logics	2000	DBLP BibTeX RDF
30	Anni-Yasmin Turhan, Volker Haarslev	Adapting Optimization Techniques to Description Logics with Concrete Domains.	Description Logics	2000	DBLP BibTeX RDF
30	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Keys for Free in Description Logics.	Description Logics	2000	DBLP BibTeX RDF
30	M.-Elisabeth Goncalves, Erich Grädel	Decidability issues for action guarded logics.	Description Logics	2000	DBLP BibTeX RDF