Sciweavers

4623 search results - page 691 / 925
» Knowledge Representation on the Web
Sort
View
ECSQARU
2009
Springer
15 years 5 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter
ICCCI
2009
Springer
15 years 5 months ago
A Formal Model for Epistemic Interactions
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
PREMI
2009
Springer
15 years 5 months ago
Data Mining by Navigation - An Experience with Systems Biology
This paper proposes a navigational method for mining by collecting evidences from diverse data sources. Since the representation method and even semantics of data elements differ w...
Amarnath Gupta, Michael Baitaluk, Animesh Ray, Adi...
CISIS
2008
IEEE
15 years 5 months ago
Processing Ontology Alignments with SPARQL
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
Jérôme Euzenat, Axel Polleres, Fran&c...
HICSS
2008
IEEE
251views Biometrics» more  HICSS 2008»
15 years 5 months ago
Business Process Modeling: A Service-Oriented Approach
This research concerns the definition of a service-oriented approach for business processes modeling. Business services are reusable process units that contain one or several proc...
Corine Cauvet, Gwladys Guzelian