6794 search results - page 1002 / 1359 » Semantics of Visual Languages |
151
click to vote
RSFDGRC
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
133
click to vote
KI
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
119
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
125
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
131
click to vote
BIRTHDAY
1991
Springer
15 years 8 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...