Journal of Artificial Intelligence Research[removed] Submitted 09/02; published[removed]pddl2.1 : An Extension to pddl for Expressing Temporal Planning Domains

Source URL: www.jair.org

• STRIPS
• Domain model
• Fluent
• Domain
• Function
• Self
• Action language
• Automated planning and scheduling
• Artificial intelligence
• Planning Domain Definition Language

Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i

Source URL: www.ida.liu.se

• Epistemology
• Reasoning
• Knowledge representation
• Logic programming
• Frame problem
• Reasoning system
• Automated planning and scheduling
• Fluent
• Unmanned aerial vehicle
• Artificial intelligence
• Science
• Knowledge

A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model Fredrik Heintz and Patrick Doherty {frehe, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨opings universitet, 5

Source URL: www.ida.liu.se

• Data management
• Jewish Defense League
• Algorithm
• Database
• Fluent
• Applied mathematics
• Mathematics
• Sensor fusion
• Data analysis
• Data fusion
• Theoretical computer science

A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model Fredrik Heintz∗and Patrick Doherty† Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Swed

Source URL: www.ida.liu.se

• Object-oriented programming
• Data fusion
• Fluent
• Object
• C++
• Self
• Software engineering
• Computer programming
• Computing

Guatemala 2015 If you are taking this little quiz, you are interested in the bilingual, bicultural Guatemala summer program. We are happy you are interested in participating! Students in the program range from fluent Spa

Source URL: www.mcgeorge.edu

Talking tactics The Manchester clubs are battling out at the top of the table but United have struggled in defence and midfield and City have not been as fluent as last season. The feeling

Source URL: www.thetimes.co.uk

• Nani
• Portuguese people of Cape Verdean descent
• Vincent Kompany
• 2011–12 Manchester United F.C. season
• 2010–11 Manchester United F.C. season
• Association football
• Football in Belgium
• Football in Portugal

PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract

Source URL: www.ida.liu.se

• Model theory
• Interpretation
• Philosophy of language
• Philosophy of mind
• Semantics
• Term
• Axiom
• Function
• Type theory
• Logic
• Mathematics
• Mathematical logic

Coordination of actions in an autonomous robotic system Erik Sandewall1 Department of Computer and Information Science Link¨ oping University

Source URL: www.ida.liu.se

• Mathematics
• Logic programming
• Fluent
• Group action
• Action
• Physics
• Logic in computer science
• Theoretical computer science

Linkoping Electronic Articles in Computer and Information Science Vol[removed]): nr 16 Tackling the Qualication Problem using Fluent Dependency Constraints:

Source URL: www.ida.liu.se

• Epistemology
• Frame problem
• Scenario
• Knowledge
• Science
• Logic programming
• Knowledge representation
• Artificial intelligence

Computational Intelligence, Volume 16, Number 2, 2000 TACKLING THE QUALIFICATION PROBLEM USING FLUENT DEPENDENCY CONSTRAINTS JONAS KVARNSTROM ¨

Source URL: www.ida.liu.se

• Artificial intelligence
• Knowledge
• Science
• Logic in computer science
• Frame problem
• Situation calculus
• Ramification problem
• Fluent
• Reason
• Logic programming
• Knowledge representation
• Epistemology