1341 search results - page 2 / 269 » Dynamic Testimonial Logic |
116
Voted
VSTTE
2010
Springer
14 years 11 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
14 years 11 months ago
2009
112
Voted
JOLLI
2010
14 years 11 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...
120
Voted
ECSQARU
2009
Springer
15 years 5 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...
124
Voted
ENTCS
2000
15 years 27 days 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...