Linköping - PDFSEARCH.IO - Document Search Engine

Linköping
Results: 449

#	Item
231	Överlämningsceremoni av Helikopter 16 (HKP16) Linköping[removed] Add to Reading List Source URL: www.fmv.se Language: Swedish - Date: 2012-04-11 08:10:41
232	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
233	Linköping University Electronic Press Kapitel I bok Att utveckla ledarskap för lärande: är det möjligt? Peter Nilsson Add to Reading List Source URL: liu.diva-portal.org Language: Swedish - Date: 2014-09-25 05:26:44
234	An Integrated Discourse Model for a Case-Based Reasoning Dialogue System Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:20:46 Fiction Applied linguistics Critical thinking Semantics Discourse analysis Dialogue Like Case-based reasoning Discourse Linguistics Sociolinguistics Science
235	Pubrunda NORRKÖPING OCH LINKÖPING D Add to Reading List Source URL: brugd.ctrl-c.liu.se Language: Swedish - Date: 2011-04-28 13:28:27
236	Towards a Robotic Dialogue System with Learning and Planning Capabilities Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:23:56 Inductive reasoning Reasoning Multimodal interaction Rhetoric Robotics Case-based reasoning Dialogue Dialog system Robot Artificial intelligence Fiction Science
237	LTHs 7:e Pedagogiska Inspirationskonferens, 30 augusti[removed]Pedagogical Experiences of Competitive Elements in an Algorithms Course Fredrik Heintz and Tommy Färnqvist, Linköping University, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-01-15 11:40:24 International Mathematical Olympiad Mathematics competitions University-preparatory schools
238	Linköping Studies in Arts and Science • 282 Meningsfulla Förflutenheter Traditionalisering och teatralisering i en klosterruin Add to Reading List Source URL: liu.diva-portal.org Language: Swedish - Date: 2012-10-16 10:07:53
239	Reasoning about A c t i o n in Polynomial T i m e T h o m a s D r a k e n g r e n and M a r c u s B j a r e l a n d Department of Computer and Information Science Link6ping University, S[removed]Linkoping, Sweden email: { Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:33:24 Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation P-complete Temporal logic Frame problem Cook–Levin theorem Theoretical computer science Applied mathematics Mathematics
240	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax

UPDATE