Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logics"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Dastani, Mehdi"
Showing
1
-
16
of
16
Search:
'"logics"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Logic
and Argumentation : Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings
Published 2020
Springer International Publishing
Table of Contents:
“
... of Evidence --
Logic
Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation...
”
Read Now
2
Computational
Logic
in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... Only-Knowing --
Logics
for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated...
”
Read Now
3
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
by
Dastani, Mehdi
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design...
”
Read Now
4
Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Published 2015
Springer International Publishing
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
5
Programming Multi-Agent Systems : Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
6
Programming Multi-Agent Systems : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
7
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Developing Agent Interaction Protocols Using Graphical and
Logical
Methodologies -- Norm Adoption...
”
Read Now
8
Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Pape...
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
9
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Published 2017
Springer International Publishing
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
10
Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
11
Specification and Verification of Multi-agent Systems
Published 2010
Springer US
Table of Contents:
“
...
Logics
of Strategic Ability: Complexity* -- Correctness of Multi-Agent Programs: A Hybrid Approach...
”
Read Now
12
Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Paper -- Open Knowledge -- Agent Reasoning and Semantics -- Probabilistic and
Logical
...
”
Read Now
13
Languages, Methodologies, and Development Tools for Multi-Agent Systems : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Published 2010
Springer Berlin Heidelberg
“
...-Agent
Logics
, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical...
”
Read Now
14
Multi-Agent Programming : Languages, Platforms and Applications
Published 2005
Springer US
Table of Contents:
“
...
Logic
- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent...
”
Read Now
15
Multi-Agent Programming : Languages, Tools and Applications
Published 2009
Springer US
Table of Contents:
“
...I Languages -- Executing
Logical
Agent Specifications -- IndiGolog: A High-Level Programming...
”
Read Now
16
PRIMA 2019: Principles and Practice of Multi-Agent Systems : 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Modeling Approach for Building Evacuation -- Imperfect Information in Alternating-time Temporal
Logic
...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Dastani, Mehdi
Year of Publication
From:
To:
Classification
006 - Special computer methods
10
005 - Computer programming, programs & data
3
004 - Data processing & computer science
1
571 - Physiology & related subjects
1
616 - Diseases
1
808 - Rhetoric & collections of literature
1
Language
English
15
Collection
Springer eBooks 2005-
14
Lecture Notes in Computer Science
1
Springer Book Archives -2004
1
Author
Dastani, Mehdi
El Fallah Seghrouchni, Amal
6
Bordini, Rafael H.
4
Leite, Joao
3
Dix, Juergen
2
Dix, Jürgen
2
more ...
EL Fallah-Seghrouchni, Amal
2
Seghrouchni, Amal El Fallah
2
Sirjani, Marjan
2
Torroni, Paolo
2
van der Torre, Leon
2
Baldoni, Matteo
1
Dong, Huimin
1
Fisher, Michael
1
Governatori, Guido
1
Hindriks, Koen V.
1
Hübner, Jomi
1
Liao, Beishui
1
Meyer, John-Jules
1
Ricci, Alessandro
1
Sakurai, Yuko
1
Winikoff, Michael
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Dastani%2C+Mehdi%22&lookfor=%22logics%22&type=AllFields
Send by Email
×
Loading...