91 search results - page 10 / 19 » On Computing Backbones of Propositional Theories |
123
Voted
DALT
2005
Springer
15 years 7 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
LPAR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
128
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
101
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
124
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
Social networks are of interest to researchers in part because they are thought to mediate the flow of information in communities and organizations. Here we study the temporal dyn...