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 143 matches
- 2023
- Pengfei Song:
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics. LORI 2023: 222-237 - 2022
- Sven Ove Hansson:
A Characterization of Probability-based Dichotomous Belief Revision. Stud Logica 110(2): 511-543 (2022) - Andrzej Szalas:
Inheriting and Fusing Beliefs of Logically Heterogeneous Objects. KES 2022: 299-308 - Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR abs/2202.03196 (2022) - 2021
- Wei Li, Yuefei Sui:
R-CALCULUS: A Logic of Belief Revision. Springer 2021, ISBN 978-981-16-2943-3, pp. 1-198 - Emiliano Lorini, François Schwarzentruber:
A Computationally Grounded Logic of Graded Belief. JELIA 2021: 245-261 - Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI 2021: 48-59 - Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL 2021: 73-89 - Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR abs/2104.14512 (2021) - 2020
- Xu Li, Yì N. Wáng:
A Logic of Knowledge and Belief Based on Abstract Arguments. CLAR 2020: 116-130 - Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber:
A Logic of Explicit and Implicit Distributed Belief. ECAI 2020: 753-760 - Yuri David Santos:
Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood. FoIKS 2020: 58-78 - Gerhard Lakemeyer, Hector J. Levesque:
A First-Order Logic of Limited Belief Based on Possible Worlds. KR 2020: 624-635 - Pilar Dellunde:
A Characterization of Belief Merging Operators in the Regular Horn Fragment of Signed Logic. MDAI 2020: 3-15 - Andrés Páez:
Moore's Paradox and the logic of belief. CoRR abs/2006.11363 (2020) - 2019
- Gerhard Lakemeyer, Hector J. Levesque:
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI 2019: 1764-1771 - Anthia Solaki, Fernando R. Velázquez-Quesada:
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. LORI 2019: 297-312 - 2018
- Karsten Martiny:
PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems. University of Lübeck, Germany, 2018 - Torben Braüner, Irina Polyanskaya, Patrick Blackburn:
A logical investigation of false-belief tasks. CogSci 2018 - Angelia Nedic, Alex Olshevsky, César A. Uribe:
Graph-Theoretic Analysis of Belief System Dynamics under Logic Constraints. CoRR abs/1810.02456 (2018) - 2017
- Costas D. Koutras, Christos Moyzes, Yorgos Zikos:
A modal logic of knowledge, belief and estimation. J. Log. Comput. 27(8): 2303-2339 (2017) - Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar:
Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian AI 2017: 351-360 - Christoph Schwering:
A Reasoning System for a First-Order Logic of Limited Belief. IJCAI 2017: 1247-1253 - Adrian Haret, Stefan Woltran:
Deviation in Belief Change on Fragments of Propositional Logic. DKB/KIK@KI 2017: 64-76 - Marlo Souza, Álvaro F. Moreira, Renata Vieira:
Dynamic Preference Logic as a Logic of Belief Change. DALI@TABLEAUX 2017: 185-200 - Christoph Schwering:
A Reasoning System for a First-Order Logic of Limited Belief. CoRR abs/1705.01817 (2017) - 2016
- Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS 2016: 644-652 - Christoph Schwering, Gerhard Lakemeyer:
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. ECAI 2016: 1379-1387 - Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. ECAI 2016: 671-679 - Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR 2016: 288-297
skipping 113 more matches
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-10-03 05:20 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