Donaciones 15 de septiembre 2024 – 1 de octubre 2024
Acerca de la recaudación de fondos
buscar libros
libros
Donaciones:
64.7% alcanzado
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
Cambridge University Press
Louise A. Dennis
,
Michael Fisher
verification
systems
autonomous
goal
square
plans
ethical
reasoning
checking
beliefs
ajpf
tutorial
wendolen
belief
formal
behaviour
intention
java
configuration
figure
execution
programming
rubble
current
goals
messages
believes
engine
gwendolen
speed
examples
random
verify
environments
abstraction
ag2
approach
choice
ag1
directory
vehicle
automaton
jpf
decision
check
info
mcapl
output
dennis
programs
Año:
2023
Idioma:
english
Archivo:
PDF, 8.20 MB
Sus etiquetas:
0
/
5.0
english, 2023
2
Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Springer-Verlag Berlin Heidelberg
Elena Cabrio
,
Sara Tonelli
,
Serena Villata (auth.)
,
João Leite
,
Tran Cao Son
,
Paolo Torroni
,
Leon van der Torre
,
Stefan Woltran (eds.)
argumentation
arguments
argument
ϕ
framework
reasoning
abstract
approach
defeasible
systems
algorithm
responsible
attacks
sets
definition
frameworks
expansion
consider
literals
extensions
conclusions
coalition
decision
formula
admissible
external
responsibility
function
proposition
afs
stable
goal
preferred
defined
epistemic
ĉ
graph
strict
springer
intelligence
logical
nodes
conclusion
output
planning
node
goals
literal
schemes
step
Año:
2013
Idioma:
english
Archivo:
PDF, 6.02 MB
Sus etiquetas:
0
/
0
english, 2013
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×