F.4 Mathematical Logic and Formal Languages

Label

• F.4 Mathematical Logic and Formal Languages (literal)

Membro di

• Parole chiave di "AnQL: SPARQLing up annotated RDFS" (Insieme di parole chiave)
• Keywords of "Tightly coupled fuzzy description logic programs under the answer set semantics for the SemanticWeb" (Insieme di parole chiave)
• Keywords of "SoftFacts: a top-k retrieval engine for ontology mediated access to relational databases" (Insieme di parole chiave)
• Keywords of "Database design based on B" (Insieme di parole chiave)
• Parole chiave di "Mapping Integration for Designing the ASSO Methodology" (Insieme di parole chiave)
• Parole chiave di "MarCaSPiS: a Markovian extension of a Calculus for Services" (Insieme di parole chiave)
• Keywords of "Combining timed coordination primitives and probabilistic tuple spaces" (Insieme di parole chiave)
• Parole chiave di "On a uniform framework for the definition of stochastic process languages---Full Version---" (Insieme di parole chiave)
• Parole chiave di "Rational closure for defeasible description logics" (Insieme di parole chiave)
• Parole chiave di "A general framework for representing and reasoning with annotated semantic Web data" (Insieme di parole chiave)
• Parole chiave di "Combining timed coordination primitives and probabilistic tuple spaces" (Insieme di parole chiave)
• Keywords of "Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH" (Insieme di parole chiave)
• Parole chiave di "RDF needs annotations" (Insieme di parole chiave)
• Parole chiave di "Representing fuzzy ontologies in OWL 2" (Insieme di parole chiave)
• Parole chiave di "Notes on non-Markovian Extension of Value Passing CCS" (Insieme di parole chiave)
• Keywords of "Notes on Markovian Extension of a Dialect of Value Passing CCS" (Insieme di parole chiave)
• Keywords of "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)

Value

• F.4 Mathematical Logic and Formal Languages (literal)

Incoming links:

Ha membro

• Keywords of "Notes on Markovian Extension of a Dialect of Value Passing CCS" (Insieme di parole chiave)
• Keywords of "SoftFacts: a top-k retrieval engine for ontology mediated access to relational databases" (Insieme di parole chiave)
• Parole chiave di "Notes on non-Markovian Extension of Value Passing CCS" (Insieme di parole chiave)
• Parole chiave di "Mapping Integration for Designing the ASSO Methodology" (Insieme di parole chiave)
• Parole chiave di "MarCaSPiS: a Markovian extension of a Calculus for Services" (Insieme di parole chiave)
• Keywords of "Tightly coupled fuzzy description logic programs under the answer set semantics for the SemanticWeb" (Insieme di parole chiave)
• Parole chiave di "On a uniform framework for the definition of stochastic process languages---Full Version---" (Insieme di parole chiave)
• Parole chiave di "Representing fuzzy ontologies in OWL 2" (Insieme di parole chiave)
• Parole chiave di "AnQL: SPARQLing up annotated RDFS" (Insieme di parole chiave)
• Keywords of "Combining timed coordination primitives and probabilistic tuple spaces" (Insieme di parole chiave)
• Parole chiave di "Combining timed coordination primitives and probabilistic tuple spaces" (Insieme di parole chiave)
• Parole chiave di "A general framework for representing and reasoning with annotated semantic Web data" (Insieme di parole chiave)
• Keywords of "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)
• Keywords of "Database design based on B" (Insieme di parole chiave)
• Keywords of "Finite fuzzy description logics: a crisp representation for finite fuzzy ALCH" (Insieme di parole chiave)
• Parole chiave di "RDF needs annotations" (Insieme di parole chiave)
• Parole chiave di "Rational closure for defeasible description logics" (Insieme di parole chiave)