User:Paolo Liberatore~enwiki/Watched
Appearance
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