Publications
All references sorted by

Field Search
NOTE: Searches are case sensitive unless you use cLIKE. It is best to use rLIKE so you only need to type a substring of the field.

NOTE: Keywords are not case sensitive. Separate keywords by commas, do not use 'quotation marks' or "speech marks".

View all references in Bibtex format

 

misc A Belief Revision System for the World Wide Web
BibTeX Format | Add/View Comment
  Author Mary-Anne Williams and David Williams
  Year 1997
  Note IJCAI Workshop on AI and the Internet
  Web page webworld/ai-internet.html
 
 
article A Practical Approach to Revising Prioritized Knowledge Bases
BibTeX Format | Add/View Comment
  Author Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
  Year 2002
  Journal Studia Logica
  Volume Volume 70, Number 1
  Note Its free online from the Studia Logica website.
  Web page http://www.kluweronline.com/issn/0039-3215
  Keywords possibilistic reasoning
nonmonotonic reasoning
knowledge representation
iterated belief revision
intelligent system design
decision making
database applications
commonsense reasoning
belief base revision
automated reasoning
 
 
book A Textbook of Belief Dynamics
BibTeX Format | Add/View Comment
  Author Sven-Ove Hansson
  Year 1997
  Publisher Kluwer Academic Publishers
 
 
article A Truth Maintenance System
BibTeX Format | Add/View Comment
  Author Doyle, J.
  Pages 231--272
  Year 1979
  Number 12
  Journal Artificial Intelligence
 
 
techreport A Unified View of Constructive Modellings for Revision
BibTeX Format | Add/View Comment
  Author Peppas, P., and Williams, M.A.
  Year 1992
  Number 431
  Institution Department of Computer Science, University of Sydney
 
 
inproceedings A framework for requirements analysis using automated reasoning
BibTeX Format | Add/View Comment
  Author Duffy, D. and MacNish, C. and McDermid, J. and Morris, P.
  Book Title Advanced Information Systems Engineering: Proc. Seventh International Conference
  Pages 61--81
  Year 1995
  Editor Iivari, J. and Lyytinen, K. and Rossi, M.
  Volume LNCS-932
  Publisher Springer-Verlag
 
 
inproceedings A knowledge level analysis of belief revision
BibTeX Format | Add/View Comment
  Author Nebel, B.
  Book Title Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning
  Pages 301-311
  Year 1991
  Publisher Morgan Kaufmann
 
 
incollection A nonmonotonic conditional logic for belief revision
BibTeX Format | Add/View Comment
  Author Rott, H.
  Book Title The logic of theory change
  Pages 135--183
  Address Berlin
  Editor Fuhrmann, A. and Morreau, M.
  Publisher Springer Verlag
 
 
incollection A reason for explanation: Explanations provide stable reasons
BibTeX Format | Add/View Comment
  Author Spohn, W.
  Book Title Existence and Explanation
  Pages 165--196
  Year 1991
  Editor Spohn, W.
  Publisher Kluwer Academic Publishers
 
 
article A survey of multiple contractions
BibTeX Format | Add/View Comment
  Author Fuhrmann, André and Sven Ove Hansson
  Pages 39--76
  Year 1994
  Journal Journal of Logic, Language and Information
  Volume 3
 
 
incollection Accretion, tuning and restructuring: Three modes of learning
BibTeX Format | Add/View Comment
  Author Rumelhart, D.E., and Norman, D.A.
  Book Title Semantic Factors in Cognition
  Pages 37--54
  Address Hilldale, NJ
  Editor Cotton, J.W. and Klatzky, R.
  Publisher Lawerence Erbaum Associates
 
 
book An Essay on Contraction
BibTeX Format | Add/View Comment
  Author André Fuhrmann
  Year 1997
  Address Stanford University
  Publisher CSLI Publications
  Web page http://www.dcs.warwick.ac.uk/~mdr/SiLLI/silli-fuhrmann.html
 
 
book An Essay on Contraction
BibTeX Format | Add/View Comment
  Author Fuhrmann, André
  Year 1997
  Series Studies in Logic, Language and Information
  Publisher CSLI (Stanford)
  Web page http://www.andrefuhrmann.de/
 
 
inproceedings An Object-Oriented Web-Based Revision and Extraction Engine: SATEN
BibTeX Format | Add/View Comment
  Author Mary-Anne Williams, Aidan Sims
  Book Title Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR2000
  Web page http://arxiv.org/abs/cs.AI/0003059
  Keywords decision making
belief base revision
diagnosis
agent-oriented software engineering
automated reasoning
implementation issue
 
 
inproceedings Anytime Belief Revision
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title International Joint Conference on Artificial Intelligence
  Year 1997
  Web page Click here
 
 
book Belief Revision
BibTeX Format | Add/View Comment
  Year 1992
  Editor Gärdenfors, P.
  Publisher Cambridge Press
 
 
inproceedings Belief Revision in Market Research
BibTeX Format | Add/View Comment
  Author Williams, M-A. and Polonsky, M.J.
  Book Title Proceedings of the Australasian Conference on Cognitive Science
  Year 1997
  Note to appear on CD
  Web page Click here
 
 
inproceedings Belief Revision via Database Update
BibTeX Format | Add/View Comment
  Author Mary-Anne Williams
  Book Title International Intelligent Information Systems Conference
  Year 1997
 
 
inproceedings Belief Revision via Database Update
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title Proceedings of the International Intelligent Information Systems Conference
  Pages 410--415
  Year 1997
  Publisher IEEE Press
 
 
article Belief awareness and limited reasoning
BibTeX Format | Add/View Comment
  Author Fagin, R. and Halpern, J. Y.
  Pages 39--76
  Year 1988
  Journal Artificial Intelligence
  Volume 34
 
 
phdthesis Belief change and reasoning about action: An axiomatic approach to modelling inert dynamic worlds and the connection to the logic of theory change
BibTeX Format | Add/View Comment
  Author Peppas, P.
  Year 1993
  School University of Sydney, Australia
 
 
inproceedings Belief revision and default reasoning: Syntax-based approaches
BibTeX Format | Add/View Comment
  Author Nebel, B.
  Book Title Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning
  Pages 301--311
  Year 1991
  Publisher Morgan Kaufmann
 
 
book Conceptual Spaces: The Geometry of Thought
BibTeX Format | Add/View Comment
  Author Peter Gärdenfors
  Year 2000
  Series A Bradford Book
  Publisher MIT Press
  Web page http://www.lucs.lu.se/People/Peter.Gardenfors
  Keywords psychological issues
ontologies
nonmonotonic reasoning
knowledge representation
commonsense reasoning
 
 
book Conceptual structures: Information processing in mind and machine
BibTeX Format | Add/View Comment
  Author Sowa, J.F.
  Year 1984
  Series The Systems Programming Series
  Publisher Addison-Wesley Publishing Company
 
 
article Constructive Modelings for Theory Change
BibTeX Format | Add/View Comment
  Author Peppas, P. and Williams, M-A.
  Year 1995
  Number 1
  Journal Notre Dame Journal of Formal Logic
  Volume 36
 
 
article Constructive modelings for theory change
BibTeX Format | Add/View Comment
  Author Peppas, P. and Williams, M-A.
  Pages 120--133
  Year 1995
  Number 1
  Journal Notre Dame Journal of Formal Logic
  Volume 36
 
 
article Counterfactuals and updates as inverse modalities
BibTeX Format | Add/View Comment
  Author Ryan, M.D. and Schobbens, P-Y.
  Pages 123--146
  Year 1997
  Number 6
  Journal Journal of Logic, Language and Information
  Web page ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/97-jolli.ps.gz
 
 
book Decision, order and time in human affairs
BibTeX Format | Add/View Comment
  Author Shackle, G.L.S.
  Year 1961
  Publisher Cambridge University Press
 
 
techreport Determining explanations using knowledge transmutations
BibTeX Format | Add/View Comment
  Author Williams, M.A. and Pagnucco, M. and Foo, N.Y. and Sims, B.
  Year 1994
  Institution University of Sydney
 
 
inproceedings Determining explanations using transmutations
BibTeX Format | Add/View Comment
  Author Williams, M-A. and Pagnucco, M. and Foo, N. and Sims, B.
  Book Title Proc. Fourteenth International Joint Conference on Artificial Intelligence
  Pages 822--830
  Year 1995
  Publisher Morgan Kaufmann
 
 
inproceedings Explanation and theory base transmutations
BibTeX Format | Add/View Comment
  Author Williams, M. A.
  Book Title Proceedings of the European Conference on Artificial Intelligence
  Year 1994
  Note to appear
 
 
incollection From Belief Revision to Design Revision: Applying Theory Change to Changing Requirements
BibTeX Format | Add/View Comment
  Author MacNish, C.K. and Williams, M-A.
  Book Title Learning and Reasoning with Complex Represntations
  Pages 207--222
  Year 1998
  Publisher Springer Verlag
 
 
book Frontiers in Belief Revision
BibTeX Format | Add/View Comment
  Year 2001
  Number 22
  Editor Mary-Anne Williams and Hans Rott
  Series Applied Logic Series
  Publisher Kluwer
  Web page http://www.wkap.nl/book.htm/0-7923-7021-X
  Keywords psychological issues
probabilistic reasoning
possibilistic reasoning
nonmonotonic reasoning
knowledge representation
iterated belief revision
intelligent system design
information management
implementation issue
general applications
diagnosis
decision making
database applications
computational complexity
commonsense reasoning
business applications
belief base revision
automated reasoning
 
 
incollection General patterns in nonmonotonic reasoning
BibTeX Format | Add/View Comment
  Author Makinson, D.
  Book Title Handbook of Logic in Artificial Intelligence and Logic Programming
  Pages 35--110
  Year 1994
  Volume 3
  Publisher Oxford University Press
 
 
inbook Handbook of Logic in Artificial Intelligence and Logic Programming
BibTeX Format | Add/View Comment
  Author Gärdenfors, P. and Rott, H.
  Year 1995
  Editor Gärdenfors, P. and Rott, H.
  Volume IV
  Series Epistemic and Temporal Reasoning
  Publisher unknown
  Chapter 4.2
 
 
article How to give it up: A survey of some formal aspects of the logic of theory change
BibTeX Format | Add/View Comment
  Author Makinson, D.
  Pages 347--363
  Year 1985
  Journal Synthese
  Volume 62
 
 
incollection Implementing Belief Revision
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title Nonmonotonic Reasoning
  Year 1997
  Editor Antoniou, G.
  Publisher MIT Press
 
 
article Inventiveness as belief revision and a heuristic rule of inventive design
BibTeX Format | Add/View Comment
  Author Yevgeny B. Karasik
  Year 2000
  Journal Springer Verlag Notes in Computer Science, Vol. 1821
  Volume 1821
  Web page www3.sympatico.ca/karasik/cv.html
  Keywords nonmonotonic reasoning
decision making
belief base revision
automated reasoning
 
 
inproceedings Investigations into a theory of knowledge base revision: preliminary report
BibTeX Format | Add/View Comment
  Author Dalal, M.
  Book Title Proceedings of the seventh National Conference of the American Association for Artificial Intelligence
  Pages 475--479
  Year 1988
 
 
article Iterated Belief Change Based on Epistemic Entrenchment
BibTeX Format | Add/View Comment
  Author Nayak, A.
  Pages 353--390
  Year 1994
  Journal Erkenntnis
  Volume 4
 
 
inproceedings Iterated Theory Base Change: A Computational Model
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence
  Pages 1541--1550
  Year 1995
  Publisher Morgan Kaufmann Publishers
 
 
book Knowledge in Flux: Modeling the Dynamics of Epistemic States
BibTeX Format | Add/View Comment
  Author Peter Gärdenfors
  Year 1988
  Publisher MIT Press
 
 
book Knowledge in flux: Modeling the dynamics
BibTeX Format | Add/View Comment
  Author Gärdenfors, P.
  Year 1988
  Address Cambridge
  Publisher MIT Press
 
 
book Logic, Action and Information
BibTeX Format | Add/View Comment
  Year 1996
  Editor Fuhrmann, André and Hans Rott
  Publisher De Gruyter
 
 
inproceedings Model checking v.'s theorem proving: A manifesto
BibTeX Format | Add/View Comment
  Author Halpern, J.Y. and Vardi, M.Y.
  Book Title Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning
  Pages 325--334
  Year 1991
  Publisher Morgan Kaufmann
 
 
inproceedings Multiple contraction: A further case against Gärdenfors' principle of recovery
BibTeX Format | Add/View Comment
  Author Niederée, R.
  Book Title The Logic of Theory Change, Proceedings for the workshop at Konstanz
  Year 1991
  Address Berlin
  Publisher Springer-Verlag
 
 
article New operators for theory change
BibTeX Format | Add/View Comment
  Author Hansson, S. O.
  Pages 115--132
  Year 1989
  Journal Theoria
  Volume 55
 
 
inproceedings Nonmonotonic Reasoning and Multiple Belief Changes
BibTeX Format | Add/View Comment
  Author Dongmo Zhang and Shifu Chen and Wujia Zhu and Zhaoqian Chen
  Book Title International Joint Conference on Artificial Intelligence
  Year 1997
 
 
inproceedings Nonmonotonic inference based on expectations
BibTeX Format | Add/View Comment
  Author Gärdenfors, P. and Makinson, D.
  Book Title Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning
  Year 1991
  Publisher Morgan Kaufmann
 
 
article Observations on validity and conditionals in belief revision systems
BibTeX Format | Add/View Comment
  Author Fuhrmann, André
  Pages 225--38
  Year 1993
  Journal Journal of Applied Non-Classical Logic
  Volume 3
 
 
inproceedings On epistemic logic and logical omniscience
BibTeX Format | Add/View Comment
  Author Vardi
  Book Title Proceedings of the First Conference on Theoretical Aspects of Reasoning about Knowledge Conference
  Pages 293--305
  Year 1986
  Publisher Morgan Kaufmann
 
 
book On the Difference between Updating a Knowledge Database and Revising It
BibTeX Format | Add/View Comment
  Author Katsuno, F. and Mendelzon, A.O.
  Year 1992
  Editor P. Gärdenfors
  Series Belief Revision
  Publisher Cambridge Press
 
 
article On the Logic of Iterated Belief Revision
BibTeX Format | Add/View Comment
  Author Darwiche, A. and Pearl, J.
  Pages 1--29
  Year 1997
  Number 89
  Journal Artificial Intelligence
 
 
incollection On the Logic of Theory Base Change
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title Logics in Artificial Intelligence
  Pages 86--105
  Year 1994
  Editor MacNish, C. and Pearce, D. and Pereira, L.M.
  Volume LNCS No 835
  Publisher Springer Verlag
 
 
book On the Logic of Theory Change
BibTeX Format | Add/View Comment
  Year 1991
  Editor Fuhrmann, A. and Morreau, M.
  Volume No. 465
  Publisher Springer Verlag
  Note Lecture Notes in Artificial
 
 
article On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions
BibTeX Format | Add/View Comment
  Author Alchourron, C.E. and Makinson, D.
  Pages 14--37
  Year 1982
  Number 48
  Journal Theoria
 
 
article On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision
BibTeX Format | Add/View Comment
  Author Alchourron, C.E. and Gärdenfors, P. and Makinson, D.
  Pages 510--530
  Year 1985
  Number 50
  Journal Journal of Symbolic Logic
 
 
article On the Logic of Theory Change: Safe Contraction
BibTeX Format | Add/View Comment
  Author Alchourron, C.E. and Makinson, D.
  Pages 405--422
  Year 1985
  Number 44
  Journal Studia Logica
 
 
techreport On the logic of theory change
BibTeX Format | Add/View Comment
  Author Williams, M.A.
  Year 1993
  Note A revised version of a Technical Report, University of Sydney, 1992
  Institution Information Systems Research Report, University of Newcastle
 
 
incollection On the logic of theory change: More maps between different kinds of contraction functions
BibTeX Format | Add/View Comment
  Author Rott, H.
  Book Title Belief Revision
  Year 1992
  Editor Gardenfors, P.
  Publisher Cambridge University Press
 
 
inproceedings On the relation between explicit and implicit beliefs
BibTeX Format | Add/View Comment
  Author Lakemeyer
  Book Title Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning
  Pages 368--375
  Year 1991
  Publisher Morgan Kaufmann
 
 
article On the status of the postulate of recovery in the logic of theory change
BibTeX Format | Add/View Comment
  Author Makinson, D.
  Pages 383--394
  Year 1987
  Journal Journal of Philosophical Logic
  Volume 16
 
 
incollection Ordinal conditional functions: A dynamic theory of epistemic states
BibTeX Format | Add/View Comment
  Author Spohn, W.
  Book Title Causation in decision, belief change, and statistics
  Pages 105--134
  Year 1988
  Editor Harper, W.L., and Skyrms, B.
  Volume II
  Publisher Kluwer Academic Publishers
 
 
book Plausible reasoning: An introduction to the theory and practice of Plausibilistic Inference
BibTeX Format | Add/View Comment
  Author Rescher, N.
  Year 1976
  Address Amsterdam
  Publisher Van Gorcum
 
 
incollection Possibilistic Logic
BibTeX Format | Add/View Comment
  Author Dubois, D. and Prade, H.
  Book Title Handbook of Logic in Artificial Intelligence and Logic Programming
  Year 1994
  Address Oxford
  Editor Gabbay, D. and Hogger, C. and Robinson, J.
  Volume 3
  Series Nonmonotonic Reasoning and uncertain Reasoning
  Publisher Claredon Press
 
 
article Prolegomena to Concise Theories of Action
BibTeX Format | Add/View Comment
  Author Pavlos Peppas, Costas Koutras and Mary-Anne Williams
  Pages 403 - 418
  Year 2001
  Number 3
  Journal Studia Logica
  Volume 67
  Web page /maryanne/papers/conciseness.zip
  Keywords reasoning about action
 
 
article Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling
BibTeX Format | Add/View Comment
  Author Goldszmidt, M. and Pearl, J.
  Pages 57--112
  Year 1996
  Number 84
  Journal Artificial Intelligence
 
 
inproceedings Reasoning about Categories in Conceptual Spaces
BibTeX Format | Add/View Comment
  Author Peter Gärdenfors and Mary-Anne Williams
  Book Title Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence
  Pages 109 - 115
  Year 2001
  Editor Bernhard Nebel
  Publisher Morgan Kaufmann
  Web page Click here
  Keywords psychological issues
ontologies
nonmonotonic reasoning
knowledge representation
intelligent system design
decision making
database applications
computational complexity
commonsense reasoning
 
 
article Reflective modalities and theory change
BibTeX Format | Add/View Comment
  Author Fuhrmann, André
  Pages 115--134
  Year 1989
  Journal Synthese
  Volume 81
 
 
inproceedings Representation Theorems for Multiple Belief Changes
BibTeX Format | Add/View Comment
  Author Dongmo Zhang and Shifu Chen and Wujia Zhu and Zhaoqian Chen
  Book Title International Joint Conference on Artificial Intelligence
  Year 1997
 
 
book Representation and Reasoning in Hybrid Representation Systems
BibTeX Format | Add/View Comment
  Author Bernhard Nebel
  Year 1990
  Publisher Springer Verlag
 
 
inproceedings Revision Sequences and Nested Conditionals
BibTeX Format | Add/View Comment
  Author C. Boutilier
  Book Title Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence
  Pages 519--525
  Year 1993
  Publisher Morgan Kaufmann
 
 
inproceedings Revisions of knowledge systems using epistemic entrenchment
BibTeX Format | Add/View Comment
  Author Gärdenfors, P. and Makinson, D.
  Book Title Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge Conference
  Pages 83--95
  Year 1988
  Publisher Morgan Kaufmann
 
 
article Special Issue on Belief Revision
BibTeX Format | Add/View Comment
  Author Fuhrmann, André (ed.)
  Year 1995
  Journal Notre Dame Journal of Formal Logic
  Volume 36
 
 
phdthesis Studies in belief change
BibTeX Format | Add/View Comment
  Author Nayak, A.
  Year 1993
  School Department of Philosophy, University of Rochester, USA
 
 
article TRIZ related stuff
BibTeX Format | Add/View Comment
  Journal Anti TRIZ-journal
  Note TRIZ
  Web page http://www3.sympatico.ca/karasik
  Keywords belief base revision
 
 
proceedings The Logic of Theory Change
BibTeX Format | Add/View Comment
  Year 1991
  Editor André Fuhrmann and Michael Morreau
  Series Lecture Notes in AI
  Publisher Springer
 
 
article The dynamics of belief systems: Foundations vs. coherence
BibTeX Format | Add/View Comment
  Author Gärdenfors, P.
  Year 1989
  Journal Revue Internationale de Philosophie
 
 
article Theory contraction through base contraction
BibTeX Format | Add/View Comment
  Author Fuhrmann, A.
  Pages 175--203
  Year 1991
  Journal Journal of Philosophical Logic
  Volume 20
 
 
article Theory revision and probability
BibTeX Format | Add/View Comment
  Author Schlecta, K.
  Pages 45--78
  Year 1991
  Number 2
  Journal Notre Dame Journal of Formal Logic
  Volume 32
 
 
inproceedings Towards a Practical Approach to Belief Revision: Reason-Based Change
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning
  Pages 412--421
  Year 1996
  Editor Aiello, L.C. and Shapiro, C.
  Publisher Morgan Kaufmann Publishers
 
 
techreport Transmutations for theory base Change
BibTeX Format | Add/View Comment
  Author Williams, M. A.
  Year 1993
  Note A revised and corrected version of a paper with the same title in the Proceedings of the Joint Australian Artificial Intelligence Conference
  Institution University of Newcastle
 
 
phdthesis Transmutations of knowledge systems
BibTeX Format | Add/View Comment
  Author Williams, M. A.
  Year 1993
  School Department of Computer Science, University of Sydney, Australia
 
 
inproceedings Transmutations of knowledge systems
BibTeX Format | Add/View Comment
  Author Williams, M. A.
  Book Title Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference
  Year 1994
  Address San Mateo, CA
  Editor Doyle, J. and Sandwall, E. and Torasso, P.
  Publisher Morgan Kaufmann
  Note to appear
 
 
article Two Modellings for Theory Change
BibTeX Format | Add/View Comment
  Author Grove, A.
  Pages 157--170
  Year 1988
  Number 17
  Journal Journal of Philosophical Logic
 
 
article Two methods of constructing contractions and revisions of knowledge systems
BibTeX Format | Add/View Comment
  Author Rott, H.
  Pages 149--173
  Year 1991
  Journal Journal of Philosophical Logic
  Volume 20
 
 
inproceedings Two operators for theory bases
BibTeX Format | Add/View Comment
  Author Williams, M-A.
  Book Title Proc. Australian Joint Artificial Intelligence Conference
  Pages 259--265
  Year 1992
  Publisher World Scientific
 
 
inproceedings Weakening Conflicting Information for Iterated Revision and Knowledge Integration,
BibTeX Format | Add/View Comment
  Author Salem Benferhat, Souhilla Kaci, Daniel Le Berre, and Mary-Anne Williams
  Book Title Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence
  Editor Bernhard Nebel
  Publisher Morgan Kaufmann
  Web page Click here
  Keywords agent design
automated reasoning
belief base revision
commonsense reasoning
decision making
diagnosis
implementation issue
information management
intelligent system design
iterated belief revision
knowledge representation
nonmonotonic reasoning
possibilistic reasoning
 
 
article Weakening conflicting information for iterated revision and knowledge integration
BibTeX Format | Add/View Comment
  Author Salem Benferhat, Souhila Kaci, Daniel Le Berre and Mary-Anne Williams
  Pages 339--371
  Year 2003
  Journal Artificial Intelligence Journal
  Volume 153
  Web page Click here
  Keywords possibilistic reasoning
nonmonotonic reasoning
knowledge representation
iterated belief revision
intelligent system design
information management
implementation issue
decision making
database applications
commonsense reasoning
business applications
belief base revision
 
 
article When hyperpropositions meet ...
BibTeX Format | Add/View Comment
  Author Fuhrmann, André
  Pages 559--74
  Year 1999
  Journal Journal of Philosophical Logic
  Volume 28
 
 
Username:
Password:
New user?
Forgotten your
password?

To post or edit items:
  1. Log in.
  2. Go to the page to be modified
  3. Choose the option to post or edit

 

Home | Publications | People | Conferences | Software | Tutorials | Other | Newsletter

Site created by Studio 4 and the Innovation and Technology Research Laboratory.

Contact


Page load time: 0.0s