2500 search results - page 284 / 500 » Logical Semantics of Modularisation |
162
click to vote
ECSQARU
2007
Springer
16 years 20 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
166
click to vote
TARK
2007
Springer
16 years 19 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
175
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
146
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
175
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...