Sciweavers

1137 search results - page 115 / 228
» Knowledge Representation with Logic Programs
Sort
View
ICCBR
2003
Springer
14 years 2 months ago
Using Evolution Programs to Learn Local Similarity Measures
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
Armin Stahl, Thomas Gabel
DLOG
2009
13 years 6 months ago
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf M&ou...
EPIA
2007
Springer
14 years 3 months ago
Modelling Morality with Prospective Logic
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
Luís Moniz Pereira, Ari Saptawijaya
ECAI
2010
Springer
13 years 10 months ago
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...
Stijn Heymans, Thomas Eiter, Guohui Xiao
GECCO
2009
Springer
150views Optimization» more  GECCO 2009»
14 years 3 months ago
Discrete dynamical genetic programming in XCS
A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results fr...
Richard Preen, Larry Bull