Search results for "Logics"

Hits ?▲	Authors	Title	Venue	Year	Link
21	David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe	Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
21	Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo	A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.	Description Logics	2019	DBLP BibTeX RDF
21	Luis Palacios, Yue Ma 0009, Chantal Reynaud, Gaëlle Lortal	Towards Situation Discovery for Clustering Instances.	Description Logics	2019	DBLP BibTeX RDF
21	Robin Nolte, Thomas Schneider 0002	How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports.	Description Logics	2019	DBLP BibTeX RDF
21	Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz	Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract).	Description Logics	2019	DBLP BibTeX RDF
21	Ana Ozaki, Nicolas Troquard	Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
21	Saïd Jabbour, Yue Ma 0009, Badran Raddaoui	Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies.	Description Logics	2019	DBLP BibTeX RDF
21	Jean Christoph Jung, Carsten Lutz, Thomas Zeume	Decidability and Complexity of ALCOIF with Transitive Closure (and More).	Description Logics	2019	DBLP BibTeX RDF
21	Katarina Britz, Ivan Varzinczak	Reasoning with Contextual Defeasible ALC.	Description Logics	2019	DBLP BibTeX RDF
21	Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther 0002, Yongsheng Gao 0005	Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology.	Description Logics	2019	DBLP BibTeX RDF
21	Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro	A Richer Policy Language for GDPR Compliance.	Description Logics	2019	DBLP BibTeX RDF
21	Haoruo Zhao, Uli Sattler, Bijan Parsia	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition.	Description Logics	2019	DBLP BibTeX RDF
21	Horacio Tellez Perez, Jef Wijsen	Connecting Databases and Ontologies: A Data Quality Perspective.	Description Logics	2019	DBLP BibTeX RDF
21	Zhe Wang 0001, Peng Xiao 0009, Kewen Wang 0001	Practical Datalog Rewriting for Existential Rules.	Description Logics	2019	DBLP BibTeX RDF
21	Magdalena Ortiz 0001, Sanja Pavlovic, Mantas Simkus	Answer Set Programs Challenged by Ontologies.	Description Logics	2019	DBLP BibTeX RDF
21	Camille Bourgaux, Ana Ozaki	Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
21	Erman Acar, Rafael Peñaloza, Livia Predoiu	Making Decisions over Contextual Ontologies.	Description Logics	2019	DBLP BibTeX RDF
21	Satyadharma Tirtarasa, Benjamin Zarrieß	Projection in a Description Logic of Context with Actions.	Description Logics	2019	DBLP BibTeX RDF
21	David Carral, Larry González, Patrick Koopmann	From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment.	Description Logics	2019	DBLP BibTeX RDF
21	David Carral, Irina Dragoste, Markus Krötzsch	The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
21	Oliver Fernández Gil, Anni-Yasmin Turhan	Towards an Equivalence Degree of EL CQs (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
21	Slawomir Kost	Frames for fusions of modal logics.	J. Appl. Non Class. Logics	2018	DBLP DOI BibTeX RDF
21	Tatyana Ivanova	Logics for extended distributive contact lattices.	J. Appl. Non Class. Logics	2018	DBLP DOI BibTeX RDF
21	Magdalena Ortiz 0001, Thomas Schneider 0002 (eds.)	Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.	Description Logics	2018	DBLP BibTeX RDF
21	Drahomír Mrózek, Júlia Pukancová, Martin Homola	ABox Abduction Solver Exploiting Multiple DL Reasoners.	Description Logics	2018	DBLP BibTeX RDF
21	Denny Vrandecic	Toward an Abstract Wikipedia.	Description Logics	2018	DBLP BibTeX RDF
21	David Toman 0001, Grant E. Weddell	Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases.	Description Logics	2018	DBLP BibTeX RDF
21	Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova	Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering.	Description Logics	2018	DBLP BibTeX RDF
21	Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen	Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity.	Description Logics	2018	DBLP BibTeX RDF
21	Konstantina Bereta, George Papadakis 0001, Manolis Koubarakis	SPARQLing-Up the Web on-the-fly using Ontologies and Mappings.	Description Logics	2018	DBLP BibTeX RDF
21	Manuel Namici, Giuseppe De Giacomo	Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications.	Description Logics	2018	DBLP BibTeX RDF
21	Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki	Exact Learning of EL Ontologies.	Description Logics	2018	DBLP BibTeX RDF
21	Humaira Farid, Volker Haarslev	Handling Nominals and Inverse Roles using Algebraic Reasoning.	Description Logics	2018	DBLP BibTeX RDF
21	Jieying Chen, Yue Ma 0009, Dirk Walther 0002	Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving.	Description Logics	2018	DBLP BibTeX RDF
21	Damir Nesic, Mattias Nyberg	Verifying Contract-Based Specifications of Product Lines using Description Logic.	Description Logics	2018	DBLP BibTeX RDF
21	Tanja Perleth, Marvin R. G. Schiller, Birte Glimm	Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.	Description Logics	2018	DBLP BibTeX RDF
21	Lidia Tendera	Decidability Frontier for Fragments of First-Order Logic with Transitivity.	Description Logics	2018	DBLP BibTeX RDF
21	Alisa Kovtunova, Rafael Peñaloza	Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.	Description Logics	2018	DBLP BibTeX RDF
21	Katinka Böhm, Magdalena Ortiz 0001	A Tool for Building Topic-specific Ontologies Using a Knowledge Graph.	Description Logics	2018	DBLP BibTeX RDF
21	Franz Baader, Oliver Fernandez Gil, Maximilian Pensel	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.	Description Logics	2018	DBLP BibTeX RDF
21	Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz 0001, Mantas Simkus	Taming Complex Role Inclusions for DL-Lite.	Description Logics	2018	DBLP BibTeX RDF
21	Franz Baader, Adrian Nuradiansyah	Towards Privacy-Preserving Ontology Publishing.	Description Logics	2018	DBLP BibTeX RDF
21	Peter Paulovics, Júlia Pukancová, Martin Homola	SIVA: An Educational Tool for the Tableau Reasoning Algorithm.	Description Logics	2018	DBLP BibTeX RDF
21	Cristina Feier, Carsten Lutz, Frank Wolter	From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.	Description Logics	2018	DBLP BibTeX RDF
21	Anneke Bötcher, Carsten Lutz, Frank Wolter	Complete Approximations of Horn DL Ontologies.	Description Logics	2018	DBLP BibTeX RDF
21	Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst	Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).	Description Logics	2018	DBLP BibTeX RDF
21	Dimitris Bilidas, Manolis Koubarakis	Efficient Duplicate Elimination in SPARQL to SQL Translation.	Description Logics	2018	DBLP BibTeX RDF
21	Rafael Kiesel, Erman Acar, Stefan Schlobach	Preferential Default Reasoning on the Semantic Web.	Description Logics	2018	DBLP BibTeX RDF
21	Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev	On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.	Description Logics	2018	DBLP BibTeX RDF
21	Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral	Efficient Model Construction for Horn Logic with VLog: Extended Abstract.	Description Logics	2018	DBLP BibTeX RDF
21	Maximilian Pensel, Anni-Yasmin Turhan	Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.	Description Logics	2018	DBLP BibTeX RDF
21	Fabio Papacchini, Frank Wolter	A Van Benthem Theorem for Horn Description and Modal Logic.	Description Logics	2018	DBLP BibTeX RDF
21	David Carral, Irina Dragoste, Markus Krötzsch	Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.	Description Logics	2018	DBLP BibTeX RDF
21	Sebastian Rudolph, Mantas Simkus	Satisfiability in the Triguarded Fragment of First-Order Logic.	Description Logics	2018	DBLP BibTeX RDF
21	Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza	The Bayesian Description Logic BALC.	Description Logics	2018	DBLP BibTeX RDF
21	Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis	A Dynamic Extension of ALCO for Repairing via Preferred Updates.	Description Logics	2018	DBLP BibTeX RDF
21	Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana	A Single Approach to Decide Chase Termination on Linear Existential Rules.	Description Logics	2018	DBLP BibTeX RDF
21	Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos	Querying Expressive DL Ontologies under the ICAR Semantics.	Description Logics	2018	DBLP BibTeX RDF
21	Renata Wassermann	Revising Ontologies.	Description Logics	2018	DBLP BibTeX RDF
21	Sascha Jongebloed, Thomas Schneider 0002	Ontology Partitioning Using E-Connections Revisited.	Description Logics	2018	DBLP BibTeX RDF
21	Meghyn Bienvenu	Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.	Description Logics	2018	DBLP BibTeX RDF
21	Ana Ozaki, Rafael Peñaloza	Provenance in Ontology-based Data Access.	Description Logics	2018	DBLP BibTeX RDF
21	Jieying Chen, Michel Ludwig, Yue Ma 0009, Dirk Walther 0002	Computing Minimal Projection Modules for Conjunctive Queries.	Description Logics	2018	DBLP BibTeX RDF
21	Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao 0001, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks 0001	Theoretical Characterization of Signal Diagnostic Processing Language.	Description Logics	2018	DBLP BibTeX RDF
21	Mohua Banerjee, Didier Dubois, Lluís Godo, Henri Prade	On the relation between possibilistic logic and modal logics of belief and knowledge.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
21	Andreas Herzig	Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
21	Daniele Porello	Judgement aggregation in non-classical logics.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
21	Ivo Düntsch, Ewa Orlowska, Tinko Tinchev	Mixed algebras and their logics.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
21	Mateusz M. Radzki	On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
21	Philippe Balbiani, Çigdem Gencer	Unification in epistemic logics.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
21	Luca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.)	Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Alessandro Artale, Birte Glimm, Roman Kontchakov (eds.)	Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.	Description Logics	2017	DBLP BibTeX RDF
21	Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo	Improving the Timed Automata Approach to Biological Pathway Dynamics.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Luyao Wang, Wanling Xie, Huibiao Zhu	Assertion-Based Reasoning Method for Calculus of Wireless System.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Ernst-Rüdiger Olderog, Maike Schwammberger	Formalising a Hazard Warning Communication Protocol with Timed Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Florence Clerc, Harrison Humphrey, Prakash Panangaden	Bicategories of Markov Processes.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm	Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Syntactic Markovian Bisimulation for Chemical Reaction Networks.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou	Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Christel Baier, Sascha Klüppelholz, Sascha Wunderlich	Towards Automated Variant Selection for Heterogeneous Tiled Architectures.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Rajeev Alur, Konstantinos Mamouras, Dogan Ulus	Derivatives of Quantitative Regular Expressions.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Marta Kwiatkowska, Gethin Norman, David Parker 0001	Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Aleksandar S. Dimovski, Andrzej Wasowski	From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas	Comparing Source Sets and Persistent Sets for Partial Order Reduction.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Hasan Baig, Jan Madsen	Taming Living Logic Using Formal Methods.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Nicolas Basset, Jean-François Raskin, Ocan Sankur	Admissible Strategies in Timed Games.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz	A Framework for Evaluating Schedulability Analysis Tools.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen	WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Xinxin Liu	Negative Results on Decidability and Small Model Property of Process Equations.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Joost-Pieter Katoen, Falak Sher	Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer	Testing Divergent Transition Systems.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi 0001	Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns	Teaching Academic Concurrency to Amazing Students.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos	Information Flow for Timed Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth 0001	Centrally Governed Blockchains: Optimizing Security, Cost, and Availability.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Bernhard Steffen, Marc Jasper	Property-Preserving Parallel Decomposition.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	The Cost of Exactness in Quantitative Reachability.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Matthew Hennessy	A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Jan Kretínský	30 Years of Modal Transition Systems: Survey of Extensions and Analysis.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
21	Albert Benveniste, Benoît Caillaud	Synchronous Interfaces and Assume/Guarantee Contracts.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF