Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
59.2% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
M. Birna van Riemsdijk
,
Mehdi Dastani
,
Frank Dignum
,
John-Jules Ch. Meyer (auth.)
,
João Leite
,
Andrea Omicini
,
Paolo Torroni
,
pInar Yolum (eds.)
goal
systems
protocol
definition
goals
interaction
programming
sendgoods
execution
defined
commitment
sendquote
protocols
specification
framework
first
internal
sendepo
floor
sendaccept
approach
declarative
checking
context
transition
sendreceipt
initial
norm
figure
reasoning
norms
customer
mallet
belief
axioms
intention
proceedings
sendrequest
verification
team
goods
calculus
define
springer
institution
consider
beliefs
input
output
formulas
Year:
2005
Language:
english
File:
PDF, 2.12 MB
Your tags:
0
/
0
english, 2005
2
Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Springer
João Leite
,
Andrea Omicini
,
Paolo Torroni
,
Pinar Yolum
goal
systems
protocol
goals
interaction
programming
sendgoods
execution
commitment
sendquote
protocols
framework
internal
sendepo
sendaccept
approach
declarative
checking
context
definition
transition
floor
figure
sendreceipt
initial
norm
specification
reasoning
norms
customer
mallet
belief
defined
axioms
intention
proceedings
sendrequest
team
goods
calculus
first
springer
institution
consider
output
beliefs
defined
input
formulas
temporal
Year:
2005
Language:
english
File:
PDF, 2.79 MB
Your tags:
0
/
0
english, 2005
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×