Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
24
click to vote
ICTAI
1993
IEEE
favorite
Email
discuss
report
85
views
Artificial Intelligence
»
more
ICTAI 1993
»
The Implementation of a First-Order Logic AGM Belief Revision System
14 years 3 months ago
Download
www.jos.org.cn
Simon Dixon, Wayne Wobcke
Real-time Traffic
Artificial Intelligence
|
ICTAI 1993
|
claim paper
Related Content
»
ResourceBounded Belief Revision and Contraction
»
Anytime Belief Revision
»
Conditional Doxastic Models A Qualitative Approach to Dynamic Belief Revision
»
Normative framework for normative system change
»
Revising Nonmonotonic Theories The Case of Defeasible Logic
»
COBA 20 A ConsistencyBased Belief Change System
»
Reinforcement Belief Revision
»
Horn Complements Towards HorntoHorn Belief Revision
»
REVISE An Extended Logic Programming System for Revising Knowledge Bases
more »
Post Info
More Details (n/a)
Added
08 Aug 2010
Updated
08 Aug 2010
Type
Conference
Year
1993
Where
ICTAI
Authors
Simon Dixon, Wayne Wobcke
Comments
(0)
Researcher Info
Artificial Intelligence Study Group
Computer Vision