Search results for "description"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Renate A. Schmidt, Dmitry Tishkovsky	Using Tableau to Decide Expressive Description Logics with Role Negation.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
22	Zhenguo Gao, Ling Wang 0004, Mei Yang, Jianping Wang 0001	A Meta Service Description Assisted Service Discovery Protocol for MANETs.	UIC	2007	DBLP DOI BibTeX RDF
22	Joohee Kim	Multiple Description Coding for Robust Video Transmission Over Wireless Ad-Hoc Networks.	ISVC (2)	2006	DBLP DOI BibTeX RDF
22	Chao Tian 0002, Sheila S. Hemami	Sequential Design of Multiple Description Scalar Quantizers.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
22	Susie J. Wee, John G. Apostolopoulos	Unbalanced multiple description video communication using path diversity.	ICIP (1)	2001	DBLP DOI BibTeX RDF
22	Satoru Tomura	TDProlog: An Extended Prolog with Term Description.	LP	1985	DBLP DOI BibTeX RDF
22	Dmitry Tsarkov, Ian Horrocks 0001	FaCT++ Description Logic Reasoner: System Description.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Seamus Galvin, J. J. Collins, Chris Exton, Finbar McGurren	Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs).	IFIP-WADL	2004	DBLP DOI BibTeX RDF
22	Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet	EAST-ADL - An Architecture Description Language - Validation and Verification Aspects.	IFIP-WADL	2004	DBLP DOI BibTeX RDF
22	Jeff Bastian, Soner Önder	Specification of Intel IA-32 Using an Architecture Description Language.	IFIP-WADL	2004	DBLP DOI BibTeX RDF
22	Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski	A graphical representation and prototype editor for the Formal Description Technique Estelle.	FORTE	1998	DBLP BibTeX RDF
22	Gabriel Huecas, Tomás Robles 0001, L. M. Gonzalez, J. Serrano	Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System.	FORTE	1998	DBLP BibTeX RDF
22	Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu	A Methodology for the Description of System Requirements and the Derivation of Formal Specifications.	FORTE	1997	DBLP BibTeX RDF
22	James H. Andrews, Nancy A. Day, Jeffrey J. Joyce	Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.	FORTE	1997	DBLP BibTeX RDF
22	Manfred Broy	Formal Description Techniques - How Formal and Descriptive are they?	FORTE	1996	DBLP BibTeX RDF
22	L. Braga, Roberto Manione, P. Renditore	A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams.	FORTE	1996	DBLP BibTeX RDF
22	Claudia Popien, Bernd Meyer 0003	A service request description language.	FORTE	1994	DBLP BibTeX RDF
22	Deh-Min Wu	Semantic-oriented description techniques for network management information modelling.	FORTE	1994	DBLP BibTeX RDF
22	John W. O'Leary, Mark H. Linderman, Miriam Leeser, Mark D. Aagaard	HML: A Hardware Description Language Based on Standard ML.	CHDL	1993	DBLP BibTeX RDF
22	Laurence Pierre	VHDL Description and Formal Verification of Systolic Multipliers.	CHDL	1993	DBLP BibTeX RDF
22	Eric J. Golin, Annette C. Feng	A Visual Hardware Description Language.	CHDL	1993	DBLP BibTeX RDF
22	Xing-Jian Xu, Mitsuru Ishizuka	An Efficient Data-Path Synthesis Based on Algorithmic Description under the Constraints of Time and Area.	CHDL	1993	DBLP BibTeX RDF
22	Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd	Time Versus Abstraction in Formal Description.	FORTE	1993	DBLP BibTeX RDF
22	Colin H. West	The Challenges Facing Formal Description Techniques.	FORTE	1993	DBLP BibTeX RDF
22	A. B. Alkhechi, Stanislaw Budkowski	Automatic Translation of Time Petri Nets into Estelle Description.	FORTE	1990	DBLP BibTeX RDF
22	Ove Faergemand	Stepwise Production of an SDL Description.	FORTE	1990	DBLP BibTeX RDF
22	Manfred Broy	Methodological Objectives for Formal Description Techniques.	FORTE	1990	DBLP BibTeX RDF
22	P. Li, M. von Thun, Tharam S. Dillon	Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description.	FORTE	1989	DBLP BibTeX RDF
22	Jeroen van de Lagemaat, Giuseppe Scollo	On the Use of LOTOS for the Formal Description of a Transport Protocol.	FORTE	1988	DBLP BibTeX RDF
22	Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi	The Application of LOTOS for the Formal Description of the ISO Session Layer.	FORTE	1988	DBLP BibTeX RDF
22	Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette	Application of Formal Description Techniques to Conformance Evaluation.	FORTE	1988	DBLP BibTeX RDF
22	Adrien Basso-Blandin	Gubs, un langage de description comportementale pour la biologie de synthèse : Conception d'un langage dédié à la conception de fonctions biologiques de synthèse par compilation de spécifications comportementales. (Gubs, a behavioral description language for synthetic biology / Gubs, a behavioral description language for synthetic biology : Conception of a domain specific language dedicated to synthetic biology using behavioral specifications compilation).		2014	RDF
21	Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler	Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.	IHM	2009	DBLP DOI BibTeX RDF	performance evaluation, interruptions, formal description techniques, model-based approaches
21	Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.	EICS	2009	DBLP DOI BibTeX RDF	performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches
21	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
21	Lorenzo Favalli, Marco Folli	ILPS: A Scalable Multiple Description Coding Scheme for H.264.	FMN	2009	DBLP DOI BibTeX RDF	inter layer prediction, scalability, Multiple Description Coding, H.264/SVC
21	Hailong Wang, Zong Min Ma 0001, Junfu Yin	FRESG: A Kind of Fuzzy Description Logic Reasoner.	DEXA	2009	DBLP DOI BibTeX RDF	Fuzzy description logic, F-ALC(G), customized data type, reasoner
21	Jean-François Ladry, David Navarre, Philippe A. Palanque	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.	ICMI	2009	DBLP DOI BibTeX RDF	fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches
21	Chengzhi Zhang, Huilin Wang, Yao Liu, Hongjiao Xu	Document Clustering Description Extraction and Its Application.	ICCPOL	2009	DBLP DOI BibTeX RDF	clustering description, topic digital library, machine learning, document clustering
21	Shu-Chuan Chu, Lakhmi C. Jain, Hsiang-Cheh Huang, Jeng-Shyang Pan 0001	The triple-watermarking algorithm with multiple description coding over lossy communication networks.	ICUIMC	2009	DBLP DOI BibTeX RDF	watermarking, vector quantization, multiple description coding (MDC)
21	Inanç Seylan, Wojciech Jamroga	Description logic for coalitions.	AAMAS (1)	2009	DBLP BibTeX RDF	strategic logics, satisfiability, description logics, tableaux
21	Zhixiong Jiang, Leqiu Qian, Yiming Lau, Shan Tang	Dynamic Description Logic Based Services Semantic Matching.	WKDD	2008	DBLP DOI BibTeX RDF	service dynamic description logic, matching degree, semantic web services, semantic matching
21	Huihui Bai 0001, Yao Zhao 0001, Ce Zhu	Priority Encoding Transmission Based Multiple Description Video Coding over Packet Loss Network.	DCC	2008	DBLP DOI BibTeX RDF	Video coding, Multiple description, Priority Encoding Transmission
21	Yuhua Fan, Jia Wang 0004, Jun Sun 0005, Peng Wang 0026, Songyu Yu	A Novel Multiple Description Video Codec Based on Slepian-Wolf Coding.	DCC	2008	DBLP DOI BibTeX RDF	multiple description video coding, Slepian-Wolf coding, packet loss channel, drift problem
21	Stephen R. Gulliver, Gheorghita Ghinea, K. Kaur	Non-commercial Object-Base Scene Description.	HCI (14)	2007	DBLP DOI BibTeX RDF	XML, hierarchy, functionality, behaviour, Scene description
21	Michael D. Kickmeier-Rust, Dietrich Albert	The ELEKTRA Ontology Model: A Learner-Centered Approach to Resource Description.	ICWL	2007	DBLP DOI BibTeX RDF	Adaptive Tutoring, Resource Description, Game-based Learning, Ontology Model
21	Aleksandar Dimov, Sylvia Ilieva	Reliability models in architecture description languages.	CompSysTech	2007	DBLP DOI BibTeX RDF	generalized nets, software reliability, architecture description language
21	Marco Folli, Lorenzo Favalli	Multiple description coding algorithms for H.264 coder.	MobiMedia	2007	DBLP DOI BibTeX RDF	scalability, H.264, multiple description coding
21	Hongli Wu, Baolin Yin, Xia Zhao, Gang Xiang	Data description and data access mechanism in distributed workflow system.	Infoscale	2007	DBLP DOI BibTeX RDF	data access mechanism, data description, workflow data, data flow, control flow
21	Zhiqin Liang, Jiantao Zhou 0001, Liwei Guo, Mengyao Ma, Oscar C. Au	A Novel Multiple Description Approach to Predictive Video Coding.	PCM	2007	DBLP DOI BibTeX RDF	least square-error estimator (LSE), PB Frame, Multiple description coding (MDC), H.263
21	Gilbert Pradel, Philippe Hoppenot	Symbolic Trajectory Description in Mobile Robotics.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	environment symbolic description, symbolic navigation, motion planning, obstacles avoiding, autonomous mobile robot
21	Shiwen Mao, Xiaolin Cheng, Yiwei Thomas Hou, Hanif D. Sherali	Multiple Description Video Multicast in Wireless Ad Hoc Networks.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	video multicast, genetic algorithms, routing, wireless ad hoc networks, cross-layer design, multiple description coding
21	Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown	Towards More Flexible Architecture Description Languages for Industrial Applications.	EWSA	2006	DBLP DOI BibTeX RDF	Software Architecture, Architecture Description Languages, Architectural Patterns
21	Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001	The next 700 data description languages.	POPL	2006	DBLP DOI BibTeX RDF	domain-specific languages, dependent types, data description language
21	Hao Lan Zhang 0001, Clement H. C. Leung, Gitesh K. Raikundalia	Classification of Intelligent Agent Network Topologies and a New Topological Description Language for Agent Networks.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Agent network topology, topological description language, intelligent agent
21	Fen Lin, Lirong Qiu, He Huang, Qing Yu, Zhongzhi Shi	Description Logic Based Composition of Web Services.	PRIMA	2006	DBLP DOI BibTeX RDF	Semantic Web Services(SWS), Web Services Composition (WSC), Description Logic(DL)
21	Yujian Fu, Zhijiang Dong, Xudong He	Formalizing and validating UML architecture description of web systems.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	UML architecture description, petri nets, temporal logic, verification and validation, software architecture model
21	Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001	Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.	WADS	2006	DBLP DOI BibTeX RDF	systems engineering, architecture description language, automotive systems
21	Yangli Wang, Chengke Wu 0001	Complete Multiple Description Mesh-Based Video Coding Scheme and Its Performance.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	mesh-based motion compensation, redundancy rate distortion, multiple description coding, packet loss
21	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	A comprehensive approach for the development of modular software architecture description languages.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	ArchStudio 3, xADL 2.0, XML, Architecture description languages
21	Hyung-Woo Lee, Sung-Hyun Yun, Jae-Sung Kim, Nam-Ho Oh, Do-Hyung Kim	IPv6/IPsec Conformance Test Management System with Formal Description Technique.	ICCSA (2)	2005	DBLP DOI BibTeX RDF	Architecture. 1, Security, IPv6, Conformance Test, IPSec, Formal Description
21	Carsten Lutz	NEXP TIME-complete description logics with concrete domains.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	NExpTime-completeness, concrete domains, domino problem, Computational complexity, description logic, post correspondence problem
21	Florentino Fernández Riverola, Fernando Díaz 0001, Juan M. Corchado	Using Rough Sets Theory and Minimum Description Length Principle to Improve a beta-TSK Fuzzy Revision Method for CBR Systems.	SBIA	2004	DBLP DOI BibTeX RDF	TSK fuzzy models, automated revision stage, rough sets, minimum description length, CBR
21	Florida Estrella, Zsolt Kovacs 0001, Jean-Marie Le Goff, Richard McClatchey, Tony Solomonides, Norbert Toth	Pattern reification as the basis for description-driven systems.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	UML, Design patterns, Reflection, Meta-models, System description
21	Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori 0001	Description logics for semantic query optimization in object-oriented database systems.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	integrity constraints rules, query rewriting method, semantic expansion of a query, description logics, subsumption, Semantic query optimization
21	Hans Henrik Thodberg	Minimum Description Length Shape and Appearance Models.	IPMI	2003	DBLP DOI BibTeX RDF	Point Correspondence Problem, Unsupervised Vision, Image Segmentation, Minimum Description Length, Shape Modelling, Appearance Models
21	Patricia Charlton, Myriam Ribière	Rich service description for a smarter lifestyle.	AAMAS	2003	DBLP DOI BibTeX RDF	dynamic team formation, social policies, web services, service description, DAML-S, service aggregation
21	Yohei Murakami, Toru Ishida 0001, Tomoyuki Kawasoe, Reiko Hishiyama	Scenario description for multi-agent simulation.	AAMAS	2003	DBLP DOI BibTeX RDF	evacuation simulation, scenario description, social interaction, multi-agent simulator
21	Francesco M. Donini, Daniele Nardi, Riccardo Rosati 0001	Description logics of minimal knowledge and negation as failure.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics
21	Michael Jackson 0001	Some Basic Tenets of Description.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Model domain, Modelling, Use cases, Description
21	Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall	Bridging the gap between IEEE 1471, an architecture description language, and UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	ANSI/IEEE-Std-1471, SADL, Advanced separation of concerns, MDSOC, Concern space, UML, Software architecture, Views, ADL, Viewpoints, Architecture description
21	Ashish Jagmohan, Krishna Ratakonda	Multiple Description Coding of Predictively Encoded Sequences.	DCC	2002	DBLP DOI BibTeX RDF	Predictive Encoding, Multiple Description Coding
21	Tomas Kalibera, Petr Tuma 0001	Distributed Component System Based on Architecture Description: The SOFA Experience.	OTM	2002	DBLP DOI BibTeX RDF	component definition languages, CDL, language mapping, middleware, CORBA, Architecture description languages, ADL, dynamic architectures
21	Shahram Shirani	Error Resilient Image Communication Using Content-Based Multiple Description Coding.	ITCC	2002	DBLP DOI BibTeX RDF	Error resilience coding, Source/channel coding, Content-based image Processing, Multiple description coding, Image communication
21	Aloke Mukherjee, Babak Esfandiari, Neal Arthorne	U-P2P: A Peer-to-Peer System for Description and Discovery of Resource-Sharing Communities.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	resource description, peer-to-peer, XML Schema, resource discovery
21	K. Selçuk Candan, Huan Liu 0001, Reshma Suvarna	Resource Description Framework: Metadata and Its Applications.	SIGKDD Explor.	2001	DBLP DOI BibTeX RDF	XML, semantic web, metadata, Web, Resource Description Framework (RDF)
21	Bo Zhang, Ke Ding, Jing Li	An XML-message Based Architecture Description Language and Architectural Mismatch Checking.	COMPSAC	2001	DBLP DOI BibTeX RDF	XML message, architectural mismatch, Software architecture, interface, architecture description language
21	Tina Schneider, Stephen W. Smoliar	Description and Narrative in Hypervideo.	HICSS	2001	DBLP DOI BibTeX RDF	video, hypertext, narrative, description
21	Eva Heinrich, Elizabeth A. Kemp	Description and Retrieval across Multiple Media Formats.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	multiple media formats, multimedia distance learning systems, automated retrieval techniques, FSCL, FSQL, Flexible Structured Coding Language, Flexible Structured Query Language, information retrieval, information retrieval, semantics, query language, natural language, meta data, multimedia documents, description language
21	Jinhui Liu, Xiaoqing Ding, Youshou Wu	Description and recognition of form and automated form data entry.	ICDAR	1995	DBLP DOI BibTeX RDF	automated form data entry, form description method, frame lines, printed forms, frame line detection, business forms, form recognition
21	John Canning	A Minimum Description Length Model for Recognizing Objects with Variable Appearances (The VAPOR model).	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	minimum description length model, VAPOR model, knowledge representation method, variable appearance object representation model, ideal appearance, shortest length model, cloverleaf interchanges, knowledge representation, image recognition, aerial images, roads, object recognition systems
21	Rakesh Mohan, Ramakant Nevatia	Perceptual Organization for Scene Segmentation and Description.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	data-driven system, geometrical regularities, edge groupings, collated features, abstract descriptors, 2-D projections, computerised picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, surfaces, boundaries, perceptual organization, shape description, stereo correspondence, scene segmentation
21	Shigeru Muraki	Volumetric shape description of range data using "Blobby Model".	SIGGRAPH	1991	DBLP DOI BibTeX RDF	blobby model, generalized algebraic surface, volumetric shape description, ray tracing, implicit surface, energy minimization, range data analysis
21	Katsumi Okamoto, Masaaki Hashimoto	On Real-Time Program Specification Description with a Data Model-Based Language.	ICCI	1990	DBLP DOI BibTeX RDF	Program specification description language, constraint, timing, entity-relationship model, real-time software, conceptual data model, nonprocedural language
20	Carl K. Chang, Seongwoon Kim	I3: A Petri-Net Based Specification Method for Architectural Components.	COMPSAC	1999	DBLP DOI BibTeX RDF	architectural component description language, interoperation, specification, CORBA, software component, Architecture Description Language, stakeholder, colored Petri net, IDL, SADT, ORB
20	D. Sinclair, Ludo Cuypers, Kurt Verschaeve, E. Holz, Alexios N. Birbas, V. Mariatos, N. Kyrloglou, J.-L. Roux	A formal approach to HW/SW co-design: the INSYDE project.	ECBS	1996	DBLP DOI BibTeX RDF	INSYDE project, hybrid system co-design, formal description languages, requirements capture, formal verification, software tools, validation, VHDL, object-oriented design, object-oriented methods, SDL, hardware description languages, object-oriented analysis, hardware/software co-design, formal approach
20	Rajesh K. Gupta 0001, Daniel Gajski, Randy Allen, Yatin Trivedi	Opportunities and pitfalls in HDL-based system design.	ICCD	1996	DBLP DOI BibTeX RDF	textual Hardware Description Languages, system designs, VHDL, modeling language, hardware description languages, Verilog, HDLs, hardware systems
20	Mark Genoe, Paul Vanoostende, Geert van Wauwe	On the use of VHDL-based behavioral synthesis for telecom ASIC design.	ISSS	1995	DBLP DOI BibTeX RDF	Alcatel-Bell, RTL-synthesizable description, behavioral synthesis tools, hardware CAD tool, system level design methodology, telecom ASIC design, telecom system hardware design, high level synthesis, VHDL, VHDL, application specific integrated circuits, ASIC, logic synthesis, integrated circuit design, hardware description languages, integrated logic circuits, behavioral synthesis, telecommunication computing, hardware software codesign, design complexities
20	Seong Yong Ohm, Fadi J. Kurdahi, Nikil D. Dutt, Min Xu	A comprehensive estimation technique for high-level synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	HLS benchmarks, RT level components, RTL datapaths, estimation technique, delays, high level synthesis, high-level synthesis, timing, design space exploration, granularity, hardware description languages, data flow graphs, registers, system buses, timing model, buses, behavioral description, layout area
20	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
20	Oliver Kutz, Carsten Lutz, Ana Ozaki (eds.)	Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023.	Description Logics	2023	DBLP BibTeX RDF
20	Gabriele Sacco, Loris Bozzato, Oliver Kutz	Defeasible Reasoning with Prototype Descriptions: First Steps.	Description Logics	2023	DBLP BibTeX RDF
20	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Anouk Michelle Oudshoorn, Mantas Simkus	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
20	Nofar Carmeli	Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk).	Description Logics	2023	DBLP BibTeX RDF
20	Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus	On the Expressive Power of Ontology-Mediated Queries: Capturing coNP.	Description Logics	2023	DBLP BibTeX RDF
20	Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou	The Music Part Ontology (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
20	Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev	A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
20	Jakub Kloc, Martin Homola, Júlia Pukancová	DL Abduction API v2 and GUI Interface (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
20	Franz Baader	Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
20	Ying Li 0029, Patrick Lambrix	Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF