Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas*,** * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping,

Source URL: www.ida.liu.se

• Philosophical logic
• Predicate logic
• Propositional calculus
• Metalogic
• First-order logic
• FO
• Modal logic
• Propositional variable
• Closed world assumption
• Logic
• Mathematical logic
• Model theory

Knowledge Processing Middleware Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden

Source URL: www.ida.liu.se

• Middleware
• Video game development
• Stream processing
• Database
• Game engine
• Abstraction
• Visual perception
• Complex event processing
• Robotics middleware
• Computing
• Systems engineering
• Programming paradigms

Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo

Source URL: www.ida.liu.se

• Science
• Reasoning
• Automated theorem proving
• Deduction
• Knowledge representation
• Frame problem
• Event calculus
• Circumscription
• Yale shooting problem
• Logic
• Mathematical logic
• Logic programming

DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, Sweden {frehe, patdo}@

Source URL: www.ida.liu.se

• Object-oriented programming
• Computer programming
• Component-based software engineering
• Inter-process communication
• Database management systems
• Common Object Request Broker Architecture
• Reference
• Feature
• Application programming interface
• Software engineering
• Computing
• Computer vision

Incremental Dynamic Controllability Revisited Mikael Nilsson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {mikni,jonkv,pat

Source URL: www.ida.liu.se

• Constraint programming
• Graph
• Flow network
• Local consistency
• Matroid theory
• Graph theory
• Mathematics
• Theoretical computer science

A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation P. Doherty, P. Haslum, F. Heintz, T. Merz, P. Nyblom, T. Persson, and B. Wingman Link¨oping University Dept. of Computer and Information

Source URL: www.ida.liu.se

• Common Object Request Broker Architecture
• Flight controller
• Computing
• Software engineering
• Three-layer architecture
• Unmanned aerial vehicle

Volume 40, Issue 4 Page 8 November / December[removed]

Source URL: doherty.d11.org

Classical Dynamic Controllability Revisited A Tighter Bound on the Classical Algorithm Mikael Nilsson, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨oping University, SE-581

Source URL: www.ida.liu.se

• Applied mathematics
• Network flow
• Operations research
• Local consistency
• Flow network
• Bellman–Ford algorithm
• Decomposition method
• Constraint programming
• Theoretical computer science
• Mathematics

A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin

Source URL: www.ida.liu.se

• Formal languages
• Circumscription
• Logic programming
• Non-classical logic
• Conjunctive normal form
• Atomic formula
• Well-formed formula
• First-order logic
• Logic
• Mathematical logic
• Predicate logic

[removed]2nd SEMESTER EXAM SCHEDULE Tuesday, May 26th Period 7 (Exam) 7:40— 8:45 Period 1 (Class)

Source URL: doherty.d11.org