Sciweavers

366 search results - page 31 / 74
» Development of Large Scientific Knowledge Bases
Sort
View
AIIDE
2009
15 years 3 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
CSFW
2005
IEEE
15 years 7 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
SIGMOD
1998
ACM
199views Database» more  SIGMOD 1998»
15 years 6 months ago
MultiMediaMiner: A System Prototype for Multimedia Data Mining
Multimedia data mining is the mining of high-level multimedia information and knowledge from large multimedia databases. A multimedia data mining system prototype, MultiMediaMiner...
Osmar R. Zaïane, Jiawei Han, Ze-Nian Li, Sonn...
IJCAI
2001
15 years 3 months ago
Adaptive Information Extraction from Text by Rule Induction and Generalisation
(LP)2 is a covering algorithm for adaptive Information Extraction from text (IE). It induces symbolic rules that insert SGML tags into texts by learning from examples found in a u...
Fabio Ciravegna
ML
2008
ACM
150views Machine Learning» more  ML 2008»
15 years 1 months ago
Learning probabilistic logic models from probabilistic examples
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, José Car...