![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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 24 matches
- 1994
- Gian Aldo Antonelli, Cristina Bicchieri:
Backwards Forward Induction. TARK 1994: 24-43 - Ken Binmore:
Rationality in the Centipede. TARK 1994: 150-159 - Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham:
Knowledge as a Tool in Motion Planning and Uncertainty. TARK 1994: 208-224 - Adnan Darwiche, Judea Pearl:
On the Logic of iterated Belief Revision. TARK 1994: 5-23 - Nir Friedman, Joseph Y. Halpern:
A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64 - Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz:
Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207 - Itzhak Gilboa, David Schmeidler:
Case-Based Decision Theory and Knowledge Representation. TARK 1994: 175-181 - Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Algorithmic Knowledge. TARK 1994: 255-266 - Aviad Heifetz:
Infinitary Epistemic Logic. TARK 1994: 95-108 - Debra J. Holt:
Coherent Belief Revision in Games. TARK 1994: 305-320 - Zhisheng Huang, Peter van Emde Boas:
Information Acquisition from Multi-agent Resources. TARK 1994: 65-79 - M. van Hulst, John-Jules Ch. Meyer:
An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254 - Robert Charles Koons, Nicholas H. Asher:
Belief Revision in a changing World. TARK 1994: 321-340 - Kevin B. Korb:
Infinitely Many Resolutions of Hempel's Paradox. TARK 1994: 138-149 - Paul J. Krasucki, Ramaswamy Ramanujam:
Knowledge and the Ordering of Events in Distributed Systems. TARK 1994: 267-283 - Hector J. Levesque:
Knowledge, Action, and Ability in the Situation Calculus. TARK 1994: 1-4 - Jinxin Lin:
Consistent Belief Reasoning in the Presence of Inconsistency. TARK 1994: 80-94 - Barton L. Lipman:
An Axiomatic Approach to the Logical Omniscience Problem. TARK 1994: 182-196 - Ron van der Meyden:
Common Knowledge and Update in Finite Enviromnents I. TARK 1994: 225-242 - Stephen Morris:
Revising Knowledge: a Hierarchical Approach. TARK 1994: 160-174 - Wlodzimierz Rabinowicz, Krister Segerberg:
Actual Truth, Possible Knowledge. TARK 1994: 122-137 - Paul F. Syverson:
An Epistemic Logic of Situations. TARK 1994: 109-121 - Peter Vanderschraaf:
Inductive Learning, Knowledge Asymmetries and Convention. TARK 1994: 284-304 - Ronald Fagin:
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994. Morgan Kaufmann 1994 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-07-19 18:44 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