Modal logics of ordered trees

Modal logics of ordered trees

Bibliographic Details
Main Author:	Endriss, Ulrich
Published:	King's College London (University of London) 2003
Subjects:	006.332
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.404402

Similar Items

Fusion of uncertain information in the framework of possibilistic logic
by: Qi, Guilin
Published: (2006)

Semantic matching of bioinformatic web services
by: Hull, Duncan
Published: (2008)

Knowledge evolution and consolidation in specialist domains : a corpus-based approach
by: Al-Thubaity, AbdulMohsen O.
Published: (2004)

Contract related agents
by: Knottenbelt, John Alfred
Published: (2007)

Module extraction for inexpressive description logics
by: Nortje, Riku
Published: (2011)

Module extraction for inexpressive description logics
by: Nortje, Riku
Published: (2011)

Οντοκεντρική εκπαιδευτική εφαρμογή με γνωστικό αντικείμενο την στατιστική
by: Αγγελοπούλου, Νικολίτσα
Published: (2012)

Ανάπτυξη εφαρμογής συνεργατικών συστάσεων βασισμένη σε οντολογίες για κινητές εμπορικές υπηρεσίες
by: Κουτσόπουλος, Αθανάσιος
Published: (2015)

A Unified Approach for Dealing with Ontology Mappings and their Defects
by: Abbas, Muhammad Aun
Published: (2016)

Πολιτισμικοί αλγόριθμοι : Εφαρμογή στην ανάλυση της ελληνικότητας του παγκόσμιου ιστού
by: Κατσικούλη, Παναγιώτα
Published: (2013)

Οντολογίες στο απανταχού υπολογίζειν και σε κινητές εφαρμογές έχοντας επίγνωση του περιβάλλοντος
by: Χριστοπούλου, Ελένη
Published: (2013)

Αξιολόγηση εργαλείων ευθυγράμμισης οντολογιών
by: Χρηστίδης, Ιωάννης
Published: (2012)

Apport des ontologies de domaine pour l'extraction de connaissances à partir de données biomédicales
by: Personeni, Gabin
Published: (2018)

Games for modal and temporal logics
by: Lange, Martin
Published: (2003)

Représentation sémantique multilingue, multiculturelle et temporelle des relations interpersonnelles, appliquée à une prothèse de mémoire
by: Herradi, Noura
Published: (2018)

Σχεδιασμός, ανάπτυξη και σύνθεση οντολογιών για την υποστήριξη της εκπαίδευσης στην αντικειμενοστρεφή ανάλυση
by: Μπαγιαμπού, Μαρία
Published: (2012)

Knowledge Discovery Considering Domain Literature and Ontologies : Application to Rare Diseases
by: Hassan, Mohsen
Published: (2017)

A knowledge representation framework for the design and the evaluation of a product variety
by: Giovannini, Antonio
Published: (2015)

Logical ambiguity
by: Emms, Martin Thomas
Published: (1995)

Abductive logic programming
by: Toni, Francesca
Published: (1995)

Proof planning with logic presentations
by: Negrete-Yankelevich, Santiago
Published: (1997)

Human reasoning and description logics : applying psychological theory to understand and improve the usability of description logics
by: Warren, Paul
Published: (2017)

Interpreting modal natural deduction as resolution
by: Robinson, David Edward Ashdown
Published: (2009)

Logical and computational specification of rational agents
by: Bobolakis, Zacharias
Published: (1999)

Exact learning of description logic ontologies
by: Ozaki Rivera Castillo, A. H.
Published: (2016)

Adaptive Function Modal learning Neural Networks
by: Kang, Miao
Published: (2011)

Towards multi-modal face recognition in the wild
by: Xiong, Chao
Published: (2015)

Qualitative spatial reasoning with super-intuitionistic logics
by: Torrini, Paolo
Published: (2003)

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

Automatic Learning Control Using Fuzzy Logic
by: Baaklini, N.
Published: (1976)

Some aspects of adaptive logic for pattern recognition
by: Cheung-Yueng-San, C. Y. E.
Published: (1973)

Multi-modal biometric authentication with cohort-based normalization
by: Merati, A.
Published: (2011)

Rapprochement de données pour la reconnaissance d'entités dans les documents océrisés
by: Kooli, Nihel
Published: (2016)

A tableaux-based reasoner for temporalised description logics
by: GuÌˆnsel, Christian
Published: (2005)

The use of fuzzy logic applications for high frequency trading
by: Kablan, Abdalla
Published: (2011)

Character Recognition Using Optical Fibres and Hardwired Logic
by: O'Donovan, P. L.
Published: (1978)

Logical representations for automated reasoning about spatial relationships
by: Bennett, Brandon
Published: (1997)

Acceleration of MCMC-based algorithms using reconfigurable logic
by: Liu, Shuanglong
Published: (2017)

Relational extensions to feature logic : applications to constraint based grammars
by: Manandhar, S. K.
Published: (1994)

Incremental inductive logic programming for learning from annotated copora
by: Tschorn, Patrick
Published: (2009)