Sciweavers

539 search results - page 28 / 108
» The Semantic Gap of Formalized Meaning
Sort
View
ENTCS
2006
1305views more  ENTCS 2006»
15 years 6 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
CAISE
2001
Springer
15 years 10 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
POPL
2009
ACM
16 years 6 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
CSSW
2007
15 years 7 months ago
Semantic Wikipedia - Checking the Premises
: Enhancing Wikipedia by means of semantic representations seems to be a promising issue. From a formal or technical point of view there are no major obstacles in the way. Neverthe...
Rainer Hammwöhner
EXPERT
2008
77views more  EXPERT 2008»
15 years 6 months ago
Is a Semantic Web Agent a Knowledge-Savvy Agent?
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
Valentina A. M. Tamma, Terry R. Payne