scientific article
From MaRDI portal
Publication:4012241
zbMath0742.68064MaRDI QIDQ4012241
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50)
Related Items
Using automata theory for characterizing the semantics of terminological cycles, Querying the Unary Negation Fragment with Regular Path Expressions., Cardinality restrictions on concepts, One-Pass Tableaux for Computation Tree Logic, Automata-Based Axiom Pinpointing, Reasoning and Query Answering in Description Logics, Unification of concept terms in description logics, Automata-based axiom pinpointing, Terminating Tableaux for Hybrid Logic with Eventualities, An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability, Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs, Description Logics, Ontologies and Databases: The DL-Lite Approach, Clausal Tableaux for Hybrid PDL, An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability, Reasoning within expressive fuzzy rough description logics, On the expressivity of feature logics with negation, functional uncertainty, and sort equations, A goal-directed decision procedure for hybrid PDL, \({\mathcal E}\)-connections of abstract description systems, Decidability of SHIQ with complex role inclusion axioms
