Publication: Research Ph.D. thesis Annual report year: 2014
|
|
|
- John Neal
- 7 years ago
- Views:
Transcription
1 Thomas Bolander - Publications - DTU Orbit (19/09/2016) Announcements to Attentive Agents. / Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas ; Lorini, Emiliano ; Pardo, Pere ; Schwarzentruber, Francois. In: Journal of Logic, Language and Information, Vol. 25, No. 1, 2016, p Publication: Research - peer-review Journal article Annual report year: 2016 Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, Hans; Jensen, Martin Holm. In: Synthese, Publication: Research - peer-review Journal article Annual report year: 2016 Synthetic Completeness Proofs for Seligman-style Tableau Systems. / Jørgensen, Klaus Frovin; Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben. Proceedings of Advances in Modal Logic Publication: Research - peer-review Article in proceedings Annual report year: 2016 Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin. In: Journal of Logic and Computation, 2015, p Publication: Research - peer-review Journal article Annual report year: 2015 Complexity Results in Epistemic Planning. / Bolander, Thomas; Jensen, Martin Holm; Schwarzentruber, Francois. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). ed. / Qiang Yang; Michael Wooldridge. AAAI Press, p Publication: Research - peer-review Article in proceedings Annual report year: 2015 Cooperative Epistemic Multi-Agent Planning With Implicit Coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert ; Nebel, Bernhard. ICAPS Proceedings of the 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-2015) p Publication: Research - peer-review Article in proceedings Annual report year: 2015 Don't Plan for the Unexpected: Planning Based on Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm. In: Logique et Analyse, Vol. 58, No. 230, Publication: Research - peer-review Journal article Annual report year: 2015 Hvornår skal vi blive bange? / Johansen, Mikkel W.; Bolander, Thomas. In: Weekendavisen ; 43, 01 January p. 5. Publication: Communication Newspaper article Annual report year: 2016 Kursusudvikling gennem systematisk evaluering. / Bolander, Thomas. Universitetspædagogiske praksisser. ed. / Peter Stray Jørgensen; Lotte Rienecker. Samfundslitteratur, p Publication: Research - peer-review Book chapter Annual report year: 2015 Learning Actions Models: Qualitative Approach. / Bolander, Thomas; Gierasimczuk, Nina. Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015). ed. / Wiebe van der Hoek; Wesley H. Holliday; Wen-fang Wang. Springer, p (Lecture Notes in Computer Science, Vol. 9394). Publication: Research - peer-review Article in proceedings Annual report year: 2016 Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic. / Andersen, Mikkel Birkegaard; Bolander, Thomas (Supervisor). Kgs. Lyngby : Technical University of Denmark (DTU), p. (DTU Compute PHD-2014; No. 351). Publication: Research Ph.D. thesis Annual report year: 2015 Epistemic and Doxastic Planning. / Jensen, Martin Holm; Bolander, Thomas (Main supervisor). Kgs. Lyngby : Technical University of Denmark, p. (DTU Compute PHD-2014; No. 316).
2 Publication: Research Ph.D. thesis Annual report year: 2014 Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. / Bolander, Thomas. Proceedings of the European Conference on Social Intelligence (ECSI-2014). ed. / Andreas Herzig; Emiliano Lorini p (CEUR Workshop Proceedings; No. urn:nbn:de: , Vol. 1283). Publication: Research - peer-review Article in proceedings Annual report year: 2014 A Seligman-Style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, Proceedings. Springer, p Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm. AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, Proceedings. Springer, p (Lecture Notes in Computer Science, Vol. 8272). Undecidability in Epistemic Planning. / Aucher, Guillaume; Bolander, Thomas. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. AAAI Press, p Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor). College Publications, p. Publication: Research Book Annual report year: 2012 Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm. Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, Proceedings. Springer, p (Lecture Notes in Computer Science, Vol. 7519). Publication: Research - peer-review Article in proceedings Annual report year: 2012 CDIO Projects in DTU s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru. Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20-23, Lyngby : Technical University of Denmark, Publication: Research - peer-review Article in proceedings Annual report year: 2011 Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard. In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p Publication: Research - peer-review Journal article Annual report year: 2010 From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård. 7th International CDIO Conference Technical University of Denmark, Publication: Research - peer-review Conference abstract in proceedings Annual report year: 2011 Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof. In: Information and Computation, Vol. 208, No. 5, 2010, p Publication: Research - peer-review Conference article Annual report year: 2010 Preface. / Bolander, Thomas; Braüner, Torben. In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p Publication: Research Conference article Annual report year: 2011
3 Proceedings of the 6th workshop on Methods for Modalities (M4M ), Copenhagen, Denmark November / Bolander, Thomas (Editor); Braüner, Torben (Editor). In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p Publication: Research - peer-review Conference abstract in journal Annual report year: 2010 Two approaches to termination and completeness of hybrid tableaus. / Bolander, Thomas. Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) Publication: Research - peer-review Article in proceedings Annual report year: 2010 Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben (Editor); Bolander, Thomas (Editor). Springer Science+Business Media B.V., (Journal of Logic, Language and Information; No. 18(4)). Publication: Research - peer-review Book Annual report year: 2009 Logik, computere og kunstig intelligens. / Bolander, Thomas; Nilsson, Jørgen Fischer; Villadsen, Jørgen. Matematiske horisonter. Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, p Publication: Education Book chapter Annual report year: 2009 Preface : Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben; Bolander, Thomas. In: Journal of Logic, Language and Information, Vol. 18, No. 4, 2009, p Publication: Research - peer-review Editorial Annual report year: 2009 Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick. In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p Publication: Research - peer-review Conference article Annual report year: 2009 Many-Valued Hybrid Logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben. Advances in Modal Logic. Vol. 7 College Publications, p Publication: Research - peer-review Article in proceedings Annual report year: 2008 Self-reference. / Bolander, Thomas. Stanford Encyclopedia of Philsophy. CSLI Publications/Center for the Study of Language & Information, Publication: Research - peer-review Book chapter Annual report year: 2008 Decidability of a Hybrid Duration Calculus. / Bolander, Thomas; Hansen, Michael Reichhardt; Hansen, Jens Ulrik. In: Electronic Notes in Theoretical Computer Science, Vol. 174, 2007, p Publication: Research - peer-review Conference article Annual report year: 2007 Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, René Rydhof. Logic, Language, Information and Computation, Proceedings. Springer, p (Lecture Notes in Computer Science, Vol ). Publication: Research - peer-review Article in proceedings Annual report year: 2007 Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen. In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p Publication: Research - peer-review Editorial Annual report year: 2007 Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor). Elsevier, (Electronic Notes in Theoretical Computer Science; No. 174). Publication: Research - peer-review Book Annual report year: 2007
4 Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). / Villadsen, Jørgen (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor). Trinity College Dublin, p. (19th European Summer School in Logic, Language and Information (ESSLLI 2007)). Publication: Research - peer-review Book Annual report year: 2007 Termination for Hybrid Tableaus. / Bolander, Thomas; Blackburn, Patrick. In: Journal of Logic and Computation, Vol. 17, No. 3, 2007, p Publication: Research - peer-review Journal article Annual report year: 2007 Introduction to self-reference. / Bolander, Thomas. Self-Reference. Stanford : CSLI Publications/Center for the Study of Language & Information, Publication: Research - peer-review Book chapter Annual report year: 2006 Proceedings of the International Workshop on Hybrid Logic : Federated Logic Conference, Seattle, USA. / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor). Federated Logic Conference, Seattle, USA, Publication: Research - peer-review Book Annual report year: 2006 Self-Reference. / Bolander, Thomas; Hendricks, Vincent F. (Editor); Pedersen, Stig Andur (Editor). CSLI Publications/Center for the Study of Language & Information, Publication: Research - peer-review Book Annual report year: 2006 Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben. In: Journal of Logic and Computation, Vol. 16, 2006, p Publication: Research - peer-review Journal article Annual report year: 2006 Two Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben. Proocedings of Methods for Modalitites p Publication: Research - peer-review Article in proceedings Annual report year: 2005 Logical Theories for Agent Introspection. / Bolander, Thomas; Nilsson, Jørgen Fischer (Supervisor); Jensen, Helge Elbrønd (Supervisor) Publication: Research Ph.D. thesis Annual report year: 2004 Chapter 7 of the ESGI 04 (European Study Group with Industry) report on the LEGO Digital Designer problem. / Bolander, Thomas; Fischer, Paul. Department of Mathematics, Technical University of Denmark, Publication: Research - peer-review Report Annual report year: 2004 From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. / Bolander, Thomas. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Publication: Research - peer-review Article in proceedings Annual report year: 2003 Maximal Introspection of Agents. / Bolander, Thomas. In: Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002, p Om Gödels sætning. / Jensen, Helge Elbrønd; Bolander, Thomas Publication: Research - peer-review Report Annual report year: 2002 Om Gödels sætning. / Bolander, Thomas; Jensen, Helge Elbrønd. In: Normat, Vol. 50, No. 1, 2002, p
5 Restricted Truth Predicates in First-Order Logic. / Bolander, Thomas. The LOGICA 2002 Yearbook. Filosofia, Prague, Publication: Research - peer-review Article in proceedings Annual report year: 2002 Self-Reference and Logic. / Bolander, Thomas. In: Phi News, Vol. 1, 2002, p
Curriculum Vitae Dr. Yi Zhou
Curriculum Vitae Dr. Yi Zhou Personal Information Name: Yi Zhou Major: Computer Science Tel (work): +61-2-4736 0802 Tel (home): +61-2-4736 8357 Email: yzhou@scm.uws.edu.au Homepage: https://www.scm.uws.edu.au/~yzhou/
A Logic of Trust and Reputation
A Logic of Trust and Reputation Emiliano Lorini (joint work with A. Herzig, J. F. Hübner, L. Vercouter) IRIT-CNRS, Toulouse, France Workshop on Trust, Advice, and Reputation Toulouse, 22-24 October 2009
Phone: +43 1 4277 783 21 Fax: +43 1 4277 8 783 21 Email: wolfgang.dvorak@univie.ac.at Homepage: homepage.univie.ac.at/wolfgang.
Wolfgang Dvořák University of Vienna Research Group: Theory and Applications of Algorithms Währinger Straße 29, A-1090 Wien, Austria Phone: +43 1 4277 783 21 Fax: +43 1 4277 8 783 21 Email: wolfgang.dvorak@univie.ac.at
Descartes Lectures 2008 and Workshop on Pragmatism and Naturalism
Descartes Lectures 2008 and Workshop on Pragmatism and Naturalism Tilburg, 07.05.2008-09.05.2008 1 Descartes Lectures 2008 Main Speaker: Professor Huw Price, University of Sydney Every other year, a distinguished
stefanwintein-at-gmail-dot-com Adress: Personalia 6-6-1979, Middelburg, Netherlands.
Stefan Wintein Curriculum vitae Contact Information Mobile: +31641470624 E-mail: stefanwintein-at-gmail-dot-com Adress: van Enckevoirtlaan 87, 3052KR, Rotterdam. Webpage: stefanwintein.webklik.nl Personalia
Merging DEL and ETL. Noname manuscript No. (will be inserted by the editor) Tomohiro Hoshi
Noname manuscript No. (will be inserted by the editor) Merging DEL and ETL Tomohiro Hoshi Received: date / Accepted: date Abstract This paper surveys the interface between the two major logical trends
Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.
Curriculum Vitae Jens Chr. Godskesen Date of Birth May 25, 1963 Position Address www Positions Head of Department IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.dk/~jcg
Presentation Overview AGENT-BASED SOFTWARE ENGINEERING. 1 The AOP Proposal. 1.1 Specifics
AGENT-BASED SOFTWARE ENGINEERING Mike Wooldridge & Michael Fisher Department of Computing Manchester Metropolitan University United Kingdom M.Wooldridge@doc.mmu.ac.uk Presentation Overview 1. Introduce
[2] L. Bækgaard and J.C. Godskesen. Real-time events control in active databases. Journal of Systems and Software, 42(3):263 271, August 1998.
![[2] L. Bækgaard and J.C. Godskesen. Real-time events control in active databases. Journal of Systems and Software, 42(3):263 271, August 1998.](/thumbs/27/10566934.jpg "[2] L. Bækgaard and J.C. Godskesen. Real-time events control in active databases. Journal of Systems and Software, 42(3):263 271, August 1998.")
References [1] L. Bækgaard and J.C. Godskesen. Transition based specification and verification of real-time dynamic database constraints. Technical Report R 95 2018, Aalborg University, Aalborg, Denmark,
My work and LED activities at DTU Fotonik. Maumita Chakrabarti PhD student (01-01-13 31-12-15 ) DTU Fotonik
My work and LED activities at DTU Fotonik Maumita Chakrabarti PhD student (01-01-13 31-12-15 ) DTU Fotonik Swedish Energy Agency Summer Advanced Lighting Study Maumita Chakrabarti, DTU Fotonik DTU Fotonik
Philosophy. University Graduate School 2007 2008 Academic Bulletin
University Graduate School 2007 2008 Academic Bulletin Philosophy University Graduate School Kirkwood Hall 111 Indiana University Bloomington, IN 47405 (812) 855-8853 Contact: grdschl@indiana.edu College
Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban. Group announcement logic. Journal of Applied Logic, 8(1):62 81, 2010.
Bibliography Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban. Group announcement logic. Journal of Applied Logic, 8(1):62 81, 2010. Alan Ross Anderson and Omar Khayyam Moore. The
Understanding cycling and the possibilities for cycling promotion to achieve societal goals.
PhD seminar Cycling and society Understanding cycling and the possibilities for cycling promotion to achieve societal goals. November 28 December 1 2011: Daily 9 AM 5 PM Hosted by the, Faculty of Life
Martin Smith. Philosophy, 67 Oakfield Ave, University of Glasgow, Glasgow G12 8LP. Martin.Smith@glasgow.ac.uk
1 Martin Smith Philosophy, 67 Oakfield Ave, University of Glasgow, Glasgow G12 8LP Martin.Smith@glasgow.ac.uk http://www.gla.ac.uk/schools/humanities/staff/martinsmith/ Areas of Research and Teaching Competence
Quality in education as teaching for student engagement and competence development
Quality in education as teaching for student engagement and competence development Nordic Conference on Student-centred approach and the quality of degree education 14 June 2016, Helsinki, Finlandia Hall
Description. Time and place. Office, phones, etc. Spring Semester, 2005 Instructor: J. Horty. PHIL 858: Revising and Combining Beliefs
Spring Semester, 2005 Instructor: J. Horty PHIL 858: Revising and Combining Beliefs Description This seminar focuses on the related problems of belief revision (revising beliefs with new, possibly conflicting
Computation Beyond Turing Machines
Computation Beyond Turing Machines Peter Wegner, Brown University Dina Goldin, U. of Connecticut 1. Turing s legacy Alan Turing was a brilliant mathematician who showed that computers could not completely
Adam Anthony Baldwin-Wallace College Voice: (440) 826-2059 Department of Mathematics and Computer Science 275 Eastland Rd apanthon@bw.
Adam Anthony Baldwin-Wallace College Voice: (440) 826-2059 Department of Mathematics and Computer Science 275 Eastland Rd apanthon@bw.edu Berea, OH 44017 http://www.bw.edu/ apanthon Updated July 16, 2012
OOPS: An S5 n Prover for Educational Settings
M4M 2009 OOPS: An S5 n Prover for Educational Settings Gert van Valkenhoef 1,2 Department of Business and ICT, University of Groningen, P.O. Box 800, 9700 AV, Groningen, The Netherlands Elske van der Vaart
AGENTS AND SOFTWARE ENGINEERING
AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge Queen Mary and Westfield College, University of London London E1 4NS, United Kingdom M.J.Wooldridge@qmw.ac.uk Abstract Software engineers continually
MYWORLD: AN AGENT-ORIENTED TESTBED FOR DISTRIBUTED ARTIFICIAL INTELLIGENCE
MYWORLD: AN AGENT-ORIENTED TESTBED FOR DISTRIBUTED ARTIFICIAL INTELLIGENCE Michael Wooldridge Department of Computing Manchester Metropolitan University Chester Street, Manchester M1 5GD United Kingdom
Final Results SDC 8 - Köpenhamn 2013-08-25
Final Results SDC 8 - Köpenhamn 2013-08-25 Results for SDC 8 - Köpenhamn OPEN results MATCH MATCH REG 1 100.00 642.6230 13. Carsten Samuelsen +Open - U DNK sonos 2 96.96 623.0713 64. Pär Hylander +Open
ARTIFICIAL INTELLIGENCE: DEFINITION, TRENDS, TECHNIQUES, AND CASES
ARTIFICIAL INTELLIGENCE: DEFINITION, TRENDS, TECHNIQUES, AND CASES Joost N. Kok, Egbert J. W. Boers, Walter A. Kosters, and Peter van der Putten Leiden Institute of Advanced Computer Science, Leiden University,
Argumentación en Agentes Inteligentes: Teoría y Aplicaciones Prof. Carlos Iván Chesñevar
Argumentation in Intelligent Agents: Theory and Applications Carlos Iván Chesñevar cic@cs.uns.edu.ar http://cs.uns.edu.ar/~cic cic Part 5 - Outline Main research projects in argumentation Main conferences
Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics Johan van Benthem ILLC Amsterdam Stanford University johan@science.uva.nl Cédric Dégremont ILLC Amsterdam cdegremo@science.uva.nl
Press Release - April 13 2011
List of team members Communications Coordinator Ulrik Eggert Knuth-Winterfeldt Construction Manager Nikolaj Nørregård Rasmussen Contest Captain Søren Andersen Faculty Advisor Bjarne W. Olesen Fire Watch
Mapping of academic research on clusters in Denmark
Mapping of academic research on clusters in Denmark An appetizer before the buffet... Emily Wise, PhD What is academic research on clusters? Included: Academic research Not included: Other research or
Christian Larsen. Professor. MSc (Mathematical Economics), University of Aarhus, Denmark, 1987 PhD, University of Aarhus, Denmark, 1990
Christian Larsen Professor MSc (Mathematical Economics), University of Aarhus, Denmark, 1987 PhD, University of Aarhus, Denmark, 1990 Academic work experience PhD student, Department of Operations Research,
Curriculum Vitae et Studiorum
Curriculum Vitae et Studiorum Mauro Ferrari Dipartimento di Scienze Teoriche e Applicate Università degli Studi dell Insubria Via Mazzini 5, 21100, Varese, Italy tel: +39 0332 21 8948 fax: +39 0332 21
Master OPML file Statistics on 9 March 2016 1 / 10 Statistics provided by Jukka S. Rannila
Master OPML file Statistics on 9 March 2016 1 / 10 These journals dont have RSS feeds ACM Computing Surveys ACM Journal of Data and Information Quality ACM Journal on Educational Resources in Computing
CURRICULUM VITAE. THOMAS HARBOE (Born: 1965)
CURRICULUM VITAE THOMAS HARBOE (Born: 1965) Head of Section, Chief Educational Advisor MA, MEd & PhD students The Faculty of Social Sciences, University of Southern Denmark RESUME Since 1995, I have worked
Teaching portfolio. Supervision of 1st semester mathematics students writing projects in discrete dynamical systems, 10 ECTS, bachelor level, AAU.
1. Teaching CV Teaching portfolio TEACHING AND EXTERNAL EXAMINER TASKS SINCE 2015: Autumn 2015: studies at Aalborg University, bachelor (Aalborg, Esbjerg and Copenhagen campuses) "Calculus," course at
UNIVERSITY OF AMSTERDAM FACULTY OF SCIENCE. EDUCATION AND EXAMINATION REGULATIONS Academic Year 2012-2013 PART B THE MASTER S PROGRAMME IN LOGIC
UNIVERSITY OF AMSTERDAM FACULTY OF SCIENCE EDUCATION AND EXAMINATION REGULATIONS Academic Year 2012-2013 PART B THE MASTER S PROGRAMME IN LOGIC September 1 st 2012 Chapter 1 Article 1.1 Article 1.2 Chapter
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE Second Edition WORLD SCIENTIFIC SERIES IN COMPUTER SCIENCE 25: Computer Epistemology A Treatise on the Feasibility of the Unfeasible or Old Ideas Brewed New (T Vamos)
An Intelligent Software Agent Machine Condition Monitoring System Using GPRS and Data Mining
An Intelligent Software Agent Machine Condition Monitoring System Using GPRS and Data Mining R.Anandan Assistant Professor 1 1 Department of Computer Science & Engineering KarpagaVinayagaCollege of Engineering
Introduction to Artificial Intelligence
Introduction to Artificial Intelligence 1st year undergraduate degrees with AI and/or CS http://www.cs.bham.ac.uk/~jxb/iai.html Lecturer: Dr. John A. Bullinaria http://www.cs.bham.ac.uk/~jxb John A. Bullinaria,
The OPUS School Meal Study New Nordic Diet for children
The OPUS School Meal Study New Nordic Diet for children Rikke A. Petersen PhD stud rap@life.ku.dk Department of Nutrition, Exercise and Sports Background of the OPUS School Meal Study WP 7 Communication
EFFICIENT KNOWLEDGE BASE MANAGEMENT IN DCSP
EFFICIENT KNOWLEDGE BASE MANAGEMENT IN DCSP Hong Jiang Mathematics & Computer Science Department, Benedict College, USA jiangh@benedict.edu ABSTRACT DCSP (Distributed Constraint Satisfaction Problem) has
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning Laura Giordano 1, Valentina Gliozzi 2, and Gian Luca Pozzato 2 1 Dipartimento di Informatica - Università del Piemonte Orientale A.
Information Broker Agents in Intelligent Websites
Information Broker Agents in Intelligent Websites Catholijn M. Jonker, Jan Treur Vrije Universiteit Amsterdam, Department of Artificial Intelligence De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
CURRICULUM VITAE. March 2014
U M B E R T O R I V I E C C I O CURRICULUM VITAE March 2014 CONTACT DETAILS Address: Faculty of Technology, Policy and Management Section Philosophy Jaffalaan, 2628 BX Delft The Netherlands E-mail: Website:
Theory of Automated Reasoning An Introduction. Antti-Juhani Kaijanaho
Theory of Automated Reasoning An Introduction Antti-Juhani Kaijanaho Intended as compulsory reading for the Spring 2004 course on Automated Reasononing at Department of Mathematical Information Technology,
Looking at Eyes. Eye-Tracking Studies of Reading and Translation Processing. Edited by. Susanne Göpferich Arnt Lykke Jakobsen Inger M.
Looking at Eyes Looking at Eyes Eye-Tracking Studies of Reading and Translation Processing Edited by Susanne Göpferich Arnt Lykke Jakobsen Inger M. Mees Copenhagen Studies in Language 36 Samfundslitteratur
A View Integration Approach to Dynamic Composition of Web Services
A View Integration Approach to Dynamic Composition of Web Services Snehal Thakkar, Craig A. Knoblock, and José Luis Ambite University of Southern California/ Information Sciences Institute 4676 Admiralty
A Model of Intention with (Un)Conditional Commitments
A Model of Intention with (Un)Conditional Commitments Dongmo Zhang Intelligent Systems Laboratory, University of Western Sydney, Australia d.zhang@uws.edu.au Abstract. This paper proposes a model of intention
A Generic Process Calculus Approach to Relaxed-Memory Consistency
A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber Nadine Rohde Lars-Henrik Eriksson Joachim Parrow UPMARC Workshop on Memory Models (MM 15) 23 24 February 2015,
Theoretical Perspectives in Contemporary Business Administration Research
Theoretical Perspectives in Contemporary Business Administration Research Ph.D. course in Business Administration, School of Business, Economics and Law Gothenburg University 7.5 ECTS Autumn 2012 Course
A View Integration Approach to Dynamic Composition of Web Services
A View Integration Approach to Dynamic Composition of Web Services Snehal Thakkar University of Southern California/ Information Sciences Institute 4676 Admiralty Way, Marina Del Rey, California 90292
Honorary Fellow of the Amsterdam School of Communication Research (ASCoR), University of Amsterdam, The Netherlands
Klaus Schönbach Chair of General Communication Science, Department of Communication, University of Vienna, Austria Honorary Professor of Zeppelin University, Friedrichshafen, Germany Honorary Fellow of
Appendices master s degree programme Artificial Intelligence 2014-2015
Appendices master s degree programme Artificial Intelligence 2014-2015 Appendix I Teaching outcomes of the degree programme (art. 1.3) 1. The master demonstrates knowledge, understanding and the ability
Sofia Ceppi. Personal Information 2. Association Memberships 2. Education 2. Academic Positions and Affiliations 3
CURRICULUM VITAE ET STUDIORUM Sofia Ceppi INDICE Personal Information 2 Association Memberships 2 Education 2 Academic Positions and Affiliations 3 Teaching Activities 3 Teaching Assistantships.........................................
A Meta-model of Business Interaction for Assisting Intelligent Workflow Systems
A Meta-model of Business Interaction for Assisting Intelligent Workflow Systems Areti Manataki and Yun-Heh Chen-Burger Centre for Intelligent Systems and their Applications, School of Informatics, The
CURRICULUM VITAE OF DAN D. V. BHANDERI
1 CURRICULUM VITAE OF DAN D. V. BHANDERI Last update: 18th January 2008 PERSONAL DATA Name: Degree: Birth: Gender: Citizenship: Dan D. V. Bhanderi M.Sc.E.E., Ph.D. May 4th, 1977 in Vejle, Male Danish CURRENT
Teaching Formal Methods for Computational Linguistics at Uppsala University
Teaching Formal Methods for Computational Linguistics at Uppsala University Roussanka Loukanova Computational Linguistics Dept. of Linguistics and Philology, Uppsala University P.O. Box 635, 751 26 Uppsala,
Inspirationsdag om kvalitetsledelse hos Grundfos
Inspirationsdag om kvalitetsledelse hos Grundfos Keld Zornig, Direktør, SAS Institute A/S 8. februar 2010 10.00 Velkomst og introduktion til Grundfos og dagens program v. Torben Brændgaard, Vice President,
A Hybrid Approach for Ontology Integration
A Hybrid Approach for Ontology Integration Ahmed Alasoud Volker Haarslev Nematollaah Shiri Concordia University Concordia University Concordia University 1455 De Maisonneuve Blvd. West 1455 De Maisonneuve
DTU INTERNATIONAL ENERGY CONFERENCE. WHEN? 10-12 September 2013
Invitation DTU INTERNATIONAL ENERGY CONFERENCE 10-12 September 2013 SUSTAINABLE ENERGY FOR GREEN ECONOMIC GROWTH Programme overview Detailed programme at www.natlab.dtu.dk ENERGY TECHNOLOGIES AND SYSTEMS
Which Semantics for Neighbourhood Semantics?
Which Semantics for Neighbourhood Semantics? Carlos Areces INRIA Nancy, Grand Est, France Diego Figueira INRIA, LSV, ENS Cachan, France Abstract In this article we discuss two alternative proposals for
NIAGRA KICK OFF Participants 18 sept 2013
DTU, TECHNICAL UNIVERSITY OF DENMARK Peter Bøggild Associate Professor, Building 345Ø, room 149 Phone: +45 45255723 Fax: +45 45887762 Cellphone: + 45 20148004 Email: Peter.boggild@nanotech.dtu.dk Adam
Task Management under Change and Uncertainty
Task Management under Change and Uncertainty Constraint Solving Experience with the CALO Project Pauline M. Berry, Karen Myers, Tomás E. Uribe, and Neil Yorke-Smith Artificial Intelligence Center, SRI
Comparing Formal Cognitive Emotion Theories
Comparing Formal Cognitive Emotion Theories Koen V. Hindriks 1 and Joost Broekens 1 Delft University of Technology, The Netherlands, {k.v.hindriks,d.j.broekens}@tudelft.nl, WWW home page: http://mmi.tudelft.nl/~koen
21CT, Inc. +1 512 694-8971 6011 W. Courtyard Drive jonathanwilliammugan@gmail.com Austin, Texas 78730 USA
JONATHAN MUGAN Curriculum Vitae 21CT, Inc. +1 512 694-8971 6011 W. Courtyard Drive jonathanwilliammugan@gmail.com Austin, Texas 78730 USA http://www.jonathanmugan.com RESEARCH INTERESTS My research focuses
The Ministry of Finance Organization and Jurisdiction
28. June 2010 The Ministry of Finance Organization and Jurisdiction Deputy Permanent Secretary Mogens Pedersen Agenda 1. Danish Public Sector State, Regions and Municipalities 2. The organization of Ministry
Iterated Dynamic Belief Revision. Sonja Smets, University of Groningen. website: http://www.vub.ac.be/clwf/ss
LSE-Groningen Workshop I 1 Iterated Dynamic Belief Revision Sonja Smets, University of Groningen website: http://www.vub.ac.be/clwf/ss Joint work with Alexandru Baltag, COMLAB, Oxford University LSE-Groningen
Sessions. Workshops. Lectures, discussions and workshops. PhD students, members of the PhD Network of Diabetes and Metabolism, Danish Diabetes Academy
Sessions PHD COURSE PROGRAMME BASAL METABOLISM AND MOLECULAR MECHANISMS IN THE METABOLIC SYNDROME I II III IV V Basal metabolism The metabolic syndrome (MS), epidemiology and fat cells Inflammation, exercise
Curriculum Vitae for Dr Malcolm Ryan. Executive Summary
Curriculum Vitae for Dr Malcolm Ryan Executive Summary I have been working as a computer scientist in academia since 2004. My major areas of expertise are in artificial intelligence and game design. My
Employment Lecturer (assistant professor), University of Edinburgh School of Philosophy, Psychology and Language Sciences
School of Philosophy, Psychology, and Language Sciences University of Edinburgh Dugald Stewart Building 3 Charles Street EH8 9AD, Edinburgh, United Kingdom Anders J. Schoubye Curriculum Vitae Employment
PhD-course. Danish Cardiovascular Research Academy and the Nordic Medical Research Councils
PhD-course Danish Cardiovascular Research Academy and the Nordic Medical Research Councils Title of the course: Hypertension and cardiovascular ageing Bridging basic research and clinical science Aim:
How To Understand The Reason For Learning
ANALYSIS 64. APRIL 004 What one may come to know Johan van Benthem. Verificationism and the Fitch paradox The general verification thesis says that what is true can be known or formally: f Æ Kf VT A surprising
Hypertension and cardiovascular (CV) ageing Bridging basic research and clinical science
Title: Hypertension and cardiovascular (CV) ageing Bridging basic research and clinical science Prior to seminar: Participants are selected by the organizing committee based on curriculum vitae and application
Professor Alexander Zimper
Professor Alexander Zimper CURRICULUM VITAE May 2013 Department of Economics University of Pretoria Private Bag X20 Hatfield 0028 South Africa Tel: 0027 12 420-3457 E-mail: alexander.zimper@up.ac.za Internet:
CURRICULUM VITAE. Peter Ditlev Ørberg Jensen. Education: Ph.D. in International Business, Copenhagen Business School, 2009
CURRICULUM VITAE Name: Peter Ditlev Ørberg Jensen Year of birth: 1964 Family: Married, one child Education: Ph.D. in International Business, Copenhagen Business School, 2009 M. Sc. Political Science, Department
IMPROVING RESOURCE LEVELING IN AGILE SOFTWARE DEVELOPMENT PROJECTS THROUGH AGENT-BASED APPROACH
IMPROVING RESOURCE LEVELING IN AGILE SOFTWARE DEVELOPMENT PROJECTS THROUGH AGENT-BASED APPROACH Constanta Nicoleta BODEA PhD, University Professor, Economic Informatics Department University of Economics,
International Journal of Computer Science & Information Technology (IJCSIT) Vol. 6, No. 5, December 2014
REQUIREMENT ANALYSIS, ARCHITECTURAL DESIGN AND FORMAL VERIFICATION OF A MULTI- AGENT BASED UNIVERSITY INFORMATION MANAGEMENT SYSTEM Nadeem AKHTAR 1 Aisha Shafique GHORI 1 Nadeem SALAMAT 2 1 Department
Brigitte Pientka. Programming Languages, Verification, Automated Theorem Proving, Logical Frameworks, Logic, Type Theory, Logic Programming
Brigitte Pientka Department of Computer Science 5552 Beacon St #22 Pittsburgh, PA 15213-3891 Pittsburgh, PA 15217 (412) 268 3076 (412) 422 0621 e-mail: bp@cs.cmu.edu http://www.cs.cmu.edu/ bp Research
CS Master Level Courses and Areas COURSE DESCRIPTIONS. CSCI 521 Real-Time Systems. CSCI 522 High Performance Computing
CS Master Level Courses and Areas The graduate courses offered may change over time, in response to new developments in computer science and the interests of faculty and students; the list of graduate
Danske Bank s organisation 2013
Danske Bank s organisation 2013 CEO Thomas F. Borgen Chairman of the Executive Board Personal Banking Tonny Thierry Andersen* Banking Lars Mørch* Corporates & Institutions Thomas F. Borgen* Group Risk
The Modal Logic Programming System MProlog
The Modal Logic Programming System MProlog Linh Anh Nguyen Institute of Informatics, University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland nguyen@mimuw.edu.pl Abstract. We present the design of our
Ulrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina, Father of
Dr Francesco BELARDINELLI
Dr Francesco BELARDINELLI PLACE AND DATE OF BIRTH: Senigallia (IT), 8 July 1978 NATIONALITY: Italian ADDRESS: Laboratoire IBISC, 23 Bd de France, 91034 Evry, France EMAIL: belardinelli@ibisc.fr WEBPAGE:
Curriculum Vitae NIKOLAOS GALATOS
Curriculum Vitae NIKOLAOS GALATOS School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi Ishikawa 923-1292, Japan Telephone: (+81) 761-51-1203 Fax:
C.V. Personal Information
Personal Information C.V. Name : Mohammed Amoon Ahmed Sharaby. Place of birth : Menouf - Menoufia, Egypt. Date of birth : 9 / 2 / 1974. Specialization : Computer Science & Engineering Distributed Computing
Extending Semantic Resolution via Automated Model Building: applications
Extending Semantic Resolution via Automated Model Building: applications Ricardo Caferra Nicolas Peltier LIFIA-IMAG L1F1A-IMAG 46, Avenue Felix Viallet 46, Avenue Felix Viallei 38031 Grenoble Cedex FRANCE
Lecture Notes in Computer Science 5161
Lecture Notes in Computer Science 5161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
Undecidable First-Order Theories of Affine Geometries
Undecidable First-Order Theories of Affine Geometries Antti Kuusisto University of Tampere Joint work with Jeremy Meyers (Stanford University) and Jonni Virtema (University of Tampere) Tarski s Geometry
Teaching in School of Electronic, Information and Electrical Engineering
Introduction to Teaching in School of Electronic, Information and Electrical Engineering Shanghai Jiao Tong University Outline Organization of SEIEE Faculty Enrollments Undergraduate Programs Sample Curricula
Curriculum Vitae Ruben Sipos
Curriculum Vitae Ruben Sipos Mailing Address: 349 Gates Hall Cornell University Ithaca, NY 14853 USA Mobile Phone: +1 607-229-0872 Date of Birth: 8 October 1985 E-mail: rs@cs.cornell.edu Web: http://www.cs.cornell.edu/~rs/
Department of Philosophy, Linguistics, and Theory of Science Box 200, 405 30 Göteborg (phone) +46 073 7237161
PER-ERIK MILAM University of Gothenburg pererikmilam@gmail.com Department of Philosophy, Linguistics, and Theory of Science www.pererikmilam.com Box 200, 405 30 Göteborg (phone) +46 073 7237161 EDUCATION
Summary. Grants. Publications. Peer Esteem Indicators. Teaching Experience. Administrative Experience. Industrial Experience
Summary Grants Total amount of 32,535 in two Google Research Awards, for which I wrote proposals as the Principal Researcher. Publications Peer-reviewed journal papers accepted or in print: 3 Peer-reviewed
Mikaël Cozic. Areas of specialization : rational choice theory, philosophical logic, cognitive sciences, philosophy and methodology of economics
Mikaël Cozic Personal Information Born 03-06-1978 French citizenship Married, 1 child Contact Information Professional address: Département d Etudes Cognitives Ecole Normale Supérieure 45, rue d Ulm F-75005
Publications of Rod Burstall, Infornmatics, University of Edinbugh, UK
Publications of Rod Burstall, Infornmatics, University of Edinbugh, UK 1. R.M. Burstall, R.A. Leaver and J.E. Sussams. Evaluation of transport costs for alternative factory sites a case study. Operational
Progress Report to ONR on MURI Project Building Interactive Formal Digital Libraries of Algorithmic Mathematics
Progress Report to ONR on MURI Project Building Interactive Formal Digital Libraries of Algorithmic Mathematics Robert L. Constable Cornell University February 2003 Project Web Page http://www.cs.cornell.edu/info/projects/nuprl/html/digital
L. THORNE MCCARTY. Courses Taught, Law School: Contracts; Copyrights, Patents and Trademarks; Artificial Intelligence and Legal Reasoning (seminar).
L. THORNE MCCARTY Department of Computer Science Rutgers, The State University of New Jersey 110 Frelinghuysen Road Piscataway, New Jersey 08854-8019 Email: mccarty@cs.rutgers.edu EDUCATION: Harvard Law
Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999
Curriculum Vitae Date of Birth: 8 th April 1971 Nationality: Place of Birth: Work Address: Taiwanese Taipei City Institute for Physics National Chiao-Tung University Hsinchu 300 Taiwan Work Telephone:
MSc in Engineering: Computer Science, Vrije Universiteit Brussel 2008-2011 Thesis: Local Coordination and Adaptive Strategies in Robot Soccer
ir. Tim Brys Contact Information Artificial Intelligence Lab timbrys@vub.ac.be Vrije Universiteit Brussel http://ai.vub.ac.be/~tbrys Pleinlaan 2 Last updated on June 16, 2015 1050 Brussels, Belgium Education
Agent-Based Software and Practical Case of Agent-Based Software Development
Agent-Based Software and Practical Case of Agent-Based Software Development Course 2008/2009 SUBJECTS: AGENT-BASED SOFTWARE and PRACTICAL CASE OF AGENT-BASED SOFTWARE DEVELOPMENT EUROPEAN MASTER on SOFTWARE
Paul Eric Nelson. B.A., 1982, Macalester College, St. Paul, Minnesota Majors: Mathematics, Economics and Business
Paul Eric Nelson William E. Simon Graduate School 93 Westland Avenue of Business Administration Rochester, New York 14618 University of Rochester (585) 271-3186 Rochester, New York 14627 (585) 275-2550
SWITCH MODE POWER AMPLIFIERS FOR CURRENT CONTROLLED LOUDSPEAKERS
INNOVATIONPROJECT SWITCH MODE POWER AMPLIFIERS FOR CURRENT CONTROLLED LOUDSPEAKERS DTU: Arnold Knott Pascal Audio: Jesper Lind Hansen Loudsoft: Peter Larsen Abstract: In this project performed by Henrik
55 Hayward Street T H E M I T PRESS Cambridge, MA02142
ESSENTIALS OF PROGRAMMING LANGUAGES Daniel P. Friedman, MitcheB Wand, aid QmstophertHaynes hawad by Hd tlxison "Friedman, Wand, and Haynes hove done o landmark job... The sample interpreters in this book