3658 search results - page 480 / 732 » The logic of proofs, semantically |
149
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
166
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
176
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
174
click to vote
IADIS
2003
15 years 8 months ago
2003
The desideratum for the concept of a semiotic web is proposed. It combines both the recent semantic web and the pragmatic web initiatives but surpasses them in being faithful to C...
181
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...