OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Query: FORMAL LANGUAGES Language: Inglés Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

101-110 from 130 results (0.014 seconds)

Title: Considerations upon interoperability on pervasive computing environments
Author: Flores, Andrés P. / Usaola, Macario Polo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Component-based Software Engineering / Pervasive Computing Environments

Acceder
Title: Defining security requirements through misuse actions
Author: Fernández, Eduardo B. / Van Hilst, Michael / Larrondo Petrie, Maria M. / Huang, Shihong
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Security

Acceder
Title: An abstract model for the process of deliberation within multiagent systems
Author: Stankevicius, Alejandro G. / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / deliberation / defeasible argumentation / Multiagent systems / ARTIFICIAL INTELLIGENCE / Intelligent agents

Acceder
Title: Weak properties of circumscriptive logic programming
Author: Fillottrani, Pablo Rubén / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Logic Programming / Weak properties / circumscriptive logic programming

Acceder
Title: Membranes as multi-agent systems: an application to dialogue modelling
Author: Jiménez López, Dolores / Bel Enguix, Gemma
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Interfaz Usuario-Computador / Models

Acceder
Title: The beginning of computer science in Argentina – Clementina - (1961-1966) : A personal experience
Author: Berdichevsky, Cecilia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Argentina / historia de la computación

Acceder
Title: ISKRM: an implicit simple knowledge representation model
Author: Latorres, Enrique P.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Semantics / Knowledge Representation Formalisms and Methods / conceptualización por agentes / agentes cognitivos autónomos / razonamiento artificial / agent conceptualization / autonomous cognitive agents / artificial reasoning

Acceder
Title: Integration of web-based forms with ontologies in the semantic web
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / formulario / web forms / ontologies / Semantic Web

Acceder
Title: Toward an automatic management of aspectual connections to compose business rules
Author: Casas, Sandra / Herrera, Franco
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software development / business rules / aspect-oriented programming / aspectual connections / volatile concerns

Acceder
Title: Effective prover for minimal inconsistency logic
Author: Neto, Adolfo Gustavo Serra Seca / Finger, Marcelo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Expert system tools and techniques / mbC logic / paraconsistent logic

Acceder

« Previous 5 6 7 8 9 10 11 12 13 Next »