1341 search results - page 2 / 269 » Dynamic Testimonial Logic |
VSTTE
2010
Springer
13 years 4 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...
EUSFLAT
2009
13 years 3 months ago
2009
JOLLI
2010
13 years 4 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...
ECSQARU
2009
Springer
13 years 10 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...
ENTCS
2000
13 years 5 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...