Efficient control of temporal reasoning

Efficient control of temporal reasoning

Bibliographic Details
Main Author:	Gago, M. Carmen FernaÌndez
Published:	University of Liverpool 2004
Subjects:	006.333
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.402682

Similar Items

Case-based reasoning in personnel rostering
by: Beddoe, Gareth Richard
Published: (2004)

Ontology representation and reasoning : a conceptual level approach
by: Meisel, Helmut
Published: (2005)

LFTOP : An LF based approach to domain specific reasoning
by: Pang, Jianmin
Published: (2006)

A labelled deductive system for reasoning about random experiments
by: Bjurling, Bjorn
Published: (2006)

Exploiting timed coloured Petri nets in control and analysis of Graphplan
by: Shen, Yuanyuan
Published: (2006)

Coherence and transitivity in coercive subtyping
by: Luo, Yong
Published: (2004)

Context mediation among knowledge discovery components
by: BuÌˆchner, Alexander G.
Published: (2003)

A generic library of problem solving methods for scheduling applications
by: Rajpathak, Dnyanesh
Published: (2005)

Measures and applications of lexical distributional similarity
by: Weeds, Julie Elizabeth
Published: (2003)

Embedded perception : concept recognition by learning and combining sensory data
by: Laerhoven, Kristof van
Published: (2006)

Hierarchical decision making for semantic analysis and summarisation of sports videos
by: Jaser, Edward
Published: (2005)

Machine acts : capturing context for personal search
by: Curwen, Raj
Published: (2005)

Solving dynamic vehicle routing problems : from single-solution based metaheuristics to parallel population based metaheuristics
by: Khouadjia, Mostepha Redouane
Published: (2011)

Using CBR to improve the usability of numerical models
by: Woon, Fei Ling
Published: (2005)

Clinical laboratory optimization
by: Faramarzi Oghani, Sohrab
Published: (2018)

Optimisation de tournées de service en temps réel
by: Binart, Sixtine
Published: (2014)

Heuristic approaches for real world examination timetabling problems
by: Mohmad Kahar, Mohd Nizam
Published: (2013)

Multiobjective Biclustering : from gene expression data to GWA data
by: Seridi, Khedidja
Published: (2013)

Optimisation combinatoire pour la sélection de variables en régression en grande dimension : application en génétique animale
by: Hamon, Julie
Published: (2013)

Recherche locale et optimisation combinatoire : de l'analyse structurelle d'un problème à la conception d'algorithmes efficaces
by: Kessaci, Marie-Éléonore
Published: (2011)

Heterogeneous cluster computing for many-task exact optimization : application to permutation problems
by: Gmys, Jan
Published: (2017)

Robotic Coverage and Exploration as Sequential Decision-Making Problems
by: Kaldé, Nassim
Published: (2017)

Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+
by: Vanzetto, Hernán
Published: (2014)

Discovering and managing similarity knowledge in temporal case-based reasoning systems
by: Galushka, Mykola
Published: (2010)

Conceptual graphs at work : efficient reasoning and applications
by: Croitoru, Madalina
Published: (2006)

Multi-valued temporal logic based reasoning system with applications to decision support in intelligent environments
by: Lu, Zhirui
Published: (2011)

Assessment of water use efficiency in the Flumen Irrigation District, Aragon, Spain, through remote sensing and meteorological data : repercussions and possibilities of new actions to improve water management strategies
by: Ramos HernaÌndez, Judith Guadalupe
Published: (2005)

Επίλυση του προβλήματος sudoku με χρήση ευφυών τεχνικών από εκπαιδευτικό ρομπότ
by: Αλεξανδρίδης, Ζαχαρίας
Published: (2011)

Electromechanical characterisation of PP EMFi
by: FernaÌndez, Oscar
Published: (2004)

Argumentation and Normative Reasoning
by: Gaertner, Dorian
Published: (2008)

Representation of case law for argumentative reasoning
by: Al Abdulkarim, L. M.
Published: (2017)

Abstract data and local reasoning
by: Dinsdale-Young, Thomas
Published: (2011)

Reasoning with time and data abstractions
by: da Rocha Pinto, Pedro
Published: (2016)

Abstraction, refinement and concurrent reasoning
by: Raad, Azalea
Published: (2016)

Reliable constraint reasoning with uncertain data
by: Yorke-Smith, Neil
Published: (2004)

Norm-governed practical reasoning agents
by: Kollingbaum, Martin Josef
Published: (2005)

Building migratory trajectories : Guatemalans, Salvadorians and Hondurans at the southern Mexican border
by: FernaÌndez Casanueva, Carmen G.
Published: (2006)

A molecular study of Kâº channels and hyperinsulinism in infancy (HI)
by: FernaÌndez, Eva M.
Published: (2004)

Case reuse in textual case-based reasoning
by: Adeyanju, Ibrahim Adepoju
Published: (2011)

The computational application of bilattice logic to natural reasoning
by: Schoter, Andreas
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_e6qk3g8rhjolqmqda549e1djsg