Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati - Situation semantics - Document - PDFSEARCH.IO

First Page	Meta Content
	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Document Date: 2012-01-24 05:34:02 Open Document File Size: 179,21 KB Share Result on Facebook City San Diego / Linkoping / / Company Dynamical Systems / Case / I. Oxford University Press / / Country Sweden / / Facility Information Science Linkopings University / Stanford University / / IndustryTerm action law / action law branches / / Organization Swedish Research Council for Engineering Sciences / Computer and Information Science Linkopings University / Oxford University / Machine Intelligence / Stanford University / Department of Computer / / Person Silvia Coradeschi / Patrick Doherty / Joakim Gustafsson / Ellis Horwood / John McCarthy / Thomas Drakengren / / Position editor / planner / / ProgrammingLanguage C / K / L / / SportsLeague Stanford University / / Technology artificial intelligence / / URL http / SocialTag Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence

Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and InformatiAdd to Reading List