551 search results - page 26 / 111 » Formalizing the Logic-Automaton Connection |
IJAR
2000
14 years 9 months ago
2000
Multiply sectioned Bayesian networks (MSBNs) provide a coherent and flexible formalism for representing uncertain knowledge in large domains. Global consistency among subnets in a...
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
117
click to vote
TKDE
2012
13 years 4 days ago
2012
—This study of collective behavior is to understand how individuals behave in a social networking environment. Oceans of data generated by social media like Facebook, Twitter, Fl...
INFSOF
1998
14 years 9 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
ISCI
2010
14 years 8 months ago
2010
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...