Haslum, Patrik - Department of Computer and Information Science, Link�pings Universitet

Advanced Search

Haslum, Patrik - Department of Computer and Information Science, Link�pings Universitet

Improving Heuristics through Search P@trik Haslum 1
Domain Knowledge in Planning: Representation and Use Patrik Haslum
A Web-Based Teaching Environment for Modelica Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson, Peter Bunus
Modern AI Planning: Reading List P@trik Haslum
Planning with Reduced Operator Sets Patrik Haslum and Peter Jonsson
Master Thesis/ Examensarbete (30 hp) Optimization and Search in Model-Based Automotive SW/HW
Partial State Progression: An Extension to the Bacchus-Kabanza Algorithm, with Applications to Prediction and MITL Consistency
Patterns in Reactive Programs P@trik Haslum 1
FACULTY OF EDUCATIONAL SCIENCES The Faculty of Educational Sciences at Linkping University in Sweden provides a comprehensive
TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstrom
Models for Prediction P@trik Haslum
Some Results on the Complexity of Planning with Incomplete Information
Towards Efficient Universal Planning---A Randomized Approach
Using Simulated RoboCup to Teach AI in Undergraduate Education
"Metodval fr utveckling mot smarta telefoner och webb" Om en strre organisation idag vill ta fram en applikation fr webb och samtidigt enkelt f en
The WITAS Unmanned Aerial Vehicle Project Patrick Doherty1 and Gosta Granlund2 and Krzystof Kuchcinski3 and Erik Sandewall4 and
New Admissible Heuristics for DomainIndependent Planning Patrik Haslum
Prediction as a Knowledge Representation Problem: A Case Study in Model Design
Heuristic Planning with Time and Resources Patrik Haslum 1 and H'ector Geffner 2
S:t Larsgatan 3, 582 24 Linkping Tel: 013-37 47 70
An Investigation into the Computational Complexity of Planning in Nondeterministic and
Admissible Heuristics for Optimal Planning Patrik Haslum
TP4 '04 and hsp P@trik Haslum
Model Checking by Random Walk P@trik Haslum
Examensarbete (30hp) eller extra jobb Programmering, skapa databaser, grafisk design, hemsidor.
IFS World Operations AB, Teknikringen 5, Box 1545, SE-581 15 Linkping, SWEDEN, Tel +46 13-460 40 00, Fax +46 13-460 40 01 www.IFSWORLD.com
The Swedish AI SocietyWorkshop May 27-28, 2009
Linkoping Studies in Science and Technology Thesis No. 1000
STEREO VISUAL SYSTEM FOR AUTONOMOUS AIR VEHICLE NAVIGATION
IDA Technical Report 1994 LiTH-IDA-94-42
Model-Based Execution Monitoring Marcus Bjareland
Fuzzy Control of an Autonomous Helicopter Dept. of Computer Sci.
Konserten anordnas av Musik vid Linkpings universitet i samarbete med Linkpings Missionsfrsamling och med std av kultur-och fritidsnmnden i Linkpings kommun, Folkuniversitetet och Sparbanksstiftelsen ALFA.
A Distributed Task Specification Language for Mixed-Initiative Delegation
SUMMER 2004 137 Workshop Report
Text att freg Frsvarsmaktens lista med uppsatsfrslag vid publicering i respektive Universitets/hgskolans webbsida.
Linkoping Studies in Science and Technology Thesis No. 1329
Linkping Studies in Science and Technology. Avhandling nummer 1430
Linkoping Studies in Science and Technology Dissertation No. 1260
Research with Collaborative Unmanned Aircraft Systems P. Doherty J. Kvarnstrom F. Heintz D. Landen
Screening of Pathological Heart Murmurs -Discrimination between Innocent and Pathologic Heart Murmurs
Solving Pursuit-Evasion Problems on Height A. Kolling, Alexander Kleiner, M. Lewis and K. Sycara
On the Correspondence between Approximations and Similarity
Some Results on the Complexity of Planning with Incomplete Information
Bridging the Sense-Reasoning Gap using the Knowledge Processing Middleware DyKnow
Life Science Spring 2011 110627 Prof. Chris Glass (University of California San Diego, USA)
TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner
Four-valued Extension of Rough Sets Aida Vitoria1
Computing and Executing Strategies for Moving Target Search
LiUEXPANDINGREALITY LINKPING UNIVERSITY
IDA Technical Report 1996 LiTH-IDA-R-96-24
Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty
An Experimental Platform for Approximate Databases
Linkoping Electronic Articles in Computer and Information Science
Patterns in Reactive Programs P@trik Haslum
Extending TALplanner with Concurrency and Resources Jonas Kvarnstrom and Patrick Doherty and Patrik Haslum1
Embracing Occlusion in Specifying the Indirect E ects of Actions Joakim Gustafsson
Knowledge Processing Middleware Fredrik Heintz, Jonas Kvarnstrom, and Patrick Doherty
Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System
Lasarettsgatan S:t Larsgatan
Integration of Live Video in a System for Natural Language Dialog with a Robot
Vision for a UAV helicopter Klas Nordberg, Patrick Doherty, Gunnar Farneback, Per-Erik Forssen,
General Domain Circumscription and its First-Order Reduction
Lessons Learned from German Research for Q. Hamp, L. Reindl and Alexander Kleiner
ResQ Freiburg: Team Description and Evaluation
Institutionen fr datavetenskap Department of Computer and Information Science
Paraconsistent Logic Programs with Four-Valued Rough Sets
IDA Technical Report 1996 LiTH-IDA-R-96-01
Bridging the sense-reasoning gap: DyKnow Stream-based middleware for knowledge processing q
A Delegation-Based Architecture for Collaborative Patrick Doherty, Fredrik Heintz, and David Landen
A Four-Valued Logic for Rough Set-Like Approximate Jan Maluszynski1
From Motion Planning to Control -A Navigation Framework for an Autonomous Unmanned Aerial Vehicle From Motion Planning to Control -A Navigation Framework
Exjobbsbeskrivning Videokodning fr nerlnk frn flygande plattform.
A Software Architecture for A.I. Systems Based on Self-Modifying Software Individuals
Chronicle Recognition in the WITAS UAV Project A Preliminary Report
LINKMAV, A PROTOYPE ROTARY WING MICRO AERIAL VEHICLE
The WITAS Unmanned Aerial Vehicle Project Patrick Doherty1 and Gosta Granlund2 and Krzystof Kuchcinski3 and Erik Sandewall4 and
DYNAMIC 3D PATH FOLLOWING FOR AN AUTONOMOUS HELICOPTER
Heuristic Planning with Time and Resources Patrik Haslum1 and Hector Ge ner2
Approximate Databases: A Support Tool for Approximate Reasoning
Online Learning Terrain Classification for Adaptive Velocity Control
Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter
On Mutual Understanding among Communicating Patrick Doherty1
The PMA and Relativizing Change for Action Update Patrick Doherty
Journal of Automated Reasoning, 18, 297{334 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Improving Heuristics through Search P@trik Haslum
A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation
Logical Agents that Plan, Execute, and Monitor Communication Martin Magnusson and David Landen and Patrick Doherty
A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model
A Mechanism for Dynamic Ride Sharing based on Parallel Auctions
Annals of Mathematics and Arti cial Intelligence 0 2001 ? ? 1 TALplanner
FACULTY OF EDUCATIONAL SCIENCES The Faculty of Educational Sciences at Linkping University in Sweden provides a comprehensive
Linkoping Studies in Science and Technology Dissertation No. 1004
Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System
Managing Dynamic Object Structures using Hypothesis Generation and Fredrik Heintz and Patrick Doherty
VICURA AB, Flygfltsvgen 9, 461 38 Trollhttan, Sweden Reg Number 556821-9025 www.vicura.se
Institutionen for Datavetenskap Department of Computer and Information Science
Linkping Studies in Science and Technology Dissertation No. 937
A Delegation-Based Collaborative Robotic Framework Patrick Doherty, Fredrik Heintz, and David Landen
Deductive Planning with Temporal Constraints Martin Magnusson and Patrick Doherty
Using Simulated RoboCup to Teach AI in Undergraduate Education
Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge
Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz Andrzej Szalas
Life Science Fall 2011 110901 Eric Lam (Imperial College, London)
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle
Linkoping Studies in Science and Technology Thesis No. 1506
THESIS Fast Encoding of H.264 HD Video The video coding standard H.264 (MPEG-4 part 10, Advanced Video Coding, AVC) has become
Mapping for the Support of First Responders in Critical Domains
Computing Circumscription Revisited: Preliminary Report Patrick Doherty
Cooperative Exploration for USAR Robots with Indirect Communication
"Metodval fr utveckling mot smarta telefoner och webb" Om en strre organisation idag vill ta fram en applikation fr webb och samtidigt enkelt f en
Construction of a Deep Level Transient Spectroscopy (DLTS) Setup Semiconductors and DLTS
Coordination of actions in an autonomous robotic system
Improved GPS Sensor Model for Mobile Robots in Urban Terrain
Planning for Loosely Coupled Agents using Partial Order Forward-Chaining Jonas Kvarnstrom
Mtning av tidsdrift i digital-TV system Tidsdrift i klocksystem r en klassisk problematik inom all realtidskommunikation och
A fast algorithm for computing the Earth Mover's Distance.
Positioning Unmanned Aerial Vehicles as Communication Relays for Surveillance Tasks
Linkoping Electronic Articles in Computer and Information Science
Linkping Studies in Science and Technology Dissertation No. 1204
Planning with Reduced Operator Sets Patrik Haslum and Peter Jonsson
Address Telephone No Internet Registered Office Diskettgatan 11 +46 (0)13 21 81 20 www.27m.com Linkping
RFID Technology-based Exploration and SLAM for Search And Rescue
The Observer Algorithm for Visibility Approximation
Linkping University Post Print Vision-Based Unmanned Aerial Vehicle
Visual Odometry for Tracked Vehicles Christian Dornhege and Alexander Kleiner
Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study (Early Innovation)
Fundamenta Informaticae 57 (2003) 193213 193 Formalizing Defeasible Logic in CAKE
Towards Automatic Model Generation by Optimization
Thesis subject Video encoding for down-link from an aerial vehicle
DyKnow: An Approach to Middleware for Knowledge Processing Fredrik Heintz
Linkoping Electronic Articles in Computer and Information Science
On the Fixpoint Theory of Equality and Its Applications
Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System
Fundamenta Informaticae XX (2003) 119 1 Towards a Framework for Approximate Ontologies
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP
The area of reasoning about action and change is concerned with the for-malization of actions and their e ects as well as other aspects of inhabited
Institutionen fr datavetenskap Department of Computer and Information Science
RoboCupRescue Interleague Challenge 2009: Bridging the gap between Simulation and
Towards a Robotic Dialogue System with Learning and Planning Capabilities Karolina Eliasson
Bridging the Sense-Reasoning Gap: DyKnow -A Middleware Component for Knowledge Processing
Towards E cient Universal Planning|A Randomized Approach
LINKPING UNIVERSITY Practical Guide
Anytime Near-Optimal Troubleshooting Applied to an Auxiliary Truck Braking System
Stream-Based Middleware Support for Embedded Reasoning Fredrik Heintz, Jonas Kvarnstrom and Patrick Doherty
Hotels in and around the center of Linkping Linkping University guests receive special rates at several hotels in and around the center
Natural Language Understanding using Temporal Action Logic
Auton Agent Multi-Agent Syst DOI 10.1007/s10458-009-9079-8
WITAS: An Intelligent Autonomous Aircraft Using Active Vision
Behavior Maps for Online Planning of Obstacle Negotiation and Climbing on Rough Terrain
RFID-Based Exploration for Large Robot V. A. Ziparo, Alexander Kleiner, B. Nebel and D. Nardi
E cient Reasoning using the Local Closed-World Assumption
Operator-Assistive Mapping in Harsh Environments
LiU's hgre seminarieserie i Human Resource Management 2012
A Reduction Result for Circumscribed Semi-Horn Patrick Doherty Witold Lukaszewiczy
Fundamenta Informaticae ?? (2006) 115 1 A Correspondence Framework between Three-Valued Logics and
CS Freiburg: Coordinating Robots for Successful Soccer Playing
Choosing Replanning Strategies for Unmanned Aircraft Systems Mariusz Wzorek and Jonas Kvarnstrom and Patrick Doherty
Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter
Using artificial landmarks to reduce the ambiguity in the environment of a mobile robot
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities
Abductive Reasoning with Filtered Circumscription Martin Magnusson and Jonas Kvarnstrom and Patrick Doherty
MAINTAINING CONSISTENCY AMONG DISTRIBUTED CONTROL NODES
Dynamic Test Selection for Reconfigurable Diagnosis Mattias Krysander, Fredrik Heintz, Jacob Roll, Erik Frisk
Call for Research Proposals 2012 Linkping Center for Life Science Technologies (LIST) offers
Planning as Heuristic Search for Incremental Fault Diagnosis and Repair
The WITAS UAV System Demonstration Mariusz Wzorek and Patrick Doherty
EXAMENSARBETE E-Datum Versionsnr
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner
S:t Larsgatan 3, 582 24 Linkping Tel: 013-37 47 70
DYNAMIC PLANNING PROBLEM GENERATION IN A Per Nyblom
Planning for Loosely Coupled Agents using Partial Order Forward-Chaining
Examensarbete (30hp) eller extra jobb Programmering, skapa databaser, grafisk design, hemsidor.
Linkoping Studies in Science and Technology Thesis No. 1510
THESIS TV beyond High-Definition (HD) The leading video coding standard (H.264, MPEG-4 part 10, Advanced Video Coding, AVC) has become
Objective evaluation of 3D video quality 3D video technology is already being used in movies and games, and TV sets with 3D video capabilities
Recently substantial research has been devoted to Unmanned Aerial Vehicles (UAVs). One of a UAV's most
Genetic MRF Model Optimization for Real-Time Victim Detection in Search and Rescue
Contextual Coalitional Games Patrick Doherty1
Large Scale Graph-based SLAM using Aerial Images as Prior Information
Fault Analysis of a Distributed Flight Control System Kristina Forsberg Simin Nadjm-Tehrani Jan Torin
Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution
Belief Revision Revisited Ewa Madalinska-Bugaj1
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Patrick Doherty
A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model
2011-03-28/IDA Planning report for thesis at IDA
A Delegation-Based Cooperative Robotic Framework Patrick Doherty and Fredrik Heintz
Mapping Disaster Areas Jointly: RFID-Coordinated SLAM by Humans and Robots
Linkping University library Import from databases to RefWorks
Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain
Linkoping Studies in Science and Technology Thesis No. 1248
Institutionen fr kultur och kommunikation A Day on Infinity
Maintainability: a weaker stabilizability like notion for high level control Mutsumi Nakamura Chitta Baral Marcus Bjareland
Linkping Studies in Arts and Science No. 550 Dissertations on HeaJth and Society No. 21
Towards a Logical Analysis of Biochemical Reactions Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Szalas1
Conditional progressive planning: a preliminary report
Overlay networking a "plugin" for Internet Internet is a very flexible communication network in the sense that users can use
Large Scale Graph-based SLAM using Aerial Images as Prior Information
Explaining Explanation Closure Patrick Doherty1 and Witold Lukaszewicz2 and Andzrej Szalas2
Pursuit-Evasion in 2.5d based on Team-A. Kolling, Alexander Kleiner, M. Lewis and K. Sycara
Similarity, Approximations and Vagueness Patrick Doherty1
Communication between agents with heterogeneous perceptual capabilities q
Temporal Action Logic for Question Answering in an Adventure Game
DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in
TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstrom
Examensarbete p Logica inom Business Intelligence (vt 2011, 30 hp) Logica r ett ledande internationellt IT-tjnstfretag som skapar vrde genom att integrera
Stream Reasoning in DyKnow: A Knowledge Processing Middleware System
Advanced Research with Autonomous Unmanned Aerial Vehicles Patrick Doherty
High-Level Design of WWW Servers in Allegro Software Description
Elaboration Tolerance through Object-Orientation Joakim Gustafsson a
Linkoping Studies in Science and Technology Thesis No. 1509
Rescue3D: Making rescue simulation attractive to the Alexander Kleiner and Moritz Gobelbecker
Troubleshooting when Action Costs are Dependent with
Decentralized SLAM for Pedestrians without direct Communication
A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model
Journal of Artificial Intelligence Research 20 (2003) 343377 Submitted 12/02; published 12/03 TALplanner in the Third International Planning
Elaboration Tolerance through Object-Orientation Joakim Gustafsson and Jonas Kvarnstrom
IDA Technical Report 1995 LiTH-IDA-R-95-20
On Measuring the Accuracy of SLAM R. Kmmerle, B. Steder, C. Dornhege, M. Ruhnke, G. Grisetti,
Linkoping Electronic Articles in Computer and Information Science
Iterative Bounding LAO* Hkan Warnquist1,2 and Jonas Kvarnstrm2 and Patrick Doherty2
Analysis Software for Deep Level Transient Spectroscopy (DLTS) Data Semiconductors and DLTS
Hazard: A Framework Towards Connecting Artificial Intelligence and Robotics Peter J. Andersson
Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios
Two Aspects of Automating Logics of Action and Change |
A Heuristic for Near-Optimal Troubleshooting Using AO* Hakan Warnquist
Reasoning about A c t i o n in Polynomial T i m e Thomas Drakengren and Marcus Bjareland
Model Checking by Random Walk P@trik Haslum
Postal adress: Linkping University SE-581 83 Linkping, Sweden
Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas
Self-Localization in Dynamic Environments based on Laser and Vision Data
Dov M. Gabbay Andrzej Szalas
Reasoning by Regression: Pre-and Postdiction Procedures for
Towards Automated Online Diagnosis of Robot Navigation Software
J Glob Optim DOI 10.1007/s10898-010-9526-8
Linkoping Studies in Science and Technology Thesis No. 1229
Linkoping Studies in Science and Technology Dissertation No. 1240
IFS World Operations AB, Teknikringen 5, Box 1545, SE-581 15 Linkping, SWEDEN, Tel +46 13-460 40 00, Fax +46 13-460 40 01 www.IFSWORLD.com
GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle GSM Technology as a Communication Media for an
Linkoping Studies in Science and Technology Thesis No. 1476
A Frontier-Void-Based Approach for Autonomous Exploration in 3D
DyKnow Federations: Distributing and Merging Information Among UAVs
CAKE: A Computer Aided Knowledge Engineering Patrick Doherty and Witold Lukaszewicz
THESIS Conversion of 3D Video Data 3D video is gaining momentum and soon mobile phones and home TV will be 3D ready. Various
Annual Report 2010 Linkping University
Relay Positioning for Unmanned Aerial Vehicle Surveillance
A Comparison of SLAM Algorithms Based on a Graph of Relations
Automated Learning of Communication Models for Robot Control Software
Generating UAV Communication Networks for Monitoring and Surveillance
Linkpings Universitetsbibliotek, 581 83 LINKPING Tel: 013-28 10 00, referenshantering@bibl.liu.se, www.bibl.liu.se
Faces Everywhere: Towards Ubiquitous Production and Delivery of Face Animation
A Web-Based Teaching Environment for Modelica Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson, Peter Bunus
Linkping Studies in Science and Technology Department of Computer and Information Science
causing considerable shrinkages in the shell network. The access for biosubstrate to the nanobioreactor will be largely restricted, thus causing a decrease in the diffusion of reactants
A Stream-Based Hierarchical Anchoring Framework Fredrik Heintz, Jonas Kvarnstrom and Patrick Doherty
Master Thesis/ Examensarbete (30 hp) Optimization and Search in Model-Based Automotive SW/HW
VICURA AB, Flygfltsvgen 9, 461 38 Trollhttan, Sweden Reg Number 556821-9025 www.vicura.se
Stream-Based Reasoning Support for Autonomous Systems 1
Towards Heterogeneous Robot Teams for Disaster Mitigation: Results and Performance
New Admissible Heuristics for Domain-Independent Planning Patrik Haslum
Fundamenta Informaticae 40 1999 1 14 1 Meta-Queries on Deductive Databases
Master's Thesis Domain Knowledge in TALplanner
High Accuracy Ground Target Geo-location Using Autonomous Micro Aerial Vehicle Platforms
VICURA AB, Flygfltsvgen 9, 461 38 Trollhttan, Sweden Reg Number 556821-9025 www.vicura.se
VICURA AB, Flygfltsvgen 9, 461 38 Trollhttan, Sweden Reg Number 556821-9025 www.vicura.se
Logical Agents for Language and Action Martin Magnusson and Patrick Doherty
Institutionen for datavetenskap Department of Computer and Information Science
Admissible Heuristics for Optimal Planning Patrik Haslum
Evaluation of Maps using Fixed Shapes: The Fiducial Map Metric
ARMO -Adaptive Road Map Optimization for Large Robot Teams
A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstrom and Fredrik Heintz and Patrick Doherty
A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model
Handbook of Knowledge Representation 1 Edited by B. Porter, V. Lifschitz and F. van Harmelen
Exjobb p fordonssystem Analys av mjlig diagnosprestanda av ett elsystem i en satellit
Domain Knowledge in Planning: Representation and Use Patrik Haslum
Automated Planning for Collaborative UAV Systems Jonas Kvarnstrom and Patrick Doherty
Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs
linkpings universitet nr 4 2011 fljer Lean
Linkping Studies in Science and Technology Thesis No. 1490
Stream-Based Reasoning in DyKnow Fredrik Heintz, Jonas Kvarnstrom, and Patrick Doherty
Deductive Planning with Temporal Constraints using Martin Magnusson and Patrick Doherty I
Models for Prediction P@trik Haslum
IDA Technical Report 1996 LiTH-IDA-R-96-34
Autonomous Helicopter Control Using Fuzzy Gain Scheduling B. Kadmiry P. Bergsten D. Driankov
APPLICATION FORM DEGREE CERTIFICATE incl