Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 26 matches
- 2011
- Thomas Ågotnes, Natasha Alechina:
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA 2011: 139-156 - Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota:
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346 - Mathieu Beirlaen, Christian Straßer:
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. CLIMA 2011: 312-329 - Jan M. Broersen:
Probabilistic Action and Deontic Logic - (Invited Talk). CLIMA 2011: 293-294 - Jan Calta, Dmitry Shkatov:
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. CLIMA 2011: 122-138 - Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207 - Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo:
Probabilistic Rule Learning in Nonmonotonic Domains. CLIMA 2011: 243-258 - Robert Demolombe:
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. CLIMA 2011: 13-28 - Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek:
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87 - Hans van Ditmarsch, Fernando Soler-Toscano:
Three Steps. CLIMA 2011: 41-57 - Jan van Eijck:
A Geometric Look at Manipulation. CLIMA 2011: 92-104 - Ulle Endriss:
Applications of Logic in Social Choice Theory - (Invited Talk). CLIMA 2011: 88-91 - Alfredo Gabaldon:
Making Golog Norm Compliant. CLIMA 2011: 275-292 - Guido Governatori, Antonino Rotolo:
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance. CLIMA 2011: 364-382 - Andreas Herzig, Emiliano Lorini, Nicolas Troquard:
A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311 - Özgür Kafali, Paolo Torroni:
Social Commitment Delegation and Monitoring. CLIMA 2011: 171-189 - Özgür Kafali, Francesca Toni, Paolo Torroni:
Reasoning about Exceptions to Contracts. CLIMA 2011: 225-242 - Tiago de Lima:
Alternating-Time Temporal Announcement Logic. CLIMA 2011: 105-121 - Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin:
A Modal Framework for Relating Belief and Signed Information. CLIMA 2011: 58-73 - Sara Miner More, Pavel Naumov:
The Functional Dependence Relation on Hypergraphs of Secrets. CLIMA 2011: 29-40 - Nir Oren, Wamberto Weber Vasconcelos, Felipe Meneguzzi, Michael Luck:
Acting on Norm Constrained Plans. CLIMA 2011: 347-363 - Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney:
Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk). CLIMA 2011: 1-12 - Daniele Porello, Ulle Endriss:
Ontology Merging as Social Choice. CLIMA 2011: 157-170 - Samy Sá, João F. L. Alcântara:
Abduction-Based Search for Cooperative Answers. CLIMA 2011: 208-224 - Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Formal Semantics for Brahms. CLIMA 2011: 259-274 - João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre:
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7 [contents]
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 10:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint