Sciweavers

153 search results - page 1 / 31
» Towards a General Ontology of Computer Programs
Sort
View
ICSOFT
2007
13 years 6 months ago
Towards a General Ontology of Computer Programs
Pascal Lando, Anne Lapujade, Gilles Kassel, Fr&eac...
AIMSA
2010
Springer
13 years 6 months ago
Towards Ontological Blending
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...
Joana Hois, Oliver Kutz, Till Mossakowski, John A....
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 6 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
ICLP
2010
Springer
13 years 8 months ago
Towards a General Argumentation System based on Answer-Set Programming
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
Sarah Alice Gaggl
SEMCO
2008
IEEE
13 years 11 months ago
OPTIMA: Tool for Ontology Alignment with Application to Semantic Reconciliation of Sensor Metadata for Publication in SensorMap
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
Ravikanth Kolli, Prashant Doshi