Набиране на средства 15 септември 2024 – 1 октомври 2024
Относно набирането на средства
търсене на книга
книги
Набиране на средства:
64.2% събрани
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
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
Година:
2023
Език:
english
Файл:
PDF, 8.20 MB
Вашите тагове:
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
Година:
2013
Език:
english
Файл:
PDF, 6.02 MB
Вашите тагове:
0
/
0
english, 2013
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×