For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Huddersfield » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Huddersfield

1 2
> Last
Showing outputs 1 - 50 of 54
Output title
A temporal logic-based planning and execution monitoring framework ...
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2009
DOI
10.1007/s10458-009-9079-8
Output title
Acquiring planning domain models using LOCM
Output type
D - Journal article
Volume title
Knowledge Engineering Review
Year
2013
DOI
10.1017/S0269888912000422
Output title
Action Knowledge Acquisition with Opmaker2
Output type
E - Conference contribution
Volume title
Communications in Computer and Information Science
Year
2010
DOI
10.1007/978-3-642-11819-7_11
Output title
Algebraic structures for capturing the provenance of SPARQL ...
Output type
E - Conference contribution
Volume title
Proceedings of the 16th International Conference on Database Theory - ICDT '13
Year
2013
DOI
10.1145/2448496.2448516
Output title
An Algorithm for Modelling Key Terms
Output type
D - Journal article
Volume title
International Journal of Intelligent Systems
Year
2008
DOI
10.1002/int.20251
Output title
An inclusion theorem for defeasible logics
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2010
DOI
10.1145/1838552.1838558
Output title
An Information-Theoretic Foundation for the Measurement of Discrimination ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2010
DOI
10.1109/TKDE.2009.134
Output title
An Integrated UAV Navigation System Based on Aerial Image Ma ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2008 IEEE Aerospace Conference
Year
2008
DOI
10.1109/AERO.2008.4526556
Output title
An order-clique-based approach for mining maximal co-locatio ...
Output type
D - Journal article
Volume title
Information Sciences
Year
2009
DOI
10.1016/j.ins.2009.05.023
Output title
Automatic planning for machine tool calibration: A case stud ...
Output type
D - Journal article
Volume title
Expert Systems with Applications
Year
2012
DOI
10.1016/j.eswa.2012.03.054
Output title
Defeasible Contextual Reasoning with Arguments in Ambient In ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2010
DOI
10.1109/TKDE.2010.37
Output title
Design and Physicality – Towards an Understanding of Physicality ...
Output type
C - Chapter in book
Volume title
Designing for the 21st Century
Year
2010
DOI
Output title
Determining Redundant Actions in Sequential Plans
Output type
E - Conference contribution
Volume title
Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on
Year
2012
DOI
10.1109/ICTAI.2012.72
Output title
Determining Semantic Relatedness through the Measurement of Discrimination ...
Output type
D - Journal article
Volume title
International Journal of Intelligent Systems
Year
2009
DOI
10.1002/int.20341
Output title
Developing a Knowledge-based System for Complex Geometrical Product ...
Output type
D - Journal article
Volume title
Knowledge Based Systems
Year
2010
DOI
10.1016/j.knosys.2010.05.002
Output title
Differences in comprehensibility between three-variable bar and ...
Output type
E - Conference contribution
Volume title
Proceedings of the thirty-first annual conference of the Cognitive Science Society
Year
2009
DOI
Output title
Disjunctive ASP with functions: Decidable queries and effective ...
Output type
D - Journal article
Volume title
Theory and Practice of Logic Programming
Year
2010
DOI
10.1017/S1471068410000244
Output title
Dynamic service integration for reliable and sustainable capability ...
Output type
D - Journal article
Volume title
International Journal of Systems Science
Year
2012
DOI
10.1080/00207721003774736
Output title
Exploring Knowledge Engineering Strategies in Designing and Modelling ...
Output type
E - Conference contribution
Volume title
IJCAI 3-9 August 2013
Year
2013
DOI
Output title
Extended RDF as a Semantic Foundation of Rule Markup Languag ...
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
DOI
10.1613/jair.2425
Output title
Generation of macro-operators via investigation of action dependencies ...
Output type
D - Journal article
Volume title
The Knowledge Engineering Review
Year
2010
DOI
10.1017/S0269888910000159
Output title
High-level change detection in RDF(S) KBs
Output type
D - Journal article
Volume title
ACM Transactions on Database Systems
Year
2013
DOI
10.1145/2445583.2445584
Output title
High-Level Mission Specification and Planning for Collaborative ...
Output type
D - Journal article
Volume title
Unmanned Systems
Year
2013
DOI
10.1142/S2301385013500052
Output title
Improving the Performance of Focused Web Crawlers
Output type
D - Journal article
Volume title
Data and Knowledge Engineering
Year
2009
DOI
10.1016/j.datak.2009.04.002
Output title
Learning semantic relatedness from term discrimination infor ...
Output type
D - Journal article
Volume title
Expert Systems With Applications
Year
2009
DOI
10.1016/j.eswa.2007.12.072
Output title
Magic Sets for disjunctive Datalog programs
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2012
DOI
10.1016/j.artint.2012.04.008
Output title
Minimal change: Relevance and recovery revisited
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2013.06.001
Output title
Modelling and simulation of Network Enabled Capability on service-oriented ...
Output type
D - Journal article
Volume title
Simulation Modelling Practice and Theory
Year
2009
DOI
10.1016/j.simpat.2009.06.012
Output title
Multi-feature query language for image classification
Output type
D - Journal article
Volume title
Procedia Computer Science
Year
2010
DOI
10.1016/j.procs.2010.04.287
Output title
NTFS Permissions Explorer
Output type
G - Software
Volume title
Year
2011
DOI
Output title
On Computing Deltas of RDF/S Knowledge Bases
Output type
D - Journal article
Volume title
ACM Transactions on the Web
Year
2011
DOI
10.1145/1993053.1993056
Output title
On Exploiting Structures of Classical Planning Problems: Generalizing ...
Output type
E - Conference contribution
Volume title
Frontiers in Artificial Intelligence and Applications: Proceedings of ECAI 2012
Year
2012
DOI
10.3233/978-1-61499-098-7-240
Output title
On Graph Features of Semantic Web Schemas
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2008
DOI
10.1109/TKDE.2007.190735
Output title
Parallel Implementation of Wavelet-based Image Denoising on Programmable ...
Output type
D - Journal article
Volume title
Signal Processing
Year
2010
DOI
10.1016/j.sigpro.2009.06.019
Output title
PbP2: Portfolio-based Planner
Output type
G - Software
Volume title
Year
2012
DOI
Output title
Personalized Provenance Reasoning Models and Risk Assessment ...
Output type
E - Conference contribution
Volume title
Proceedings of 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering
Year
2013
DOI
10.1109/SOSE.2013.53
Output title
Physical Fidelity: Exploring the Importance of Physicality on ...
Output type
E - Conference contribution
Volume title
Proceedings of INTERACT 2009, 12th IFIP TC 13 International Conf
Year
2009
DOI
10.1007/978-3-642-03655-2
Output title
Physicality in Design: an exploration
Output type
D - Journal article
Volume title
Design journal
Year
2010
DOI
10.2752/146069210X12580336766365
Output title
Physigrams: Modelling Devices for Natural Interaction
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2009
DOI
10.1007/s00165-008-0099-y
Output title
Reactivity effects of concurrent verbalisation during a graph ...
Output type
E - Conference contribution
Volume title
Proceedings of the 35th Annual Conference of the Cognitive Science Society
Year
2013
DOI
Output title
Relay Positioning for Unmanned Aerial Vehicle Surveillance
Output type
D - Journal article
Volume title
The International Journal of Robotics Research
Year
2010
DOI
10.1177/0278364910369463
Output title
Requirements Engineering for E-science: Experiences in Epide ...
Output type
D - Journal article
Volume title
IEEE Software
Year
2009
DOI
10.1109/MS.2009.19
Output title
Semantics and complexity of recursive aggregates in answer set ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2011
DOI
10.1016/j.artint.2010.04.002
Output title
Student Response System (SRS)/Wireless Response System (WRS) ...
Output type
G - Software
Volume title
Year
2011
DOI
Output title
STV-based Video Feature Processing for Action Recognition
Output type
D - Journal article
Volume title
Signal Processing
Year
2012
DOI
10.1016/j.sigpro.2012.06.009
Output title
The Application of Automated Planning to Machine Tool Calibr ...
Output type
E - Conference contribution
Volume title
ICAPS 2012
Year
2012
DOI
Output title
The different effects of thinking aloud and writing on graph ...
Output type
E - Conference contribution
Volume title
CogSci 2011 Proceedings
Year
2011
DOI
Output title
The effect of emergent features on judgments of quantity in configural ...
Output type
D - Journal article
Volume title
Journal of Experimental Psychology: Applied
Year
2008
DOI
10.1037/1076-898X.14.2.85
Output title
The Effect of Gestalt Laws of Perceptual Organization on the ...
Output type
D - Journal article
Volume title
Human Factors: The Journal of the Human Factors and Ergonomics Society
Year
2013
DOI
10.1177/0018720812452592
Output title
Towards a Trajectory Planning Concept: Augmenting Path Planning ...
Output type
D - Journal article
Volume title
Journal of Intelligent and Robotic Systems
Year
2013
DOI
1 2
> Last
Showing outputs 1 - 50 of 54