Sciweavers

9145 search results - page 190 / 1829
» Description Logic Systems
Sort
View
JAIR
2002
101views more  JAIR 2002»
15 years 5 months ago
Structured Knowledge Representation for Image Retrieval
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
Eugenio Di Sciascio, Francesco M. Donini, Marina M...
CADE
2011
Springer
14 years 5 months ago
Static Analysis of Android Programs
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
Étienne Payet, Fausto Spoto
BSL
1999
262views more  BSL 1999»
15 years 5 months ago
Tarski's system of geometry
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
Alfred Tarski, Steven Givant
RR
2007
Springer
15 years 11 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
126
Voted
FUIN
2006
106views more  FUIN 2006»
15 years 5 months ago
Architectural Principles and Scheduling Strategies for Computing Agent Systems
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
Marek Grochowski, Robert Schaefer, Maciej Smolka