1341 search results - page 2 / 269 » Dynamic Testimonial Logic |
129
Voted
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
105
Voted
EUSFLAT
2009
15 years 16 days ago
2009
124
Voted
JOLLI
2010
15 years 1 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
139
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
137
Voted
ENTCS
2000
15 years 2 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...