skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Artificial Intelligence remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introducing reactive Kripke semantics and arc accessibility
Introducing reactive Kripke semantics and arc accessibility
Material Type:
Artigo 		Adicionar ao Meu Espaço

Introducing reactive Kripke semantics and arc accessibility

Gabbay, D.

Annals of mathematics and artificial intelligence, 2012-12, Vol.66 (1-4), p.7-53 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
2
Contrary to time conditionals in Talmudic logic
Contrary to time conditionals in Talmudic logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Contrary to time conditionals in Talmudic logic

Abraham, M. ; Gabbay, D. M. ; Schild, U.

Artificial intelligence and law, 2012-05, Vol.20 (2), p.145-179 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
3
Monitoring Metric First-Order Temporal Properties
Monitoring Metric First-Order Temporal Properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monitoring Metric First-Order Temporal Properties

Basin, David ; Klaedtke, Felix ; Müller, Samuel ; Zălinescu, Eugen

Journal of the ACM, 2015-05, Vol.62 (2), p.1-45, Article 15 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Completeness of Proof Systems for Equational Specifications
Completeness of Proof Systems for Equational Specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Completeness of Proof Systems for Equational Specifications

MacQueen, D.B. ; Sannella, D.T.

IEEE transactions on software engineering, 1985-05, Vol.SE-11 (5), p.454-461 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
5
Towards a category theory approach to analogy: Analyzing re-representation and acquisition of numerical knowledge
Towards a category theory approach to analogy: Analyzing re-representation and acquisition of numerical knowledge
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a category theory approach to analogy: Analyzing re-representation and acquisition of numerical knowledge

Navarrete, Jairo A ; Dartnell, Pablo Schrater, Paul

PLoS computational biology, 2017-08, Vol.13 (8), p.e1005683-e1005683 [Periódico revisado por pares]

United States: Public Library of Science

Texto completo disponível

Citações Citado por
6
Rule-based runtime verification revisited
Rule-based runtime verification revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rule-based runtime verification revisited

Havelund, Klaus

International journal on software tools for technology transfer, 2015-04, Vol.17 (2), p.143-170 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains

Frenkel, Hadar ; Grumberg, Orna ; Sheinvald, Sarai

Journal of automated reasoning, 2019-12, Vol.63 (4), p.1077-1101 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
8
An efficient labelled nested multiset unification algorithm
An efficient labelled nested multiset unification algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

An efficient labelled nested multiset unification algorithm

Liu, Yezhou ; Nicolescu, Radu ; Sun, Jing

Journal of membrane computing, 2021-09, Vol.3 (3), p.194-204 [Periódico revisado por pares]

Singapore: Springer Singapore

Texto completo disponível

Citações Citado por
9
Sketch theory as a framework for knowledge management
Sketch theory as a framework for knowledge management
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sketch theory as a framework for knowledge management

Wojtowicz, Ralph L.

Innovations in systems and software engineering, 2016-03, Vol.12 (1), p.69-79 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
10
Efficient monitoring of parametric context-free patterns
Efficient monitoring of parametric context-free patterns
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient monitoring of parametric context-free patterns

Meredith, Patrick O’Neil ; Jin, Dongyun ; Chen, Feng ; Roşu, Grigore

Automated software engineering, 2010-06, Vol.17 (2), p.149-180 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (16)

Data de Publicação 

De até
Refinar
  1. Antes de1987  (2)
  2. 1987Até1989  (2)
  3. 1990Até2007  (2)
  4. 2008Até2012  (5)
  5. Após 2012  (8)
  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.