A list of articles I am watching. I use the "related changed" feature to watch these articles more closely than the articles on my watchlist.

• ASCII armor
• Abductive reasoning
• Answer set programming
• Autoepistemic logic
• Automated planning
• Automated planning and scheduling
• Automated theorem proving
• Belief revision
• Binary to text encoding
• Boolean satisfiability problem
• Circumscription
• Classical logic
• Closed World Assumption
• Conjunctive normal form
• Constraint satisfaction problem
• Convenience function
• Counterfactual conditional
• Cut buffer
• DPLL
• DPLL algorithm
• Davis-Logemann-Loveland algorithm
• Davis-Putnam algorithm
• Deborah McGuinness
• Default logic
• Defeasible logic
• Defeasible reasoning
• Drop shadow
• Event calculus
• FLTK
• FOX toolkit
• Find
• Fluent
• Fluent (artificial intelligence)
• Fluent calculus
• Frame problem
• Frame problem (philosophy)
• GOFAI
• GOLOG
• GSAT
• Gnome-session
• Graphplan
• HTTP cookie
• Hierarchical task network
• IJCAI
• IJCAI Award for Research Excellence
• Image scaling
• Inter-Client Communication Conventions Manual
• International Joint Conference on Artificial Intelligence
• International Joint Conferences on Artificial Intelligence
• Internet domain
• Intrinsics
• JAIR
• John McCarthy (computer scientist)
• Join (Unix)
• Judea Pearl
• Keycode
• Keysym
• Knowledge representation
• Knowledge representation formalisms and methods
• Ksmsession
• Linear temporal logic
• List of Unix programs
• Local search
• Local search (optimization)
• McNugget number
• Modal logic
• Modifier
• Negation as failure
• Nixon diamond
• Nohup
• Non-monotonic logic
• P3P
• Patrick J. Hayes
• Plan
• Plan (calendar program)
• Plan (disambiguation)
• Plansat
• Platform for Privacy Preferences
• Platform for Privacy Preferences Project
• Positive political theory
• Preferential entailment
• Programming language for Computable Functions
• Proof complexity
• Proof procedure
• Putty
• Putty (disambiguation)
• Quark (X Window System)
• Query string
• Ray Reiter
• Raymond Reiter
• Re-parenting window manager
• Reiter
• Reiter (disambiguation)
• Resolution (logic)
• Root window
• SIGKILL
• STRIPS
• Scheme Constraints Window Manager
• Schur's theorem
• Scwm
• Shape extension
• Situation calculus
• Startx
• Strict conditional
• Strips
• Swm
• Truth maintenance system
• Truth maintenance systems
• Twm
• Uniform Resource Locator
• Unit propagation
• Virtual desktop
• Virtual root window
• Virtual window manager
• WalkSAT
• Web beacon
• Web bug
• WinPenguins
• Wm2
• XCB
• XDM
• XPenguins
• XRender
• XScreenSaver
• XWD
• X Window System protocols and architecture
• X Window authorization
• X Window core protocol
• X Window selection
• X display manager
• X resource
• X resources
• X session manager
• X window manager
• Xbase-clients
• Xclipboard
• Xcutsel
• Xeyes
• Xinit
• Xlib
• Xnest
• Xrdb
• Xselection
• Xsm
• Xt
• Xvfb
• Xwd
• Xwud
• Yale shooting problem