skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Artificial Intelligence remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Description Logics as Ontology Languages for the Semantic Web
Description Logics as Ontology Languages for the Semantic Web
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Description Logics as Ontology Languages for the Semantic Web

Baader, Franz ; Horrocks, Ian ; Sattler, Ulrike

Mechanizing Mathematical Reasoning, p.228-248 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

Baader, Franz ; Rydval, Jakub

Journal of automated reasoning, 2022-08, Vol.66 (3), p.357-407 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
3
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols

Baader, Franz ; Kapur, Deepak

Journal of automated reasoning, 2022-08, Vol.66 (3), p.301-329 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
4
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors

Baader, Franz

Frontiers of Combining Systems, p.43-59 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Description Logics with Concrete Domains and General Concept Inclusions Revisited
Description Logics with Concrete Domains and General Concept Inclusions Revisited
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Description Logics with Concrete Domains and General Concept Inclusions Revisited

Baader, Franz ; Rydval, Jakub

Automated Reasoning, 2020, p.413-431 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
6
Query and Predicate Emptiness in Ontology-Based Data Access
Query and Predicate Emptiness in Ontology-Based Data Access
Material Type:
Artigo 		Adicionar ao Meu Espaço

Query and Predicate Emptiness in Ontology-Based Data Access

Baader, Franz ; Bienvenu, Meghyn ; Lutz, Carsten ; Wolter, Frank

The Journal of artificial intelligence research, 2016-01, Vol.56, p.1-59 [Periódico revisado por pares]

San Francisco: AI Access Foundation

Texto completo disponível

Citações Citado por
7
Temporal query entailment in the Description Logic  SHQ
Temporal query entailment in the Description Logic  SHQ
Material Type:
Artigo 		Adicionar ao Meu Espaço

Temporal query entailment in the Description Logic  SHQ

Baader, Franz ; Borgwardt, Stefan ; Lippmann, Marcel

Web semantics, 2015-08, Vol.33, p.71-93

Elsevier B.V

Texto completo disponível

Citações Citado por
8
CEL — A Polynomial-Time Reasoner for Life Science Ontologies
CEL — A Polynomial-Time Reasoner for Life Science Ontologies
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

CEL — A Polynomial-Time Reasoner for Life Science Ontologies

Baader, Franz ; Lutz, Carsten ; Suntisrivaraporn, Boontawee

Automated Reasoning, 2006, p.287-291 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Runtime verification using the temporal description logic ALC-LTL revisited
Runtime verification using the temporal description logic ALC-LTL revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Runtime verification using the temporal description logic ALC-LTL revisited

Baader, Franz ; Lippmann, Marcel

Journal of applied logic, 2014-12, Vol.12 (4), p.584-613 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

Baader, Franz ; De Bortoli, Filippo

Frontiers of Combining Systems, p.203-219 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (36)
  2. Revistas revisadas por pares (48)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (19)
  2. Book Chapters  (18)
  3. Artigos  (16)
  4. magazinearticle  (4)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (8)
  2. 1998Até2003  (8)
  3. 2004Até2008  (13)
  4. 2009Até2014  (11)
  5. Após 2014  (18)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.