Sciweavers

6016 search results - page 280 / 1204
» The semantics of graphical languages
Sort
View
LOGCOM
2000
69views more  LOGCOM 2000»
15 years 6 months ago
Object calculi in linear logic
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori,...
RR
2010
Springer
15 years 5 months ago
A RESTful SWRL Rule Editor
The sparse application of the Semantic Web Rule Language is partly caused by a lack of intuitive rule editors. This applies both from a human user’s, as well as from a software i...
Carsten Keßler
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
MEDINFO
2007
169views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Corpus-based Error Detection in a Multilingual Medical Thesaurus
Cross-language document retrieval systems require support by some kind of multilingual thesaurus for semantically indexing documents in different languages. The peculiarities of t...
Roosewelt L. Andrade, Edson José Pacheco, P...
KI
2006
Springer
15 years 6 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer