Results 291 to 300 of about 130,323 (314)
Some of the next articles are maybe not open access.
Descriptions in mathematical logic
Studia Logica, 1984If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire +2 more sources
KI - Künstliche Intelligenz, 2020
The present paper is a summary of a habilitation (Habilitation a Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stephane Demri, Hans van Ditmarsch, Sebastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26
openaire +2 more sources
The present paper is a summary of a habilitation (Habilitation a Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stephane Demri, Hans van Ditmarsch, Sebastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26
openaire +2 more sources
Description Logics for Documentation
2016Much of the activity in a digital library revolves around collecting, organizing and publishing knowledge about the resources of the library, in the form of metadata records. In order to document such activity, digital librarians need to express knowledge about the metadata records they produce.
openaire +3 more sources
DESCRIPTION LOGICS OVER LATTICES
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2006It is generally accepted that knowledge based systems would be smarter if they could manage uncertainty and/or imprecision. In this paper we extend Description Logics, well-known logics for managing structured knowledge, allowing to express that a sentence is not just true or false, but true to some degree, which is taken from a certainty lattice.
openaire +3 more sources
Towards Service Description Logics
2002Semantic service description and matchmaking are needed in embedded and disappearing computing, cooperative multiagent systems, and the semantic web. Standard program semantics formalizations are not suited to modeling service semantics, because they are generic w.r.t.
openaire +2 more sources