Sciweavers

2398 search results - page 371 / 480
» Knowledge Representation
Sort
View
ILP
1998
Springer
15 years 7 months ago
Strongly Typed Inductive Concept Learning
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
Peter A. Flach, Christophe G. Giraud-Carrier, John...
119
Voted
KR
1994
Springer
15 years 7 months ago
An Ontology of Meta-Level Categories
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...
142
Voted
KR
1992
Springer
15 years 7 months ago
Learning Useful Horn Approximations
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
Russell Greiner, Dale Schuurmans
145
Voted
ICLP
2010
Springer
15 years 7 months ago
Dynamic Magic Sets for Disjunctive Datalog Programs
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
Mario Alviano
146
Voted
AIRS
2006
Springer
15 years 7 months ago
Efficient and Robust Phrase Chunking Using Support Vector Machines
Automatic text chunking is a task which aims to recognize phrase structures in natural language text. It is the key technology of knowledge-based system where phrase structures pro...
Yu-Chieh Wu, Jie-Chi Yang, Yue-Shi Lee, Show-Jane ...