2008 |
23 | | Richard Booth,
Thomas Meyer:
Equilibria in Social Belief Removal.
KR 2008: 145-155 |
22 | EE | Richard Booth,
Alexander Nittka:
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs.
J. Log. Comput. 18(5): 755-782 (2008) |
2007 |
21 | EE | Richard Booth,
Thomas Andreas Meyer:
On the Dynamics of Total Preorders: Revising Abstract Interval Orders.
ECSQARU 2007: 42-53 |
20 | EE | Alexander Nittka,
Richard Booth:
A Method for Reasoning about other Agents' Beliefs from Observations.
Formal Models of Belief Change in Rational Agents 2007 |
2006 |
19 | | Thomas Andreas Meyer,
Kevin Lee,
Richard Booth,
Jeff Z. Pan:
Finding Maximally Satisfiable Terminologies for the Description Logic ALC.
AAAI 2006 |
18 | EE | Kevin Lee,
Thomas Meyer,
Jeff Z. Pan,
Richard Booth:
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.
Description Logics 2006 |
17 | | Richard Booth,
Thomas Andreas Meyer,
Ka-shu Wong:
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.
KR 2006: 230-238 |
16 | EE | Richard Booth:
Social contraction and belief negotiation.
Information Fusion 7(1): 19-34 (2006) |
15 | EE | Richard Booth,
Thomas Andreas Meyer:
Admissible and Restrained Revision.
J. Artif. Intell. Res. (JAIR) 26: 127-151 (2006) |
2005 |
14 | | Thomas Andreas Meyer,
Kevin Lee,
Richard Booth:
Knowledge Integration for Description Logics.
AAAI 2005: 645-650 |
13 | EE | Richard Booth,
Alexander Nittka:
Beyond the Rational Explanation.
Belief Change in Rational Agents 2005 |
12 | EE | Richard Booth,
Alexander Nittka:
Reconstructing an Agent's Epistemic State from Observations.
IJCAI 2005: 394-399 |
11 | EE | Richard Booth,
Samir Chopra,
Aditya Ghose,
Thomas Andreas Meyer:
Belief Liberation (and Retraction).
Studia Logica 79(1): 47-72 (2005) |
10 | EE | Richard Booth,
Eva Richter:
On Revising Fuzzy Belief Bases.
Studia Logica 80(1): 29-61 (2005) |
2004 |
9 | | Richard Booth,
Samir Chopra,
Thomas Andreas Meyer,
Aditya Ghose:
A Unifying Semantics for Belief Change.
ECAI 2004: 793-797 |
8 | EE | Richard Booth,
Samir Chopra,
Thomas Andreas Meyer,
Aditya Ghose:
A unifying semantics for belief change.
NMR 2004: 72-78 |
2003 |
7 | EE | Richard Booth,
Samir Chopra,
Aditya Ghose,
Thomas Andreas Meyer:
Belief liberation (and retraction).
TARK 2003: 159-172 |
6 | | Richard Booth,
Eva Richter:
On revising fuzzy belief bases.
UAI 2003: 81-88 |
2002 |
5 | | Richard Booth:
Social Contraction and Belief Negotiation.
KR 2002: 375-386 |
4 | EE | Richard Booth:
On the Logic of Iterated Non-prioritised Revision.
WCII 2002: 86-107 |
2001 |
3 | | Richard Booth:
The lexicographic closure as a revision process.
Journal of Applied Non-Classical Logics 11(1-2): 35-58 (2001) |
2000 |
2 | EE | Richard Booth:
The lexicographic closure as a revision process
CoRR cs.AI/0003017: (2000) |
1990 |
1 | EE | Richard Booth,
Marvin White:
Simulation of a MOS transistor with spatially nonuniform channel parameters.
IEEE Trans. on CAD of Integrated Circuits and Systems 9(12): 1354-1357 (1990) |