Biblioteca Digital

24 resultados para Teoria formal e substancial do conflito de interesses

em Department of Computer Science E-Repository - King's College London, Strand, London

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems

Relevância:

20.00% 20.00%

Publicador:

A Formal Framework for Agency and Autonomy

Relevância:

20.00% 20.00%

Publicador:

A Formal View of Social Dependence Networks

Relevância:

20.00% 20.00%

Publicador:

A Formal Framework for Hypertext Systems

Relevância:

20.00% 20.00%

Publicador:

Development and Application of a Formal Agent Framework

Relevância:

20.00% 20.00%

Publicador:

A Formal Specification of dMARS

Relevância:

20.00% 20.00%

Publicador:

Engineering AgentSpeak(L): A Formal Computational Model

Relevância:

20.00% 20.00%

Publicador:

A Formal Architecture for the 3APL Agent Programming Language

Relevância:

20.00% 20.00%

Publicador:

Formal Agent Development: Framework to System

Relevância:

20.00% 20.00%

Publicador:

Towards a Formal Theory of Defeasible Deontic Conditionals

Relevância:

20.00% 20.00%

Publicador:

On the characterisation of a trusting agent - aspects of a formal approach

Relevância:

20.00% 20.00%

Publicador:

Formal Specification using Interaction Diagrams

Relevância:

20.00% 20.00%

Publicador:

UML to B: formal verification of object-oriented models

Relevância:

20.00% 20.00%

Publicador:

A Formal Relationship Between Program Slicing and Partial Evaluation

Relevância:

20.00% 20.00%

Publicador:

Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables

Relevância:

20.00% 20.00%

Publicador:

«
1
2
»