article

Knowledge, belief and time

Authors:

S. Kraus,

D. LehmannAuthors Info & Claims

Theoretical Computer Science, Volume 58, Issue 1-3

Pages 155 - 174

https://doi.org/10.1016/0304-3975(88)90024-2

Published: 01 June 1988 Publication History

Abstract

No abstract available.

Cited By

View all

Bonanno G(2020)Logics for Belief as Maximally Plausible PossibilityStudia Logica10.1007/s11225-019-09887-w108:5(1019-1061)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.1007/s11225-019-09887-w
Kuznets RProsperi LSchmid UFruzsa K(2019)Epistemic Reasoning with Byzantine-Faulty AgentsFrontiers of Combining Systems10.1007/978-3-030-29007-8_15(259-276)Online publication date: 4-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-29007-8_15
Miller TPfau JSonenberg LKashima Y(2017)Logics of common groundJournal of Artificial Intelligence Research10.5555/3176764.317678658:1(859-904)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.5555/3176764.3176786
Show More Cited By

Index Terms

Knowledge, belief and time
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Nonmonotonic, default reasoning and belief revision
2. Theory of computation
  1. Logic
    1. Programming logic
  2. Semantics and reasoning
    1. Program reasoning

Recommendations

Parallel belief revision: Revising by sets of formulas

The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterised by a belief state K, and receives a new item of information @a which is to be included among its ...
Belief revision, revised
IJCAI'95: Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

This paper studies properties of iterated revisions. First rationality result shows that in the AGM original framework the only revision operation that satisfies two resonable properties is the trivial revision. Then an altenative to the AGM framework ...
Belief as Defeasible Knowledge

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Theoretical Computer Science

Theoretical Computer Science Volume 58, Issue 1-3

Thirteenth International Colloquim on Automata, Languages and Programming, Renne

June 1988

389 pages

ISSN:0304-3975

Editors:
M. Nivat,
L. Kott

Issue’s Table of Contents

Publisher

Elsevier Science Publishers Ltd.

United Kingdom

Publication History

Published: 01 June 1988

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bonanno G(2020)Logics for Belief as Maximally Plausible PossibilityStudia Logica10.1007/s11225-019-09887-w108:5(1019-1061)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.1007/s11225-019-09887-w
Kuznets RProsperi LSchmid UFruzsa K(2019)Epistemic Reasoning with Byzantine-Faulty AgentsFrontiers of Combining Systems10.1007/978-3-030-29007-8_15(259-276)Online publication date: 4-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-29007-8_15
Miller TPfau JSonenberg LKashima Y(2017)Logics of common groundJournal of Artificial Intelligence Research10.5555/3176764.317678658:1(859-904)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.5555/3176764.3176786
Belle VLakemeyer G(2015)Only knowing meets common knowledgeProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832581.2832634(2755-2761)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832581.2832634
Banerjee MDubois D(2014)A simple logic for reasoning about incomplete knowledgeInternational Journal of Approximate Reasoning10.1016/j.ijar.2013.11.00355:2(639-653)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.1016/j.ijar.2013.11.003
Georgatos K(2014)A Logic for Belief ContractionProceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 876110.1007/978-3-319-11558-0_48(647-656)Online publication date: 24-Sep-2014
https://dl.acm.org/doi/10.1007/978-3-319-11558-0_48
Zuckerman IKraus SRosenschein J(2012)The adversarial activity model for bounded rational agentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9153-224:3(374-409)Online publication date: 1-May-2012
https://dl.acm.org/doi/10.1007/s10458-010-9153-2
Dunin-Kęplicz BSzałas A(2012)Epistemic profiles and belief structuresProceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications10.1007/978-3-642-30947-2_40(360-369)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-30947-2_40
Suzuki YTojo SSaeger S(2008)Iterated Belief Revision in the Face of Uncertain CommunicationDeclarative Agent Languages and Technologies VI10.1007/978-3-540-93920-7_12(179-196)Online publication date: 25-Dec-2008
https://dl.acm.org/doi/10.1007/978-3-540-93920-7_12
Dixon CFernández Gago MFisher Mvan der Hoek W(2007)Temporal Logics of Knowledge and their Applications in SecurityElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2006.11.043186(27-42)Online publication date: 1-Jul-2007
https://dl.acm.org/doi/10.1016/j.entcs.2006.11.043
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Parallel belief revision: Revising by sets of formulas

Belief revision, revised

Belief as Defeasible Knowledge

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations