Остановите войну!
for scientists:
default search action
Gerhard Lakemeyer
- > Home > Persons > Gerhard Lakemeyer
Publications
- 2019
- [c134]Gerhard Lakemeyer:
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Description Logics 2019 - 2017
- [j33]Gerhard Lakemeyer:
DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems. Künstliche Intell. 31(1): 91-92 (2017) - 2013
- [j24]Gerhard Lakemeyer:
First competition section paper published. Artif. Intell. 198: 72 (2013) - 2012
- [c89]Gerhard Lakemeyer:
Multi-agent Only-Knowing. CLIMA 2012: 25 - 2010
- [j18]Gerhard Lakemeyer:
The Situation Calculus: A Case for Modal Logic. J. Log. Lang. Inf. 19(4): 431-450 (2010) - 2002
- [c31]Gerhard Lakemeyer:
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR 2002: 73-81 - 1997
- [j6]Gerhard Lakemeyer:
Relevance from an Epistemic Perspective. Artif. Intell. 97(1-2): 137-167 (1997) - 1996
- [j5]Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases with Full Introspection. Artif. Intell. 84(1-2): 209-255 (1996) - [c18]Gerhard Lakemeyer:
Only Knowing in the Situation Calculus. KR 1996: 14-25 - 1995
- [c16]Gerhard Lakemeyer:
A Logical Account of Relevance. IJCAI (1) 1995: 853-861 - 1994
- [j2]Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases. Artif. Intell. 71(2): 213-255 (1994) - 1993
- [c13]Gerhard Lakemeyer:
All They Know About. AAAI 1993: 662-667 - [c12]Gerhard Lakemeyer:
All They Know: A Study in Multi-Agent Autoepistemic Reasoning. IJCAI 1993: 376-381 - 1992
- [j1]Gerhard Lakemeyer:
On perfect introspection with Quantifying-in. Fundam. Informaticae 17(1-2): 75-98 (1992) - [c10]Gerhard Lakemeyer:
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). KR 1992: 639-648 - [c9]Gerhard Lakemeyer:
On Perfect Introspection With Quantifying-in. TARK 1992: 199-213 - 1991
- [c8]Gerhard Lakemeyer:
A Model of Decidable Introspective Reasoning with Quantifying-In. IJCAI 1991: 492-497 - [c7]Gerhard Lakemeyer:
On the Relation between Explicit and Implicit Belief. KR 1991: 368-375 - [c6]Gerhard Lakemeyer:
All I Know About Tweety. Nonmonotonic and Inductive Logic 1991: 241-253 - 1990
- [b1]Gerhard Lakemeyer:
Models of belief for decidable reasoning in incomplete knowledge bases. University of Toronto, Canada, 1990 - [c5]Gerhard Lakemeyer:
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. AAAI 1990: 531-537 - [c4]Gerhard Lakemeyer:
A Computationally Attractive First-Order Logic of Belief. JELIA 1990: 333-347 - 1987
- [c2]Gerhard Lakemeyer:
Tractable Meta-Reasoning in Propositional Logics of Belief. IJCAI 1987: 401-408 - 1986
- [c1]Gerhard Lakemeyer:
Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK 1986: 325-340
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.
last updated on 2024-04-21 17:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint