Library
Export 344 results:
Filters: First Letter Of Last Name is H [Clear All Filters]
. Comparative Trust Management with Applications: Bayesian Approaches Emphasis. Future Generation Computer Systems. 2013 ;30(6):182-199. 
(1.57 MB)
(1.57 MB). Collective Knowledge Composition in a P2P Network. In 2005. (63.43 KB)
(63.43 KB). On the Coincidence of Semantics for Uniquely Determined Programs. In On the Coincidence of Semantics for Uniquely Determined Programs. 2000.
. A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece: 18th European Conference on Artificial Intelligence, ECAI 2008; 2008. p. 99-103. (163.1 KB)
(163.1 KB). Classes of Logic Programs which Possess Unique Supported Models. In Classes of Logic Programs which Possess Unique Supported Models. 2000. 
(0 bytes)
(0 bytes). Cheap Boolean Role Constructors for Description Logics. In 11th European Conference on Logics in Artificial Intelligence (JELIA). Dresden, Germany; 2008. p. 362-374. (160.41 KB)
(160.41 KB). Characterizing Trajectories of Daily Routines of Older Adults with Sensor Technology. In 7th Western Institute of Nursing Communicating Research Conference. Seattle, WA; 2014.
. Characterizing Logic Programming Semantics with Level Mappings. In WLP: Workshop Logische Programmierung; 2002. (0 bytes)
(0 bytes). Characterizations of Classes of Programs by Three-valued Operators. In Characterizations of Classes of Programs by Three-valued Operators. 1999. (0 bytes)
(0 bytes). A Characterization of Acceptability. In A Characterization of Acceptability. 1999.
. A cartesian closed category of approximable concept structures. In A cartesian closed category of approximable concept structures. 2004. (0 bytes)
(0 bytes). The Carnot Heterogeneous Database Project: Implemented Applications. Distributed and Parallel Databases. 1997 ;:207-225. (226.18 KB)
(226.18 KB). Bridging the Paradigm Gap with Rules for OWL. In W3C Workshop on Rule Languages for Interoperability; 2005. (0 bytes)
(0 bytes). Boosting with Incomplete Information. In Boosting with Incomplete Information. 2008.
. Biophysical Model of Spatial Heterogeneity of Myocardial Flow. Biophysical Journal. 2009 ;:4035-4043.
. Biophysical Model of Spatial Heterogeneity of Myocardial Flow. Biophysical Journal. 2009 ;:4035-4043.
. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011. (406.28 KB)
(406.28 KB). BCU Contest 2001 Problems and Solutions. In Begabtenforderung im MINT-Bereich 6. 2001. p. 3-16.
. Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen. In 2005. (0 bytes)
(0 bytes). Automatic Domain Identification for Linked Open Data. 2013 IEEE/WIC/ACM International Conference on Web Intelligence. Atlanta, GA: ACM; 2013. (1.16 MB)
(1.16 MB). Assisting Coordination during Crisis: A Domain Ontology Based Approach to Infer Resource Needs from Tweets. 2014 ACM Conference on Web Science. New York, NY: ACM; 2014. p. 297-298. (478.64 KB)
(478.64 KB). Artist Ranking Through Analysis of Online Community Comments. 2008. (2.31 MB)
(2.31 MB). Approximate OWL-Reasoning with Screech. In International Conference, RR 2008. Karlsruhe, Germany: Second International Conference, RR 2008; 2008. p. 165-180. (200.54 KB)
(200.54 KB). Approximate OWL Instance Retrieval with Screech. In Approximate OWL Instance Retrieval with Screech. 2008. (0 bytes)
(0 bytes). Approximate Instance Retrieval on Ontologies. In 21st International Conference, DEXA 2010. Bilbao, Spain; 2010. (477.48 KB)
(477.48 KB). Applications of Voting Theory to Information Mashups. In 2nd IEEE International Conference on Semantic Computing. Santa Clara, CA, USA; 2008. (216.13 KB)
(216.13 KB). Any-World Access to OWL from Prolog. In 30th Annual German Conference on AI. KI, Osnabruck, Germany: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007; 2007. p. 84-98. (197.72 KB)
(197.72 KB). An Anytime Algorithm for Computing Inconsistency Measurement. In Third International Conference, KSEM 2009. 2009. (238.94 KB)
(238.94 KB). Analyzing Theme, Space and Time: An Ontology-based Approach (poster). In 5th International Semantic Web Conference. Athens, GA: 5th International Semantic Web Conference; 2006. (106.37 KB)
(106.37 KB). Analyzing Theme, Space and Time: An Ontology-based Approach. In Proc. ACM International Symposium on Geographic Information Systems. Arlington, VA; 2006. (269.53 KB)
(269.53 KB). Analyzing Theme, Space and Time: An Ontology-based Approach. In Analyzing Theme, Space and Time: An Ontology-based Approach. 2006.
. Analysis on Partial Relationship in LOD. 2011. (356.47 KB)
(356.47 KB). Amino Acid Cost and Codon Usage Biases in Six Prokaryotic Genomes: A Whole Genome Analysis. 2006 ;.
. Alignment-based Querying of Linked Open Data. ODBASE 2012. Rome, Italy; 2012. p. 807-824. (287.23 KB)
(287.23 KB). Aligning the Parasite Experiment Ontology and the Ontology for Biomedical Investigations Using AgreementMaker. In International Conference on Biomedical Ontology (ICBO 2011). Buffalo, New York; 2011. (357.24 KB)
(357.24 KB). Algorithms for Paraconsistent Reasoning with OWL. In 4th European Semantic Web Conference, ESWC2007. Innsbruck, Austria; 2007.
. An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. In Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet,Tunisia; 2007. p. 91-102. (494.11 KB)
(494.11 KB). On Adaptive Workflow Modeling. In Proceedings of the 4th International Conference on Information Systems Analysis and Synthesis. Orlando, Florida,USA; 1998. p. 108-116. (413.63 KB)
(413.63 KB). Adapting Ranking Functions to User Preference. In Adapting Ranking Functions to User Preference. 2008. (0 bytes)
(0 bytes). Active Perception Over Machine and Citizen Sensing. In Semantic Technology Conference; 2011. (0 bytes)
(0 bytes). Acquisition of OWL DL Axioms from Lexical Resources. In 4th European Semantic Web Conference. Innsbruck, Austria; 2007. (153.34 KB)
(153.34 KB). Acceptable Programs Revisited. In Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),; 1999. (1.1 MB)
(1.1 MB)