翅膀拍动
发表于 2025-3-28 18:23:07
Book 2019 contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Fran
惰性气体
发表于 2025-3-28 21:41:50
,A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,undamental and highly influential scientific contributions. We start with a brief and personal overview of Franz’s career, listing some important collaborators, places, and scientific milestones, and then provide first person accounts of how each one of us came in contact with Franz and how we benef
善变
发表于 2025-3-29 01:18:25
http://reply.papertrans.cn/27/2683/268280/268280_43.png
indices
发表于 2025-3-29 04:46:29
Theory Combination: Beyond Equality Sharing,n some first-order theories or fragments thereof (e.g., the quantifier-free fragment). . is the problem of determining whether a quantifier-free formula admits a model that is a model of a given theory. If the formula mixes theories, the considered theory is their union, and . is the problem of comb
habitat
发表于 2025-3-29 10:19:53
Initial Steps Towards a Family of Regular-Like Plan Description Logics,es, yielding an array of complexity results. Representation and reasoning with plans is a very important topic in AI, yet there has been very little work on finding and studying DL constructors for plan concepts..We start to remedy this problem here by considering Plan DLs where concept instances ar
费解
发表于 2025-3-29 12:12:52
http://reply.papertrans.cn/27/2683/268280/268280_46.png
Prostaglandins
发表于 2025-3-29 17:07:07
Strong Explanations for Nonmonotonic Reasoning,his context are minimal subsets of the knowledge base entailing a certain formula. Such subsets are often referred to as justifications, and their identification is called axiom pinpointing.As observed by Franz Baader, this concept of explanations is useful for monotonic logics in which additional i
MEEK
发表于 2025-3-29 20:13:14
A KLM Perspective on Defeasible Reasoning for Description Logics,Lehmann and Magidor (KLM) on defeasible conditionals in the propositional case. We consider versions of a preferential semantics for two forms of defeasible subsumption, and link these semantic constructions formally to KLM-style syntactic properties via representation results. In addition to showin
Climate
发表于 2025-3-30 01:32:04
Temporal Logic Programs with Temporal Description Logic Axioms,is using connectives from Linear-time Temporal Logic (LTL). On the one hand, for the temporal extension of ., we depart from Baader et al.’s proposal .-LTL that restricts the use of temporal operators to occur only in front of DL axioms. On the other hand, for the temporal extension of ASP we use it
itinerary
发表于 2025-3-30 04:31:59
The What-To-Ask Problem for Ontology-Based Peers,c Web and in several other networked environments, including data integration, Peer-to-Peer and Grid computing, service-oriented computing, distributed agent systems, and collaborative data sharing. One of the main problems arising in such contexts is how to exploit the mappings between peers in ord