Sciweavers

6794 search results - page 1110 / 1359
» Semantics of Visual Languages
Sort
View
ESAW
2006
Springer
15 years 8 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
ESWS
2006
Springer
15 years 8 months ago
An Environment for Semi-automatic Annotation of Ontological Knowledge with Linguistic Content
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...
Maria Teresa Pazienza, Armando Stellato
ICCS
2000
Springer
15 years 8 months ago
Conventions and Notations for Knowledge Representation and Retrieval
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
Philippe Martin
DOOD
1991
Springer
107views Database» more  DOOD 1991»
15 years 8 months ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...
REX
1991
15 years 8 months ago
Logics and Models of Real Time: A Survey
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
Rajeev Alur, Thomas A. Henzinger
« Prev « First page 1110 / 1359 Last » Next »