Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Logiske teorier for datamaskinel introspektion og selv-reference med henblik på autonome agenter
Bolander, Thomas
(PhD Student)
Pedersen, Stig Andur
(Examiner)
Fitting, Melvin
(Examiner)
Gehrke, Mai
(Examiner)
Jensen, Helge Elbrønd
(Supervisor)
Nilsson, Jørgen Fischer
(Main Supervisor)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/09/1999
→
16/02/2004
Funding
DTU stipendium
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Logical Theory
Keyphrases
100%
Introspection
Keyphrases
100%
Artificial Intelligence
Computer Science
100%
Computational Logic
Computer Science
33%
Intelligent Behavior
Computer Science
33%
Order Predicate Logic
Computer Science
33%
External Environment
Computer Science
33%
Logic Programming
Computer Science
33%
Research output
Research output per year
2004
2004
2004
1
Ph.D. thesis
Research output per year
Research output per year
Logical Theories for Agent Introspection
Bolander, T.
,
Feb 2004
, Kgs. Lyngby:
Technical University of Denmark
.
141 p.
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Logical Theory
100%
Introspection
100%
Artificial Intelligence
100%
External Environment
33%
Computational Logic
33%
229
Downloads (Orbit)