Leave a comment
- Tags
- 100 papers (9)
- academia (63)
- ai (4)
- ethics (2)
- dead scientists (2)
- edinburgh informatics (3)
- grants (1)
- groups
- dream (2)
- impact (1)
- public understanding (25)
- lego rover (19)
- publications (27)
- scientists
- aaron sloman (1)
- alan bundy (4)
- douglas hofstadter (1)
- john mccarthy (1)
- talks (17)
- teaching (1)
- ai (4)
- academic
- public understanding
- lego rover (1)
- public understanding
- administrivia (1)
- agents of shield (1)
- ai (17)
- agents (21)
- ail (9)
- bdi (9)
- goals (1)
- groups (3)
- languages
- agentspeak (2)
- jason (1)
- oopl (1)
- agentspeak (2)
- organisations (3)
- automated reasoning (7)
- hybrid systems (1)
- knowledge representation (1)
- planning (1)
- robotics (1)
- agents (21)
- aisb (10)
- amazon (1)
- anecdote (1)
- arthuriana (6)
- bernice summerfield (6)
- review (5)
- birthday (8)
- books (50)
- author
- andrew cartmel (3)
- ben aaronovitch (4)
- c s lewis (1)
- charlotte bronte (1)
- craig hinton (2)
- david mcintee (1)
- dorothy l sayers (1)
- iain m banks (2)
- iain rankin (1)
- ian rankin (1)
- j r r tolkien (1)
- jacqueline rayner (1)
- jane austen (1)
- jeff vandermeer (1)
- jim mortimore (1)
- jonathan blum (2)
- justin richards (3)
- kate orman (2)
- kelly hale (1)
- lance parkin (3)
- lawrence miles (6)
- mags halliday (5)
- malcolm hulke (1)
- marc platt (2)
- mark michalowski (3)
- mary stewart (1)
- megan whalen turner (3)
- michael moorcock (2)
- neal stephenson (3)
- paul cornell (4)
- paul dale smith (4)
- paul magrs (10)
- philip purser-hallard (9)
- phyllis ann karr (1)
- rob shearman (1)
- rosemary sutcliff (2)
- sara paretskey (1)
- shakespeare (1)
- simon guerrier (1)
- terrance dicks (2)
- terry pratchett (1)
- tolkien (3)
- review (25)
- author
- castle (1)
- christmas (1)
- class (7)
- review (7)
- computer science (10)
- complexity theory (2)
- game theory (4)
- economics (1)
- np problems (1)
- verification (3)
- induction (1)
- conferences (3)
- conventions (4)
- crochet (23)
- amigurumi (7)
- garment (4)
- moogly cal (1)
- non-euclidean (5)
- current affairs (11)
- current events (9)
- diary (7)
- doctor who (336)
- author
- andrew cartmel (3)
- ben aaronovitch (2)
- craig hinton (2)
- david mcintee (1)
- david whittaker (1)
- jim mortimore (1)
- jonathan blum (1)
- justin richards (3)
- kate orman (2)
- kelly hale (1)
- lance parkin (3)
- lawrence miles (5)
- mags halliday (5)
- malcolm hulke (1)
- marc platt (2)
- mark michalowski (3)
- paul cornell (3)
- paul dale smith (3)
- paul magrs (7)
- philip purser-hallard (7)
- rob shearman (2)
- terrance dicks (2)
- books (31)
- edas (2)
- nas (4)
- new series (10)
- non-fiction (1)
- pdas (1)
- review (27)
- short trips (3)
- time and relative disse (5)
- fandom (3)
- new series (7)
- nuwho rewatch (70)
- paper dolls (3)
- rec (1)
- review (309)
- book (31)
- non-fiction (3)
- film (1)
- tv (285)
- classic (100)
- new series (183)
- book (31)
- russell davies (3)
- steven moffat (2)
- the randomizer (101)
- verity podcast (1)
- author
- dolls (6)
- lego (3)
- nasa (3)
- paper dolls (3)
- lego (3)
- dreamwidth (2)
- edinburgh (7)
- festival (1)
- exercise (15)
- running (27)
- london marathon (15)
- running (27)
- facebook (5)
- faction paradox (3)
- review (3)
- family (7)
- fandom (2)
- fandom friday (2)
- fandom stocking (1)
- fanfiction (2)
- feminism (4)
- films (7)
- review (4)
- follow friday (6)
- food (12)
- heston blumenthal (1)
- recipe (2)
- fools and heroes (9)
- fossil friday (4)
- friends (2)
- genealogy (14)
- history (4)
- holidays (2)
- hadrian's wall (13)
- house (12)
- i have no tag for this (17)
- i saw this last week (31)
- icons (2)
- iris wildthyme (4)
- review (3)
- jobs (3)
- kin-strife (10)
- linkspam (16)
- livejournal (12)
- lizzie bennet diaries (1)
- mathematics (13)
- formal proof (1)
- logic (1)
- non-euclidean (5)
- philosophy (4)
- proof (1)
- quote (1)
- verification (1)
- mcu (1)
- media stardom (5)
- meme (30)
- meta (1)
- model checking (4)
- systems
- java pathfinder (3)
- systems
- oxford (1)
- performing (1)
- music (1)
- philosophy (7)
- ai (2)
- ethics (1)
- mathematics (2)
- picspam (33)
- house (1)
- travel (24)
- holidays (5)
- work related (15)
- primeval (37)
- review (31)
- programming (12)
- projects
- eass (8)
- publications (4)
- mcapl (12)
- publications (4)
- platform grant (1)
- rais (2)
- publications (2)
- verifiable autonomy (1)
- publication (1)
- vps (1)
- publications (1)
- eass (8)
- publications (8)
- random doctor who picture (62)
- random poetry (1)
- rant (4)
- reading listening watching (31)
- rec (1)
- humour (1)
- resolutions (14)
- revew (2)
- review (460)
- book (117)
- bernice summerfield (4)
- doctor who (34)
- non-fiction (3)
- non-fiction (30)
- comic (2)
- doctor who (290)
- film (9)
- tv (332)
- class (7)
- doctor who (267)
- internet (1)
- merlin (2)
- primeval (32)
- sarah jane adventures (5)
- survivors (4)
- torchwood (13)
- book (117)
- roleplaying (22)
- ros (1)
- science (1)
- science fiction (2)
- science
- share
- twitter (1)
- social networking (2)
- star wars (1)
- the expanse (1)
- theorem proving (6)
- middle-out reasoning (3)
- proof planning (5)
- proof specification lang (2)
- systems
- isabelle (2)
- isaplanner (4)
- maude (1)
- proof general (3)
- theory slicing (1)
- tptp thf (3)
- throwback thursday (20)
- tolkienery (4)
- travel (28)
- commuting (1)
- holidays (4)
- work related (24)
- traveller (6)
- tv (11)
- blakes seven (1)
- class (1)
- review (1)
- firefly (1)
- sapphire and steel (1)
- special unit 2 (1)
- supernatural (1)
- torchwood (5)
- urban dead (3)
- web stuff (2)
- wierd spam (1)
- writing (2)
